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,e0e1d3b3f7c994b8
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!club-internet.fr!feedme-small.clubint.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Robert Dewar's great article about the Strengths of Ada over
 other langauges in multiprocessing!
Date: Wed, 16 Apr 2008 23:46:09 -0500
Organization: Jacob's private Usenet server
Message-ID: <fu6knf$70s$1@jacob-sparre.dk>
References: <13t4b2kkjem20f3@corp.supernews.com>
 <89af8399-94fb-42b3-909d-edf3c98d32e5@n75g2000hsh.googlegroups.com>
 <fr4916$vo7$1@jacob-sparre.dk> <87bq56peg1.fsf@mid.deneb.enyo.de>
 <wvbrprthzjbf.fsf@astra06.norway.sun.com> <87bq516uri.fsf@mid.deneb.enyo.de>
 <wvbrlk44zf5l.fsf@astra06.norway.sun.com> <87prtfzrtl.fsf@mid.deneb.enyo.de>
 <wvbrhceryy5k.fsf@astra06.norway.sun.com> <87wsnmg1ju.fsf@mid.deneb.enyo.de>
 <wvbrd4pbz5mj.fsf@astra06.norway.sun.com>
 <C4169FA1.E214C%yaldnif.w@blueyonder.co.uk>
 <wvbr8wzyymkw.fsf@astra06.norway.sun.com>
 <C418014E.E2483%yaldnif.w@blueyonder.co.uk>
 <wvbr4pakzpo1.fsf@astra06.norway.sun.com>
 <C4195DF6.E2796%yaldnif.w@blueyonder.co.uk>
 <wvbrtzi32uig.fsf@astra06.norway.sun.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: jacob-sparre.dk 1208407599 7196 69.95.181.76 (17 Apr 2008 04:46:39
 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 17 Apr 2008 04:46:39 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1914
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1914
Xref: g2news1.google.com comp.lang.ada:20978
Date: 2008-04-16T23:46:09-05:00
List-Id: <comp.lang.ada>

"Ole-Hjalmar Kristensen"
<ole-hjalmar.kristensen@substitute_employer_here.com> wrote in message
news:wvbrtzi32uig.fsf@astra06.norway.sun.com...
...
> The sections I have reproduced below is the closest I could get. Since
> Suspend_Until_True is potentially blocking, it *could* be signaled (as
> defined in 9.10), but I find it strange that it is not mentioned
> explicitly. Also, the statement "can be used for two-stage suspend
> operations and as a simple building block for implementing
> higher-level queues", seems to indicate that the intent indeed is to
> be able to use suspension objects to synchronize access to shared
> variables. Comments, anyone?

Looks like a bug in the RM to me. Surely the intent is that these operations
"signal" (what good are they otherwise?), but without some sort of statement
to that effect, you (and implementers) just have to guess. You should submit
a comment to Ada-Comment.

                                  Randy.