Prev: Are there noticable differences in Ada acceptance by country?
Next: Compiler bug
From: Randy Brukardt on 17 Apr 2008 00:46
"Ole-Hjalmar Kristensen"
<ole-hjalmar.kristensen(a)substitute_employer_here.com> wrote in message
news:wvbrtzi32uig.fsf(a)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.


First  |  Prev  | 
Pages: 1 2
Prev: Are there noticable differences in Ada acceptance by country?
Next: Compiler bug