From: Florian Weimer <Florian.Weimer@RUS.Uni-Stuttgart.DE>
Subject: Re: Finalization of record components which are tasks
Date: 2000/03/03
Date: 2000-03-03T00:00:00+00:00 [thread overview]
Message-ID: <tg9000fe58.fsf@mercury.rus.uni-stuttgart.de> (raw)
In-Reply-To: tgr9dtixlk.fsf@mercury.rus.uni-stuttgart.de
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. 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?
--
Florian Weimer Florian.Weimer@RUS.Uni-Stuttgart.DE
RUS-CERT, Univ. Stuttgart http://cert.uni-stuttgart.de/
next prev parent reply other threads:[~2000-03-03 0:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-03-02 0:00 Finalization of record components which are tasks Florian Weimer
2000-03-02 0:00 ` Robert A Duff
2000-03-03 0:00 ` Florian Weimer [this message]
2000-03-03 0:00 ` Robert A Duff
-- strict thread matches above, loose matches on Subject: below --
2000-03-03 0:00 Christoph Grein
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox