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-Thread: 1089ad,7e78f469a06e6516
X-Google-Attributes: gid103376,gid1089ad,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!edtnps82.POSTED!023a3d7c!not-for-mail
Sender: blaak@METROID
Newsgroups: comp.lang.ada,comp.lang.vhdl
Subject: Re: Embedded languages based on early Ada (from "Re: Preferred OS,
 processor family for running embedded 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>
From: Ray Blaak <rAYblaaK@STRIPCAPStelus.net>
Organization: The Transcend
Message-ID: <uvehjjdff.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: Sat, 03 Mar 2007 01:58:35 GMT
NNTP-Posting-Host: 208.66.252.228
X-Trace: edtnps82 1172887115 208.66.252.228 (Fri, 02 Mar 2007 18:58:35 MST)
NNTP-Posting-Date: Fri, 02 Mar 2007 18:58:35 MST
Xref: g2news2.google.com comp.lang.ada:9643 comp.lang.vhdl:7612
Date: 2007-03-03T01:58:35+00:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> If par is a sugar for this, then Thing might easily get corrupted. The
> problem with such par is that the rules of nesting and visibility for the
> statements, which are otherwise safe, become very dangerous in the case of
> par.
> 
> Another problem is that Thing cannot be a protected object. 

I am somewhat rusty on my Ada tasking knowledge, but why can't Thing be a
protected object?

It seems to me that is precisely the kind of synchronization control mechanism
you want to be able to have here.
-- 
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.