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!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Reference counting and idempotent finalize
Date: Thu, 12 Sep 2013 15:33:02 +0100
Organization: A noiseless patient Spider
Message-ID: <lyy5725cv5.fsf@pushface.org>
References: <slrnl30ie3.1lme.lithiumcat@sigil.instinctive.eu>
	<52307537.3050900@obry.net>
	<slrnl32ic8.1lme.lithiumcat@sigil.instinctive.eu>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx05.eternal-september.org;
 posting-host="9fea184f47d12c052eb0a8a21bb4972e";
	logging-data="23871"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+cQdIOu7KPsuwpBkiajn6/98uGaw+Xx6A="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:fyqlEiNOtGg0XjccubNIeAASiL0=
	sha1:Lvqu6qTdk7ZTYxJskUL79/60Pe4=
Xref: news.eternal-september.org comp.lang.ada:17170
Date: 2013-09-12T15:33:02+01:00
List-Id: <comp.lang.ada>

Natasha Kerensikova <lithiumcat@gmail.com> writes:

> On 2013-09-11, Pascal Obry <pascal@obry.net> wrote:
>> See Gem#97 for an idempotent discussion:
>>
>> http://www.adacore.com/adaanswers/gems/gem-97-reference-counting-in-ada-part-1/
>
> Maybe I should have mentioned it explicitly in the OP, but that's
> exactly what triggered my posting here.
> That and http://sourceforge.net/p/booch95/bugs/26/ too.
>
> And I still don't see any clue on why their code is more idempotent than
> mine.
>
> Again, what am I missing here?

I don't think you're missing anything. Of course my BC code could be
wrong too.

I looked at the GNATColl code; maybe it's age, maybe it was too late at
night, but I couldn't summon up the energy to understand it. And I
don't think I like the way it uses internal packages (but there may be a
good reason for the design).