comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: GNAT R/T Annex and Win95
Date: 1996/04/18
Date: 1996-04-18T00:00:00+00:00	[thread overview]
Message-ID: <dewar.829885694@schonberg> (raw)
In-Reply-To: 3174712D.71C7@ee.ubc.ca

Greg says

"My understanding is that Win95 uses a timesliced scheduling policy for
threads, and that GNAT tasks are mapped to Win95 threads. How is
GNAT's fixed priority preemptive scheduling policy supported if this
is the case?"

Time-slicing has nothing to do with fixed-priorities per se, or with
preemption. It *does* have to do with run-till-blocked.

Ada 95 does not require run-till-blocked semantics unless the RT annex
is supported fully. Not all OS's can support the real time annex, and
clearly GNAT on such a system does not support the annex (this is
assuming tasks are mapped to threads). On NT, you can map to the
real time threads, and all is well, but I don't know if this applies
to Win95. Anyway, Greg, you are making undocumented assjmptions here!





  parent reply	other threads:[~1996-04-18  0:00 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-04-16  0:00 GNAT R/T Annex and Win95 Greg Bond
1996-04-17  0:00 ` Tom Griest
1996-04-18  0:00 ` Robert Dewar [this message]
1996-04-22  0:00   ` Greg Bond
     [not found] ` <4l2sliINNl7m@ra.dept.cs.yale.edu>
1996-04-18  0:00   ` Dale Pontius
  -- strict thread matches above, loose matches on Subject: below --
1996-04-19  0:00 Marin David Condic, 407.796.8997, M/S 731-93
1996-04-20  0:00 ` Robert Dewar
1996-04-27  0:00   ` Dave Wood
1996-04-27  0:00     ` Robert Dewar
1996-04-20  0:00 ` Wiljan Derks
1996-04-20  0:00 ` Tom Griest
1996-04-22  0:00 ` Greg Bond
1996-04-22  0:00 ` Theodore E. Dennison
1996-04-23  0:00   ` Wiljan Derks
1996-04-23  0:00 Marin David Condic, 407.796.8997, M/S 731-93
1996-04-23  0:00 ` Theodore E. Dennison
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox