comp.lang.ada
 help / color / mirror / Atom feed
From: robert_dewar@my-dejanews.com
Subject: Re: tasking in Ada and Annex D question
Date: 1999/02/02
Date: 1999-02-02T00:00:00+00:00	[thread overview]
Message-ID: <797hoc$j3v$1@nnrp1.dejanews.com> (raw)
In-Reply-To: rracine.8.0008248D@draper.com

In article <rracine.8.0008248D@draper.com>,
  rracine@draper.com (Roger Racine) wrote:
> In article <7963h1$a6h$1@nnrp1.dejanews.com>
robert_dewar@my-dejanews.com writes:
> I re-read the Annex and can find nothing to support your
> contention that it requires run till blocked semantics,
> with your definition of "blocked".  It seems that "task
> dispatching points" are completely implementation defined
> (D.2.2.18).

Well I am of course talking about
FIFO_Within_Priorities. If you don't specify
the dispatching policy, then of course it is
undefined.

But FWP is the only defined policy in the RM,
and it most definitely requires run till blocked
(and whether IO is blocking or not is of course
implementation defined).

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own    




  reply	other threads:[~1999-02-02  0:00 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-01-31  0:00 tasking in Ada and Annex D question nabbasi
1999-02-01  0:00 ` Dr. Hubert B. Keller
1999-02-02  0:00 ` robert_dewar
1999-02-02  0:00   ` Roger Racine
1999-02-02  0:00     ` robert_dewar [this message]
1999-02-03  0:00       ` Nick Roberts
1999-02-03  0:00         ` Roger Racine
1999-02-03  0:00         ` Frank Mueller
1999-02-03  0:00         ` Frank Mueller
1999-02-03  0:00     ` Tom Moran
1999-02-02  0:00 ` Markus Kuhn
1999-02-02  0:00   ` robert_dewar
1999-02-02  0:00     ` Markus Kuhn
1999-02-02  0:00       ` Niklas Holsti
1999-02-03  0:00         ` Ehud Lamm
1999-02-03  0:00       ` robert_dewar
replies disabled

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