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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,c33f8f65997c21d0 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Received: by 10.180.106.102 with SMTP id gt6mr3541434wib.0.1348595522453; Tue, 25 Sep 2012 10:52:02 -0700 (PDT) Path: q11ni55274571wiw.1!nntp.google.com!goblin1!goblin2!goblin.stu.neva.ru!aioe.org!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Problem with task component Date: Tue, 25 Sep 2012 19:52:01 +0200 Organization: A noiseless patient Spider Message-ID: References: <1667b8e2qt7ei$.1gg1h3hrp9amz$.dlg@40tude.net> <187uk10m6z8xj.yr1cpbgrdur$.dlg@40tude.net> <1gq5enrpptnql.v7pdz1umht4a$.dlg@40tude.net> Mime-Version: 1.0 Injection-Date: Tue, 25 Sep 2012 17:52:02 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="709a3b9124d052b085bf6fc3f0a2adab"; logging-data="27333"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/7qcNdI+08xaMGeDgOidFk" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:15.0) Gecko/20120907 Thunderbird/15.0.1 In-Reply-To: Cancel-Lock: sha1:XT1Z2Ht6d86S9QcmHyjh1e1ftcU= X-Enigmail-Version: 1.4.4 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Date: 2012-09-25T19:52:01+02:00 List-Id: Le 25/09/2012 09:35, Dmitry A. Kazakov a �crit : > I propose a competing rule: > > Selection of the terminate alternative by the master shall not depend on > the states of the client tasks. But that's the whole purpose of the terminate alternative: to terminate a task if no client can call it. How can you decide that without considering the state of client tasks? You might be considering something that could be useful, but is not related to the terminate alternative as defined by Ada... -- 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