From: "Nick Roberts" <Nick.Roberts@dial.pipex.com>
Subject: Re: tasking in Ada and Annex D question
Date: 1999/02/03
Date: 1999-02-03T00:00:00+00:00 [thread overview]
Message-ID: <798u7r$b2k$2@plug.news.pipex.net> (raw)
In-Reply-To: 797hoc$j3v$1@nnrp1.dejanews.com
To quote chapter and verse, RM95 D.2.2 [7] states
... The language defines only one dispatching policy,
FIFO_Within_Priorities; when this policy is in effect, modifications to the
ready queues occur only as follows ...
with the emphasis on "only", the list that follows this clause does not
include any timed pre-emption.
It does, however, include the 'delay' statement, so (as another poster
mentioned, I think), if you pop in a 'delay 0.0;' statement just after (say)
the I/O operation, you'll get a nice alternation of task activation.
-------------------------------------------
Nick Roberts
-------------------------------------------
robert_dewar@my-dejanews.com wrote in message
<797hoc$j3v$1@nnrp1.dejanews.com>...
[...]
|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).
next prev parent reply other threads:[~1999-02-03 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
1999-02-03 0:00 ` Nick Roberts [this message]
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