Re: dynamic multithreading

[Thierry Lelegard <thierry.lelegard@canal-plus.fr>]

> Of course this program _must_ consume all memory.
> 
> You explicitly allocate on the heap, but never deallocate. That's what
> Unchecked_Deallocation is for.
>
> Or do you mean even with Free, it consumes all memory?

We agree, that's the whole point. Using Free does not leak.

But, in the previous note, the author seems to think that there should
be not memory leak, even without unchecked_deallocation:

> > - Second, you must absolutely unchecked_deallocate each task after
> >   it is terminated (not always trivial to synchronize on actual
> >   termination of a task). Otherwise, you have a memory leak.
> 
> Which means you don't trust the run-time system to do some
> elementary GC? If you are *that* paranoid (or have a good
> reason to be) perhaps it's time to abandon Ada and switch
> back to the good old Assembly language.

-Thierry Lelegard