Re: Example question

["J-P. Rosen" <rosen@adalog.fr>]

Le 26/10/2014 15:18, Martyn Pike a écrit :
>> Tutorial says "If calls to both entries are already pending, one will
>> be accepted non-deterministically." what does that mean? If calls are
>> pending on bith entries it might happend that Shutdown is accepted and
>> exits in which case thats not good solution at all
>>
>>
> 
> It basically means exactly what you said.  If calls are pending on both
> entries then it is not deterministic as to which one will be processed
> first. 
No. "one of them is selected according to the entry queuing policy in
effect" (9.7.1(16))

It was never non deterministic. Implementation defined in previous
versions of the language.

> If you want deterministic behaviour then in my opinion this is where
> protected objects should be used.  Particularly if you absolutely must
> check for the existence of a Shutdown event before checking for a
> Recalculate event.
If you tell what kind of deterministic behaviour you want, it is easy to
write the expected behaviour with rendezvous.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr