From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Problem with task component
Date: Tue, 25 Sep 2012 09:35:13 +0200
Date: 2012-09-25T09:35:13+02:00 [thread overview]
Message-ID: <vvtdzkswr611.15wl7nv8o0kgv.dlg@40tude.net> (raw)
In-Reply-To: k3qh03$54l$1@dont-email.me
On Mon, 24 Sep 2012 22:49:07 +0200, J-P. Rosen wrote:
> 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.
Tasks behavior is undecidable most of the time. I dare to say that tasks
were useless when behaved in a decidable manner.
It does not make sense to require something from specifically task
termination, when the rest is not constrained. And it does not work,
anyway, because it is in no way to prevent deadlocking upon task
finalization. Happens all the time in Ada.
> If the master is on a select-or-terminate, what should the task do?
I propose a competing rule:
Selection of the terminate alternative by the master shall not depend on
the states of the client tasks.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2012-09-25 7:34 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
2012-09-25 7:35 ` Dmitry A. Kazakov [this message]
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