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,1a44c40a66c293f3
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news4.google.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!edtnps89.POSTED!023a3d7c!not-for-mail
Sender: blaak@METROID
Newsgroups: comp.lang.ada
Subject: Re: PAR (Was: Embedded languages based on early Ada)
References: <1172192349.419694.274670@k78g2000cwa.googlegroups.com>
 <uslcxt1u7.fsf@stephe-leake.org>
 <1172239820.896603.222120@k78g2000cwa.googlegroups.com>
 <u649rx29a.fsf@stephe-leake.org> <nhn5b4-9b2.ln1@newserver.thecreems.com>
 <pan.2007.02.24.22.11.44.430179@linuxchip.demon.co.uk.uk.uk>
 <u7iu68eba.fsf@stephe-leake.org> <es4dl5$ve2$1@newsserver.cilea.it>
 <pan.2007.03.01.11.23.01.229462@linuxchip.demon.co.uk.uk.uk>
 <113ls6wugt43q$.cwaeexcj166j$.dlg@40tude.net>
 <pan.2007.03.02.11.36.51.700020@linuxchip.demon.co.uk.uk.uk>
 <1i3drcyut9aaw.isde6utlv6iq.dlg@40tude.net>
 <uvehjjdff.fsf@STRIPCAPStelus.net>
 <1c61jqeqo68w$.2irtg70stnsa.dlg@40tude.net>
 <uejo681zf.fsf@STRIPCAPStelus.net> <ygek5xvms48.fsf_-_@hugsarin.dmusyd.edu>
 <pan.2007.03.06.02.02.27.892793@linuxchip.demon.co.uk.uk.uk>
 <pan.2007.03.06.13.19.20.336128@linuxchip.demon.co.uk.uk.uk>
 <eskuj6$cap$1@jacob-sparre.dk> <1vdieyr16h7ct$.1vuvfmghy8dzo$.dlg@40tude.net>
From: Ray Blaak <rAYblaaK@STRIPCAPStelus.net>
Organization: The Transcend
Message-ID: <uvehc3o77.fsf@STRIPCAPStelus.net>
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Wed, 07 Mar 2007 18:26:08 GMT
NNTP-Posting-Host: 208.66.252.228
X-Trace: edtnps89 1173291968 208.66.252.228 (Wed, 07 Mar 2007 11:26:08 MST)
NNTP-Posting-Date: Wed, 07 Mar 2007 11:26:08 MST
Xref: g2news2.google.com comp.lang.ada:9754
Date: 2007-03-07T18:26:08+00:00
List-Id: <comp.lang.ada>

"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.