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: Wed, 18 Apr 2018 14:25:04 +0200
Organization: Aioe.org NNTP Server
Message-ID: <pb7dev$1rpl$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>
 <e55e3c35-5f4d-4a6c-a053-b76cf91268d5@googlegroups.com>
 <pb02qj$a5t$1@gioia.aioe.org> <pb1bpo$48m$1@gioia.aioe.org>
 <pb1jec$gnl$1@gioia.aioe.org> <pb1kta$ja4$1@gioia.aioe.org>
 <pb1lum$loe$1@gioia.aioe.org> <pb1n3o$nt9$1@gioia.aioe.org>
 <pb2fbf$516$1@gioia.aioe.org>
 <04f19a56-7fab-416e-8ec0-b9a73e239e90@googlegroups.com>
 <pb4pep$1nov$1@gioia.aioe.org>
 <da57e8f5-8fa3-4144-9c82-5ca1fa623886@googlegroups.com>
 <pb6veb$139g$1@gioia.aioe.org>
 <f6f94430-17eb-4d9d-8713-145ade3eb8b3@googlegroups.com>
 <pb74sr$1cmf$1@gioia.aioe.org> <pb7aeq$1m8j$1@gioia.aioe.org>
 <pb7bs8$1olg$1@gioia.aioe.org> <pb7c1o$1on3$1@gioia.aioe.org>
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
X-Notice: Filtered by postfilter v. 0.8.3
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:51584
Date: 2018-04-18T14:25:04+02:00
List-Id: <comp.lang.ada>

On 18/04/2018 14:00, J-P. Rosen wrote:
> Le 18/04/2018 à 13:58, Dmitry A. Kazakov a écrit :
>> Well, it seems broken beyond repair then. Let me guess, there going to
>> be no change to fix the mess. Right?
> No, since there is no mess, except in your expectations about what
> terminate means.

There is no any expectations, just an elementary requirement not to 
deadlock upon object finalization.

> It is intended to allow for clean termination of servers when no client
> is able to call them, and for that purpose, it works as intended.

Sorry, but it does not work at all, because there is no any way to 
terminate task. If intended task termination has race condition, uses 
arbitrary dependencies between unrelated tasks, ignores stated 
dependencies, e.g. between the packages, deadlocks in finalization, then 
there must be something wrong with the intention.

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