Re: Delayed deallocation of non-terminated task in Gnat?

["J-P. Rosen" <rosen@adalog.fr>]

Le 01/09/2011 00:36, Adam Beneschan a �crit :
> But I'm not talking about a task being completed.  It's pretty clear
> that it's possible to use Unchecked_Deallocation on an object that
> contains an access to a task, and this Unchecked_Deallocation can
> complete, without the task being completed.  But this means that the
> task *object* (which isn't the same as a task, I think) ceases to
> exist, even though the task still hasn't completed; and a literal (but
> possibly absurd) reading of the RM would mean that the task's entry
> queues no longer exist (even though the task still hasn't completed),
> leading to questions about what happens to tasks that are already on
> those queues.
> 
TBH, I didn't even think that anybody (human, RM, or implementation)
would even consider freeing part of a task's space before the task is
completed ;-)

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Adalog a d�m�nag� / Adalog has moved:
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00