Re: D.10

[Robert Dewar <robert_dewar@my-dejanews.com>]

In article <7evbm6$oto$1@nnrp1.dejanews.com>,
  Robert Dewar <robert_dewar@my-dejanews.com> wrote:
> I must say I don't see any ambiguity in the RM here, but
> I have trouble with your question because the terminology
> is vague ("A is atomic wrt B" does not have a clear
> meaning in this context).

This is a followup to myself to make my point a bit
clearer. You can talk about operations being atomic, but
not entities. So if your question is

  Is the operation Suspend_Until_True atomic with
  respect to itself?

Then I think the useful answer is that the question is
meaningless, and the technical answer is no!



>
> > I would like to know the specific intent of the
language
> > designers, and whether or not the algorithm in B&W is
in
> > fact legal.
>
> You are using legal again in some peculiar sense (in Ada
> it means that something satisfies static semantic and
> syntax requirements).
>
> I think you will get a clearer answer to your question if
> you produce a small example, and ask a question about it
> at the proper level of semantic description. If I write
X,
> then is Y true, where Y is stated in terms with which we
> are familiar, preferably those in the RM!
>
> -----------== Posted via Deja News, The Discussion
Network ==----------
> http://www.dejanews.com/       Search, Read, Discuss, or
Start Your Own
>

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own