Re: Ada memory management?

[Stephen Thomas <vianews@stephenthomas.uklinux.net>]

On Thu, 07 Oct 2004 14:22:14 +0000, Georg Bauhaus wrote:
> A whole pool is created on procedure entry? Are you sure?

The implementation is free to create a new pool when a new access type
comes into being, and can destroy that pool when the type goes out
of scope. In the original example, this coincides with procedure entry
and exit.

As it happens, GNAT (as of 3.15p) does not seem to behave this way, and
the original example does indeed leak heavily. The point I'm making,
however, is that you cannot necessarily assume that it will leak in all
Ada implementations. That said, assuming that many Ada implementors would
consider storage pool creation/destruction to be expensive (which I think
may be your concern), then I suspect most implementations would not try
to create pools dynamically in this fashion.

Stephen

-- 
Your name is being called by sacred things
That are not addressed nor listened to.
Sometimes they blow trumpets.