Re: Exception propagation

["REH" <me@you.com>]

"Ludovic Brenta" <ludovic@ludovic-brenta.org> wrote in message 
news:87k6auatqc.fsf@ludovic-brenta.org...
>> Is it even possible to have a partitioned Ada program without using
>> the distributed services annex?
>
> No, not in the sense of the Ada distributed systems annex.  Whoever
> said you must use "connections" instead of "RPC" was thinking in terms
> of low-level OS services, and does not display understanding of the
> distributed systems annex.  The DSA sits on top of the OS, and uses
> whatever services are available.  The DSA then guarantees that all
> partitions agree on the same exception definitions, and provides a
> common protocol for exception propagation.
>
> If you can't or won't use the DSA, then you're pretty much on your
> own, and you have to solve the problems of common definition,
> propagation and handling.  Instead of one partitioned program in the
> sense of the DSA, you will have several Ada programs talking to each
> other, much like you would do in lesser languages.
>
> Unfortunately, it seems you're in that situation, as Green Hills
> doesn't support the DSA, or even provide an implementation of it.
> Only AdaCore provides an implementation, called GLADE.  With GLADE,
> you first compile and test your program as one monolithic executable;
> then you use "gnatdist" to split that program into one executable file
> per partition.  GLADE does the rest.  It's really very easy to do.
>
Very informative.  Thank you!

REH