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: Florian Weimer Subject: Re: Finalization of record components which are tasks Date: 2000/03/03 Message-ID: #1/1 X-Deja-AN: 592634490 Sender: rusfw@mercury.rus.uni-stuttgart.de References: Organization: Comp.Center (RUS), U of Stuttgart, FRG Content-Type: text/plain; charset=us-ascii User-Agent: Gnus/5.0804 (Gnus v5.8.4) Emacs/20.5 Mime-Version: 1.0 Newsgroups: comp.lang.ada Date: 2000-03-03T00:00:00+00:00 List-Id: Florian Weimer 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/