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.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Example question Date: Sun, 26 Oct 2014 16:46:55 +0100 Organization: A noiseless patient Spider Message-ID: References: <0fbd755d-7bcf-42b1-a20b-c6a2c74c7d6e@googlegroups.com> <544d02cc$0$14840$c00b7f07@94.232.116.90> Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 8bit Injection-Date: Sun, 26 Oct 2014 15:47:21 +0000 (UTC) Injection-Info: mx02.eternal-september.org; posting-host="214e2226c9a2cb4f71713357be0d6925"; logging-data="24619"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18/+j1sI28V2kGekJ6uBmAt" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0 In-Reply-To: <544d02cc$0$14840$c00b7f07@94.232.116.90> Cancel-Lock: sha1:Plpz3Y7C55XA36dPHQVIYaZKhOg= Xref: news.eternal-september.org comp.lang.ada:22759 Date: 2014-10-26T16:46:55+01:00 List-Id: 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