Re: D.10

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

In article <m3lnfxtan3.fsf@mheaney.ni.net>,
  Matthew Heaney <matthew_heaney@acm.org> wrote:
> The RM is ambiguous.  It doesn't say specifically that
> the suspension object can be shared this way (ie that
> Suspend_Until_True is atomic wrt other calls to
> Suspend_Until_True), but it doesn't say it can't be.

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

> 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