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.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!cca!mirror!ishmael!ada-uts!stt
From: stt@ada-uts
Newsgroups: comp.lang.ada
Subject: Re: "Terminate but stay resident" inter
Message-ID: <57900052@ada-uts>
Date: Mon, 23-Nov-87 11:13:00 EST
Article-I.D.: ada-uts.57900052
Posted: Mon Nov 23 11:13:00 1987
Date-Received: Sun, 29-Nov-87 15:52:00 EST
References: <161225@<111387>
Nf-ID: #R:<111387:-16122500:ada-uts:57900052:000:555
Nf-From: ada-uts!stt    Nov 23 11:13:00 1987
List-Id: <comp.lang.ada>


The current (1.9) ACVC test suite includes
tests which require that library tasks are NOT
terminated by the completion of the main subprogram.
The operating system must wait for such tasks to complete
on their own or for all of them to reach terminate alternatives
before abandoning execution.

In particular c94004a.ada and c94004b.ada make it clear
that a library task must be allowed to complete.
These tests refer to (revised) AI-00399 which I presume
explains the rationale for this requirement.

-Tucker Taft
Intermetrics, Inc.
Cambridge, MA  02138