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: <7963h1$a6h$1@nnrp1.dejanews.com> (raw)
In-Reply-To: 793jl9$hf@drn.newsguy.com

In article <793jl9$hf@drn.newsguy.com>,
  nabbasi@earthlink.net wrote:

> 1. How could FSU be an Annex D compliant, if one thread
> will block the other like this? (even though one will
> expect that doing an IO message will cause a task to
> yield the CPU).

Annex D requires run till blocked semantics, and forbids
any kind of time slicing.

You say that you "expect" that doing an IO message will
cause a task to yield the CPU.

You can expect anything you like, but you read no such
requirement in the RM, because there is no such
requirement!

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




  parent 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 [this message]
1999-02-02  0:00   ` Roger Racine
1999-02-02  0:00     ` robert_dewar
1999-02-03  0:00       ` Nick Roberts
1999-02-03  0:00         ` Frank Mueller
1999-02-03  0:00         ` Frank Mueller
1999-02-03  0:00         ` Roger Racine
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