Re: Problem with task component

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Tue, 25 Sep 2012 21:22:37 +0200, J-P. Rosen wrote:

> Le 25/09/2012 20:35, Dmitry A. Kazakov a �crit :
>> I need not to consider that. Termination of a task is normally determined
>> solely by its master (terminating) and its internal state (open terminate
>> alternative). I.e. strictly top-down.
> 
> IIUC, the scheme you have in mind is a server task which, at some point,
> either accepts calls from its master, or delays and do some processing,
> but you want it to halt if the master is completed. You can write it
> this way:
> 
> task body Server is
> begin
>    loop
>       select
>         accept ... do ... end;
>       or delay Time_Out;
>          exit when not Master_Task'Callable;
>       end select;
>       -- do something
>    end loop;
> end Server;
> 
> Note that when the master completes (for whatever reason, including
> unhandled exception or abort), it is not terminated since it has to wait
> for its dependent tasks, but it is no more callable. That's why you have
> to check 'Callable and not 'Terminated.

The weakness of this approach is that the client must know its master. It
is almost never the case. And it is tight coupling from the software design
POV.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de