From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Concurrency in Gnat 3.05?
Date: 1996/07/20
Date: 1996-07-20T00:00:00+00:00 [thread overview]
Message-ID: <dewar.837877693@schonberg> (raw)
In-Reply-To: qw63f2qou73.fsf@gargantua.enst.fr
Samuel Tardieu said, replying to spasmo
Spasmo> Is Gnat 3.05 (for DOS) truly concurrent when executing tasks?
AFAIK it's not, but there is nothing in the RM that requires it !
On the contrary, there *is* something in the RM that prohibits it! See
annex D. The default FIFO_Within_Priorities scheduling policy requires
run-till-blocked, and time slicing (which is what we are talking about here)
violates that important requirement!
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.
next prev parent reply other threads:[~1996-07-20 0:00 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <4sjqte$3mu@masala.cc.uh.edu>
1996-07-18 0:00 ` Concurrency in Gnat 3.05? Robert Dunn
1996-07-19 0:00 ` Spasmo
1996-07-18 0:00 ` Robert Dewar
1996-07-20 0:00 ` Michael Feldman
1996-07-19 0:00 ` Jon S Anthony
1996-07-19 0:00 ` Robert Dewar
1996-07-20 0:00 ` Michael Feldman
1996-07-24 0:00 ` Jon S Anthony
1996-07-22 0:00 ` Jon S Anthony
1996-07-22 0:00 ` Jon S Anthony
1996-07-22 0:00 ` Jon S Anthony
1996-07-24 0:00 ` Michael Feldman
1996-07-24 0:00 ` Jon S Anthony
1996-07-18 0:00 ` Samuel Tardieu
1996-07-20 0:00 ` Robert Dewar [this message]
1996-07-20 0:00 ` Michael Feldman
1996-07-18 0:00 ` Jerry van Dijk
1996-07-20 0:00 ` Robert Dewar
1996-07-20 0:00 ` Robert Dewar
1996-07-18 0:00 ` Robert Dewar
1996-07-19 0:00 ` Spasmo
1996-07-19 0:00 ` Tucker Taft
1996-07-18 0:00 ` Kevin J. Weise
1996-07-20 0:00 ` Michael Feldman
1996-07-20 0:00 ` Robert Dewar
1996-07-21 0:00 ` Jerry van Dijk
1996-07-24 0:00 ` Spasmo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox