Re: How to wait for task completion

[ncohen@watson.ibm.com (Norman H. Cohen)]

In article <qw67mpth8zi.fsf@gargantua.enst.fr>, Samuel Tardieu
<sam@ada.eu.org> writes: 

|> >>>>> "wiljan" == wiljan  <W.Derks@nl.cis.philips.com> writes: 
|>
...
|> wiljan>                                              In my case I want
|> wiljan> to clean up the task object itself by using
|> wiljan> ada.unchecked_deallocation.
|>
|> So you should have a look at the generic package Ada.Task_Attributes: 
|> it lets you attach special attributes onto task running on your
|> system. If you attach an attribute of a controlled type to your task,
|> then it will be destroyed (this the Finalization procedure called)
|> whenever the task is completed.

Indeed, RM95-C.7.2(17) guarantees this.  However, unlike Ada 83, Ada 95
does not guarantee that unchecked deallocation will reclaim the storage
for a task object (or for a composite object with a subcomponent that is
a task object), even if the task has terminated when the deallocation
procedure is called!  See the last sentence of RM95-13.11.2(9).

I hope none of the implementors has read this sentence. :-)

--
Norman H. Cohen    ncohen@watson.ibm.com