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: a07f3367d7,c33f8f65997c21d0 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Received: by 10.68.244.73 with SMTP id xe9mr3460370pbc.1.1348967904209; Sat, 29 Sep 2012 18:18:24 -0700 (PDT) Path: g9ni6180pbh.1!nntp.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!news.mi.ras.ru!goblin-spool!goblin1!goblin.stu.neva.ru!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: Mon, 24 Sep 2012 22:49:07 +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: Mon, 24 Sep 2012 20:49:07 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="709a3b9124d052b085bf6fc3f0a2adab"; logging-data="5269"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+L/zfw9mcql5d0l6cLndoE" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:15.0) Gecko/20120907 Thunderbird/15.0.1 In-Reply-To: <1gq5enrpptnql.v7pdz1umht4a$.dlg@40tude.net> Cancel-Lock: sha1:qj4lWQpaTFJMYjUPzBAHploJn/k= X-Enigmail-Version: 1.4.4 X-Received-Bytes: 2325 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Date: 2012-09-24T22:49:07+02:00 List-Id: Le 24/09/2012 18:29, Dmitry A. Kazakov a �crit : > Else-alternative is no less important than delay. We need something like > > select > terminate; -- Terminate if requested otherwise continue > else > null; > end select; Which is of course undecidable. If the master is on a select-or-terminate, what should the task do? If it selects the terminate, the whole family terminates, fine. If it selects the else part, it can call one of the master's entries, wake up the master who can now call the task's entries: the task was right not to select the terminate! -- 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