Re: PAR (Was: Embedded languages based on early Ada)

[Ray Blaak <rAYblaaK@STRIPCAPStelus.net>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> Hmm, but checking is really the key issue here. I fail to see it in bare
> PAR. It is just absent there. What would be the semantics of:
> 
> declare
>    I : Integer := 0;
> begin in parallel
>    I := I + 1;
>    I := I - 1;
> end;  -- What is the postcondition here?

That would be bad programming, just as if you expressed it equivalently with
expicit task bodies.

Ada already has synchronization constructs that need to be used to allow
dependent concurrent items to coordinate properly.

-- 
Cheers,                                        The Rhythm is around me,
                                               The Rhythm has control.
Ray Blaak                                      The Rhythm is inside me,
rAYblaaK@STRIPCAPStelus.net                    The Rhythm has my soul.