comp.lang.ada
 help / color / mirror / Atom feed
From: Ted Dennison<dennison@telepath.com>
Subject: Re: Multiple entry tasks
Date: Wed, 18 Apr 2001 18:57:08 GMT
Date: 2001-04-18T18:57:08+00:00	[thread overview]
Message-ID: <8slD6.1888$D4.184457@www.newsranger.com> (raw)
In-Reply-To: vOkD6.1839$D4.178910@www.newsranger.com

In article <vOkD6.1839$D4.178910@www.newsranger.com>, Ted Dennison says...
>
>In article <9bkevj$61k$1@nh.pace.co.uk>, Marin David Condic says...
>>
>>select
>>    when (Entry2'Count <= 0) and (Entry1'Count <= 0) =>
>>        accept Entry3 ;
>
>or 
>
>>    when (Entry1'Count <= 0) =>
>>        accept Entry2 ;
>>or
>>    accept Entry1;
>>else
>>    terminate;
>>end select ;
>
>
>I don't think the guards get recalcuated when new entries come in, only when the
>top of the select statement is reached. Thus if nothing is available then, it
>will continue to wait indefinitely for Entry1, even if an Entry2 or Entry3 comes
>in later.


Doh! I misread the conditionals. If waiting occurs, all the guards will be
*open*. That should work fine (assuming the "or" is added, of course). If
multiple rendezvous become active before this task gets around to accepting one,
I suppose the priority principle could be violated. But that's a pretty marginal
case. 

---
T.E.D.    homepage   - http://www.telepath.com/dennison/Ted/TED.html
          home email - mailto:dennison@telepath.com



  reply	other threads:[~2001-04-18 18:57 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-04-18 14:57 Multiple entry tasks Lutz Donnerhacke
2001-04-18 16:22 ` Marin David Condic
2001-04-18 18:12   ` Ted Dennison
2001-04-18 18:57     ` Ted Dennison [this message]
2001-04-18 20:16       ` Marin David Condic
2001-04-19 14:02         ` Ted Dennison
2001-04-19 14:28           ` Marin David Condic
2001-04-18 19:46     ` Marin David Condic
2001-04-19 21:52       ` Robert A Duff
2001-04-24  9:19         ` Lutz Donnerhacke
2001-04-19  8:17   ` Jean-Pierre Rosen
2001-04-19 14:42     ` Ted Dennison
2001-04-19 15:01       ` Marin David Condic
2001-04-19 15:02       ` Jean-Pierre Rosen
2001-04-19 19:12         ` Ted Dennison
2001-04-20 14:17           ` Jean-Pierre Rosen
2001-04-20 19:04             ` Ted Dennison
2001-04-23  6:55               ` Jean-Pierre Rosen
2001-04-23 13:50                 ` Ted Dennison
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox