Re: Class with task destructor

[Adam Beneschan <adam@irvine.com>]

On Dec 1, 1:48 pm, Robert A Duff <bobd...@shell01.TheWorld.com> wrote:
> "J-P. Rosen" <ro...@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.

And part of that finalization (the "first step" according to the RM)
is to wait for dependent tasks.  If the waited task has nested tasks,
those tasks could still be running for an indefinitely long period
after the waited task completes.  And those tasks could refer to the
parent task's local variables or discriminants.

                            -- Adam