Re: Finalization of a record containing a task

[Adrien Plisson <aplisson-news@stochastique.net>]

Robert A Duff wrote:
> Adrien Plisson <aplisson-news@stochastique.net> writes:
>>alternately, since T_ADT is Limited_Controlled, you may abort the inner
>>task in its Finalize (!! baaad !!)
> 
> 
> But the problem is that the program hangs, waiting for termination of
> the task, *before* it calls the Finalize that does the abort
> (or calls the Stop entry, in the original example).

euh... yes, you are right. i do remember now that when i did that, i 
was using an access to the task type.

anyway, it is a very bad idea since aborting the task may have a side 
effect: you don't know what was going on at the time you abort the 
task, so the state of the data accessed by the task is undefined.

-- 
rien