From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Converting Ada Tasks To VxWorks Tasks?
Date: 2000/04/15
Date: 2000-04-15T00:00:00+00:00 [thread overview]
Message-ID: <8d9p1p$21s$1@nnrp1.deja.com> (raw)
In-Reply-To: dale-582DE5.10532114042000@news.rmit.edu.au
In article <dale-582DE5.10532114042000@news.rmit.edu.au>,
dale <dale@cs.rmit.edu.au> wrote:
> Ted Dennison wrote:
>
> > For instance, I believe if you have
> > a selective accept with multiple open and waiting accept
alternatives,
> > you have to *randomly* pick one to service.
>
> The accept that is chosen is non deterministic as far as the
RM is
> concerned. This may translate into a deterministic choice by
the
> underlying scheduler.
>
> Dale
In the core semantics of Ada 95, the choice of alternatives
is non-deterministic (which is totally different from random,
if you do not know the difference, put it down on the list
of useful things to learn, it is too much of a diversion to
this thread to discuss this difference here).
In the real-time annex semantics, provision is made for
removing ALL such non-determinism from the scheduling. So
the above reply by Dale is a little misleading
Sent via Deja.com http://www.deja.com/
Before you buy.
next prev parent reply other threads:[~2000-04-15 0:00 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-04-13 0:00 Converting Ada Tasks To VxWorks Tasks? Michael Hartsough
2000-04-13 0:00 ` Ted Dennison
2000-04-14 0:00 ` Robert A Duff
2000-04-14 0:00 ` Michael Hartsough
2000-04-14 0:00 ` Tucker Taft
2000-04-15 0:00 ` Michael Hartsough
2000-04-14 0:00 ` dale
2000-04-15 0:00 ` Robert Dewar [this message]
2000-04-14 0:00 ` Jeff Carter
2000-04-14 0:00 ` Michael Hartsough
2000-04-14 0:00 ` Stanley R. Allen
2000-04-15 0:00 ` Michael Hartsough
2000-04-16 0:00 ` Robert Dewar
2000-04-16 0:00 ` Michael Hartsough
2000-04-16 0:00 ` Jeff Carter
2000-04-14 0:00 ` Ted Dennison
2000-04-14 0:00 ` Marin D. Condic
2000-04-15 0:00 ` Jeff Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox