From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,eb0daafec4ae827a X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wns13feed!worldnet.att.net!attbi_s21.POSTED!53ab2750!not-for-mail From: "Jeffrey R. Carter" User-Agent: Thunderbird 2.0.0.6 (Windows/20070728) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: High-integrity networking References: <1191845623.383675.190820@d55g2000hsg.googlegroups.com> In-Reply-To: <1191845623.383675.190820@d55g2000hsg.googlegroups.com> Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <_VwOi.141398$Fc.15278@attbi_s21> NNTP-Posting-Host: 12.201.97.213 X-Complaints-To: abuse@mchsi.com X-Trace: attbi_s21 1191877370 12.201.97.213 (Mon, 08 Oct 2007 21:02:50 GMT) NNTP-Posting-Date: Mon, 08 Oct 2007 21:02:50 GMT Organization: AT&T ASP.att.net Date: Mon, 08 Oct 2007 21:02:50 GMT Xref: g2news2.google.com comp.lang.ada:2360 Date: 2007-10-08T21:02:50+00:00 List-Id: Maciej Sobczak wrote: > > Ravenscar describes the language subset and the usage patterns for > multitasking within a single process. > I'm interested in patterns and solutions for high-reliability > networking/middleware. Ravenscar describes the language subset for a single Ada program. An Ada program may consist of multiple partitions, and different partitions may run on different computers. Unless I've missed something, Ravenscar is fine for distributed programs using Annex E. -- Jeff Carter "My mind is a raging torrent, flooded with rivulets of thought, cascading into a waterfall of creative alternatives." Blazing Saddles 89