Re: Reliability and deadlock in Annex E/distributed code (progress at last!)

["Dr. Adrian Wrigley" <amtw@linuxchip.demon.co.uk.uk.uk>]

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