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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ab2ba9c5d12b0f12
X-Google-Attributes: gid103376,public
From: mfeldman@seas.gwu.edu (Michael Feldman)
Subject: Re: Concurrency in Gnat 3.05?
Date: 1996/07/20
Message-ID: <4srvs6$qkl@felix.seas.gwu.edu>#1/1
X-Deja-AN: 169211038
references: <4sjqte$3mu@masala.cc.uh.edu>
 <19960718.082642.172@satcom.whit.org> <4smktd$phu@masala.cc.uh.edu>
 <dewar.837740961@schonberg>
organization: George Washington University
newsgroups: comp.lang.ada
Date: 1996-07-20T00:00:00+00:00
List-Id: <comp.lang.ada>


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

>That's quite wrong. Serious use of tasking for real-time programs
>generally prefers to completely avoid time slicing. That is why the
>requirement in the real time annex of Ada is that time slicing must
>NOT occur using the default scheduling policy (FIFO_Within_Priorities).

This is interesting, because once again we are left to read between the
lines of the RM. Several Ada 83 implementations - Ada/Ed and
Meridian, to cite two such - explicited provided for time-slicing at
the user's option. 

>Generally time slicing can be made available on many operating systems,
>but it is a bit tricky in DOS, because of limitations in the operating
>system. It certainly would be possible, but since it is not required (in
>fact it is only permitted as an option), it is not a high priority item.

I still find it interesting that this is never stated in the RM, even
as a possibility.  Yes, optional (non-default) dispatching policies
are provided for. And of course, the entire dispatching discussion
has been moved from the Ada 83 Chap. 9 to Annex D.

>If what you want is effective concurrency between multiple threads, there
>are many ways to achieve this in correctly programmed Ada. An Ada program
>that depends on time slicing is non-portable.

I agree, Robert. 

My only quibble is with the need to read about time-slicing in the RM
only between the lines. You said in an earlier post that you're not even
sure whether the threads implementations of GNAT are in conformance
with Annex D, except for the dodge that this "simulates multi-processors."
IMHO, after all the work that went into such a recent RM, one should
not have to guess at these things.:-)

Mike Feldman