Re: Is the Ada run-time required to detect out-of-memory conditions?

[Ludovic Brenta <ludovic.brenta@insalien.org>]

Ludovic Brenta writes:
> I am quite confident that you can implement your "emergency memory"
> scheme in Ada, but this will not do anything to prevent SIGKILL.  At
> best, you can recover from a SIGSEGV.  This is true also of your C
> library.

I forgot to point you at one of Ada's neat features called
"User-Defined Storage Pools".  Look at the Ada Reference Manual[1]
section 13.11.  You can define your own allocation and deallocation
mechanism for any access type; your storage pool may for example
preallocate X megabytes from the operating system, allocate from that
buffer, and raise Storage_Error when it is exhausted.  As long as X <=
Physical_Ram, you then have a guarantee that your porgram receives
Storage_Error and not SIGKILL.

[1] http://www.adaic.org/standards/95lrm/html/RM-TTL.html

-- 
Ludovic Brenta.