From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Finalization of library level tasks
Date: Fri, 20 Apr 2018 09:27:44 +0200
Organization: Aioe.org NNTP Server
Message-ID: <pbc4pf$1e3e$1@gioia.aioe.org>
References: <pavkou$1go7$1@gioia.aioe.org> <pavm21$ko5$1@dont-email.me>
 <pavmla$1k1o$1@gioia.aioe.org> <pavp2a$81n$1@dont-email.me>
 <pavqa6$1qdj$1@gioia.aioe.org>
 <702e2422-a93f-4200-9749-5122c3d0f899@googlegroups.com>
 <pbaups$lnk$1@dont-email.me>
NNTP-Posting-Host: MyFhHs417jM9AgzRpXn7yg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.7.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.8.3
Xref: reader02.eternal-september.org comp.lang.ada:51638
Date: 2018-04-20T09:27:44+02:00
List-Id: <comp.lang.ada>

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