Re: Concurrency in Gnat 3.05?

[mfeldman@seas.gwu.edu (Michael Feldman)]

In article <dewar.837877693@schonberg>, Robert Dewar <dewar@cs.nyu.edu> wrote:

>Of course it is fine to have alternative scheduling policies, but this is
>implementation dependent, and an implementation that does not support
>the real time annex may indeed implement time slicing by default.

As I read D.2.2, nothing seems to prevent an implementation that _does_
support Annex D from implementing time-slicing by default. This
paragraph discusses the language-defined (run-till-blocked) policy,
then a configuration pragma by which the programmer can
specify a dispatching policy, but also says (para. 6) that if no such
pragma is present in a program, the dispatching policy is _unspecified_ 
(RMs word).

I am reading the lines of the RM, not between them. I see nothing in
this paragraph stopping me from interpreting this as "the implementation
can use any dispatching policy it darn well pleases". In particular, I see
no words at all requiring the use of the language-defined policy!
Where are these words?

The RM should not force me to read between its lines.:-)

Mike Feldman