Re: Distributed Computing in Ada

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org> writes:

> Robert A Duff wrote:
>> Now we have a bunch of tasks accessing shared variable Global,
>> all correctly synchronized by the rendezvous.
>
> The accesses look unsynchronized to me.

Yes, you're right (assuming the entries can be called simultaneously).
Thanks for pointing out my sloppiness.  What was I thinking?  :-(

I don't think it affects my main point, though, which is that the
compiler doesn't know which variables are shared.  Of course,
if they are shared, we would hope they would be properly
synchronized.  So change my example so they are: e.g. have
a single task or protected object that calls P.Q.  And have lots of
tasks that call that.

In which task's address space should Global be allocated?
The environment task creates and initializes it, so...

- Bob