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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,899097ccdbca937b
X-Google-Attributes: gid103376,public
From: Robert A Duff <bobduff@world.std.com>
Subject: Re: Finalization of record components which are tasks
Date: 2000/03/03
Message-ID: <wcck8jki07m.fsf@world.std.com>#1/1
X-Deja-AN: 592686762
Sender: bobduff@world.std.com (Robert A Duff)
References: <tgr9dtixlk.fsf@mercury.rus.uni-stuttgart.de>
 <tg9000fe58.fsf@mercury.rus.uni-stuttgart.de>
Organization: The World Public Access UNIX, Brookline, MA
Newsgroups: comp.lang.ada
Date: 2000-03-03T00:00:00+00:00
List-Id: <comp.lang.ada>

Florian Weimer <Florian.Weimer@RUS.Uni-Stuttgart.DE> writes:

> 
> Florian Weimer <Florian.Weimer@RUS.Uni-Stuttgart.DE> writes:
> 
> > Does the termination of a task which is a component of a controlled
> > object really happen *before* the user-defined finalization subprogram
> > is called?  This is really surprising.  IMHO, both common sense and
> > 7.6.1(5) suggest that the task object has to be finalized *after* the
> > user-defined finalization subprogram has completed.
> 
> Kudos to Robert A. Duff, who explained me via email why my
> expectations were wrong.

I meant to post it, not email it.  Feel free to post my e-mail, if you
still have a copy, and think anybody might be interested.

>...  In short, I didn't know the concept of
> "masters" (and didn't read RM 9.3).
> 
> Maybe it's time to read another book.  Cohen's "Ada as a Second
> Language" doesn't help much in this area.  Is "Currency in Ada" (by
> Burns and Wellings) a good choice?

Yeah.  There's also John Barnes' book.

- Bob