Re: Class with task destructor

["Randy Brukardt" <randy@rrsoftware.com>]

"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message 
news:wccliqwdku1.fsf@shell01.TheWorld.com...
> "J-P. Rosen" <rosen@adalog.fr> writes:
>
>> Put an entry (say "Termination_Wait") in the waited task, and never
>> accept it. Call Termination_Wait from the waiting task. When the waiting
>> task receives Tasking_Error, the waited task is terminated (well,
>> completed, but that should be close enough).
>
> I don't think it's close enough.  It is impossible to actually
> free things before the task is really terminated.  The task is
> doing finalization between completion and termination, and that
> could refer to discriminants.  And even if there's no finalization
> present, the task is still using its stack, which had better not
> be freed.

I agree, but I note that J-P's suggestion at least provides a way to delay 
polling until the task is completed. Most tasks don't have complex 
finalization, so they don't have to stay for a long time in the completed 
state. (Although I'd have to go look up the exact details as to when a 
completed task becomes terminated.

I'll note that I became aware of this need to poll for 'Terminated because 
of various bug reports on ACATS tests involving tasks. Several of them had 
to be fixed by adding such polling before checking the results of the test. 
(And a lot of them already had such polling.) It's hard to avoid in Ada as 
it stands.

                                      Randy.