comp.lang.ada
 help / color / mirror / Atom feed
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.




  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