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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,4bd6ca8f7a1eb225
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.204.0.73 with SMTP id 9mr1640398bka.4.1322780440458;
        Thu, 01 Dec 2011 15:00:40 -0800 (PST)
Path: 
 y3ni20902bkw.0!nntp.google.com!news1.google.com!news2.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Class with task destructor
Date: Thu, 01 Dec 2011 22:59:31 +0000
Organization: A noiseless patient Spider
Message-ID: <m2obvr6gq4.fsf@pushface.org>
References: <30604696.94.1322013045135.JavaMail.geo-discussion-forums@yqzz20>
	<rub7mpaqj3m0$.edx48uwzhacd.dlg@40tude.net>
	<m2r50z8az4.fsf@pushface.org>
	<24938373.1788.1322615481874.JavaMail.geo-discussion-forums@yqjo5>
	<m2hb1m6ma2.fsf@pushface.org>
	<a6426266-d8ca-461d-ab5e-2bf67cbc56a1@s4g2000yqk.googlegroups.com>
	<m2aa7c7eep.fsf@pushface.org>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="dFCm8HWntFqmDIilBLqEJQ";
	logging-data="11009"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18Q0DA4Oc3/8UtHREkFb1+SgZycZpqvDrU="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (darwin)
Cancel-Lock: sha1:wJPT9dd1oqk9s+GoTTByuIx2uJ4=
	sha1:oWIp/upUDnBsUDAvfjUN+64Ld90=
Xref: news1.google.com comp.lang.ada:19296
Content-Type: text/plain; charset=us-ascii
Date: 2011-12-01T22:59:31+00:00
List-Id: <comp.lang.ada>

Simon Wright <simon@pushface.org> writes:

> I think I'd be concerned if an implementation arranged to do this sort
> of thing 'under the hood'. How would it know what would be an
> appropriate 'lower priority', for example?

AdaCore's new solution, as described by Bob Duff, seems to do away with
this concern, because any hanging about is going to be done by the task
we're trying to dispose of.