From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Problem with task component
Date: Mon, 24 Sep 2012 22:49:07 +0200
Date: 2012-09-24T22:49:07+02:00 [thread overview]
Message-ID: <k3qh03$54l$1@dont-email.me> (raw)
In-Reply-To: <1gq5enrpptnql.v7pdz1umht4a$.dlg@40tude.net>
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
next prev parent reply other threads:[~2012-09-30 1:18 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-09-19 18:22 Problem with task component Simon Wright
2012-09-19 18:48 ` Dmitry A. Kazakov
2012-09-19 20:40 ` Simon Wright
2012-09-19 21:11 ` Dmitry A. Kazakov
2012-09-19 21:48 ` Simon Wright
2012-09-24 5:28 ` J-P. Rosen
2012-09-24 8:23 ` Simon Wright
2012-09-24 13:37 ` J-P. Rosen
2012-09-24 14:17 ` Simon Wright
2012-09-24 17:53 ` Robert A Duff
2012-09-24 20:40 ` J-P. Rosen
2012-09-24 15:44 ` Adam Beneschan
2012-09-24 16:13 ` AdaMagica
2012-09-24 16:43 ` Adam Beneschan
2012-09-24 16:29 ` Dmitry A. Kazakov
2012-09-24 20:49 ` J-P. Rosen [this message]
2012-09-25 7:35 ` Dmitry A. Kazakov
2012-09-25 17:52 ` J-P. Rosen
2012-09-25 18:35 ` Dmitry A. Kazakov
2012-09-25 19:22 ` J-P. Rosen
2012-09-26 7:27 ` Dmitry A. Kazakov
2012-09-26 11:49 ` Georg Bauhaus
2012-09-26 14:13 ` Dmitry A. Kazakov
2012-09-19 19:44 ` Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox