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,88cb7446cf44556a X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!news.glorb.com!news-in.ntli.net!newsrout1-win.ntli.net!ntli.net!news.highwinds-media.com!newspeer1-win.ntli.net!newsfe4-win.ntli.net.POSTED!53ab2750!not-for-mail From: "Dr. Adrian Wrigley" Subject: Re: Reliability and deadlock in Annex E/distributed code (progress at last!) User-Agent: Pan/0.14.2 (This is not a psychotic episode. It's a cleansing moment of clarity.) Message-Id: Newsgroups: comp.lang.ada References: <9siRg.17550$E02.6878@newsb.telia.net> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Date: Sun, 24 Sep 2006 00:19:33 GMT NNTP-Posting-Host: 82.10.238.153 X-Trace: newsfe4-win.ntli.net 1159057173 82.10.238.153 (Sun, 24 Sep 2006 01:19:33 BST) NNTP-Posting-Date: Sun, 24 Sep 2006 01:19:33 BST Organization: NTL Xref: g2news2.google.com comp.lang.ada:6706 Date: 2006-09-24T00:19:33+00:00 List-Id: On Sat, 23 Sep 2006 18:31:34 -0500, tmoran wrote: >>> topic just reflect that these are minority Ada topics, and not >>them with interest, but I haven't had anything to add as I've never even >>tried to use Annex E myself. > It appears to me the problems have been in the vendor specific part the > ARM doesn't describe: ARM 5(E) "The implementation shall provide means > for explicitly assigning library units to a partition and for the > configuring and execution of a program consisting of multiple partitions > on a distributed system; the means are implementation defined." Glade has a perfectly satisfactory means of configuring partitions. (the main complaint I have about gnatdist is that it returns a SUCCESS return code when the compilation failed :() The problems I have been encounting are in the partition communications system, I think. The behaviour I've been seeing fails to meet the requirements of Annex E semantics, AFAICT. -- Adrian