From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:622a:181d:: with SMTP id t29mr187307qtc.337.1632926512365;
        Wed, 29 Sep 2021 07:41:52 -0700 (PDT)
X-Received: by 2002:a25:6106:: with SMTP id v6mr154961ybb.531.1632926511871;
 Wed, 29 Sep 2021 07:41:51 -0700 (PDT)
Path: eternal-september.org!reader02.eternal-september.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 29 Sep 2021 07:41:51 -0700 (PDT)
In-Reply-To: <sj169c$1vkg$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=146.5.2.231; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 146.5.2.231
References: <e3c5c553-4a7f-408a-aaa7-60ec0b70202dn@googlegroups.com>
 <ly5yv1bxgy.fsf@pushface.org> <shtg99$tgd$1@gioia.aioe.org>
 <lywnnha7y1.fsf@pushface.org> <1d2551f4-8189-44ec-a54d-4a56a672bedcn@googlegroups.com>
 <c2d59417-398f-42a0-ab4b-b4f947325be0n@googlegroups.com> <si26q3$13l1$1@gioia.aioe.org>
 <lyo88r9e99.fsf@pushface.org> <si2ud7$fv2$1@gioia.aioe.org>
 <iqkevvFr27rU1@mid.individual.net> <si45ls$1goa$1@gioia.aioe.org>
 <iqloa8F3sptU1@mid.individual.net> <si4ell$1b25$1@gioia.aioe.org>
 <sib8rc$nda$1@franka.jacob-sparre.dk> <sibvcr$1ico$1@gioia.aioe.org>
 <siu5r7$st6$1@franka.jacob-sparre.dk> <siueba$efk$1@gioia.aioe.org>
 <lymtnxb0hs.fsf@pushface.org> <siuigp$bqs$1@gioia.aioe.org>
 <sj03gm$7j9$1@franka.jacob-sparre.dk> <sj169c$1vkg$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <bb237054-1f0c-4d31-bb61-4259ee3f21c8n@googlegroups.com>
Subject: Re: Custom Storage Pool questions
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Wed, 29 Sep 2021 14:41:52 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:62866
List-Id: <comp.lang.ada>

On Wednesday, September 29, 2021 at 1:57:35 AM UTC-6, Dmitry A. Kazakov wrote:
> Come on. There never existed Ada compiler with GC.
Untrue; GNAT for JVM, and GNAT for DOTNET.

> And nobody could even 
> implement GC with the meaningless semantics of "collections" in the way, 
> killing objects at random. Either with GC or without it, there must be 
> no such thing as "collections."
How does this follow?
The 'element' type cannot go out of scope before the collection, and the collection going out of scope triggers its finalization/deallocation.

> > I could see an unsafe language (like C) doing the sort of thing you suggest, 
> > but not Ada.
> How random finalizing user-allocated and user-freed objects is safe?
Finalization *isn't* random, it happens at well-defined places.
(And, IIRC, is idempotent; meaning that multiple calls have the same effect as a singular call.)

> And I suggest doing exactly nothing as opposed to *unsafe*, costly and 
> meaningless behavior mandated by the standard now.
> > Every object in Ada has a specific declaration point, 
> > initialization point, finalization point, and destruction point. There are 
> > no exceptions.
> Yes, and how it that related to the issue?
Because these are the places that finalization (and deallocation/destruction) are defined to happen.