Re: task model

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

On Thu, 15 Oct 2009 12:15:56 -0700 (PDT), Anh Vo wrote:

> I would like to expand Ludovic's comment.
> 
> You have a couple of options to improve it.
> 
> 1. Make sure the task not terminated before calling its entry. That is
> using proc1'terminated syntax to query it.
> 2. Add infinite loop enclosing accept statements. So, entry call can
> be served always. This makes tasks alive even after the program ends
> (program will hang) unless Ctrl-C or other mean to end it. The clean
> solution is add entry Shutdown to the task. When this entry is
> invoked, just exit the loop. Thus, the task will terminate cleanly.

2'. In order to terminate a task upon parent's completion use select
statement with a terminate alternative:

select
   accept XYZ;
or terminate; -- Ends the task when the parent terminates
end select;

(Shutdown entry is used when terminate is not allowed, e.g. when a delay
alternative or else part is present in the select, or when some explicit
completion code need to be executed, however any local objects are properly
finalized when the terminate alternative is accepted.)

3. Do not do any asynchronous (lengthy) processing within a rendezvous,
i.e. within do...end of an accept. During the rendezvous the caller is
blocked. Rendezvous is meant for short synchronous things, like passing the
parameters and results, then the caller is released and the callee
completes things asynchronously to the caller.

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