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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no 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!postnews.google.com!o80g2000hse.googlegroups.com!not-for-mail From: Maciej Sobczak Newsgroups: comp.lang.ada Subject: Re: High-integrity networking Date: Tue, 09 Oct 2007 06:17:33 -0700 Organization: http://groups.google.com Message-ID: <1191935853.244559.87440@o80g2000hse.googlegroups.com> References: <1191845623.383675.190820@d55g2000hsg.googlegroups.com> <_VwOi.141398$Fc.15278@attbi_s21> NNTP-Posting-Host: 128.141.44.81 Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Trace: posting.google.com 1191935853 7650 127.0.0.1 (9 Oct 2007 13:17:33 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 9 Oct 2007 13:17:33 +0000 (UTC) In-Reply-To: <_VwOi.141398$Fc.15278@attbi_s21> User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X; en-US; rv:1.8.1.7) Gecko/20070914 Firefox/2.0.0.7,gzip(gfe),gzip(gfe) Complaints-To: groups-abuse@google.com Injection-Info: o80g2000hse.googlegroups.com; posting-host=128.141.44.81; posting-account=ps2QrAMAAAA6_jCuRt2JEIpn5Otqf_w0 Xref: g2news2.google.com comp.lang.ada:2383 Date: 2007-10-09T06:17:33-07:00 List-Id: On 8 Pa , 23:02, "Jeffrey R. Carter" wrote: > 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. I understand this, but this approach has some limitations for me. First of all, it limits the scope of discussion to Ada only, and every non-trivial distributed system I have seen so far is heterogenous in the sense of technology coverage. I would like to understand the issues in such systems to get a better view on the architectural and functional aspects of communication that promotes verification and analysis of the whole. As I've already pointed, I understand that Ravenscar can be used as a "mental template" that can be extrapolated to distributed systems. This is perfectly fine. Still, if there is anything that is particularly worth reading *in addition*, I'm looking forward to get some pointers. I have already found CSP (Communicating Sequential Processes), which is one possible approach, although what I have seen up to now leaves some "minor" details in the air, like the startup of the whole system. Ravenscar can afford this, because it's the language implementation that has to more or less transparently take care of all these issues, but heterogenous systems might need some more explicit handling. In any case - is this (CSP) the only keyword in this subject? -- Maciej Sobczak * www.msobczak.com * www.inspirel.com