comp.lang.ada
 help / color / mirror / Atom feed
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.837863919@schonberg> (raw)
In-Reply-To: DurIFC.69@jvdsys.nextjk.stuyts.nl


Jerry said

"But what you probably wanted to ask is: does GNAT/DOS do multi-tasking ?
The answer, yes. But not pre-emptive tasking, what seems to be what you
expected, but cooperative tasking."


That's wrong, of course GNAT/DOS implements pre-emptive tasking, this is
required by Ada semantics (i.e. when a high priority task becomes ready,
it preempts a low priority running task). This certainly works, or if it
does not, then it is a bug -- well actually that's not quite fair. Priorities
and preemptive tasking are only required by Annex D, not by the core
language.

But in any case, it is I think clearly established by later psts in the
thread (Jerry maybe your newsreader is way behind, or perhaps you are not
following threads before answering) that the issue is time slicing among
tasks of equal priority, which requires preemption of course, but should
not be confused with the issue of whether or not preemptive tasking
is implemented.





  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   ` 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-19  0:00   ` Spasmo
1996-07-18  0:00     ` Robert Dewar
1996-07-20  0:00       ` Michael Feldman
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-22  0:00   ` Jon S Anthony
1996-07-24  0:00   ` Jon S Anthony
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 ` Jerry van Dijk
1996-07-20  0:00   ` Robert Dewar
1996-07-20  0:00   ` Robert Dewar [this message]
1996-07-18  0:00 ` Samuel Tardieu
1996-07-20  0:00   ` Robert Dewar
1996-07-20  0:00     ` Michael Feldman
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