Re: Finalization of library level tasks

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 19/04/2018 22:39, G. B. wrote:
> AdaMagica <christ-usch.grein@t-online.de> wrote:
>> Am Sonntag, 15. April 2018 17:15:22 UTC+2 schrieb Dmitry A. Kazakov:
>>> e.g. fooling the accessibility rules of the access type, some sort of
>>> Unchecked_Allocation. Ada 83 had pragma Controlled to require the
>>> compiler to keep its hands off, alas, it was removed.
>>
>> This pragma was never implemented by any compiler (because there never
>> was a garbage collector implemented and the pragma was intended to tell
>> the GC to keep its hand off).
> 
> Both AdaMagic and GNAT can compile for the JVM.
> GNAT also targets .NET. These are GC targets.
> It’s not big business, seemingly, but then what is.

GC is not the point. The point is to be able to turn off any stuff Ada 
implicitly does for finalization and completion of objects allocated 
using allocator of the specified access type:

1. Remove from the list of objects to be finalized
2. From the list of storage [sub]pool objects
3. From the list of objects allocated using a local access type
4. Ignore any rules about task masters

If you were to build your custom GC you might probably wish this option too.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de