From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,dc89792b5613be6a
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Converting Ada Tasks To VxWorks Tasks?
Date: 2000/04/15
Message-ID: <8d9p1p$21s$1@nnrp1.deja.com>#1/1
X-Deja-AN: 611490148
References: <1crJ4.142$d21.18564@elnws01> <8d5ivg$ho9$1@nnrp1.deja.com>
 <dale-582DE5.10532114042000@news.rmit.edu.au>
X-Http-Proxy: 1.0 x43.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Sat Apr 15 12:58:36 2000 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
Date: 2000-04-15T00:00:00+00:00
List-Id: <comp.lang.ada>

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.