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-Language: ENGLISH,CP1252
X-Google-Thread: 103376,8893269a4640c798
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-21 13:31:55 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!wn13feed!wn12feed!worldnet.att.net!204.127.198.203!attbi_feed3!attbi_feed4!attbi.com!sccrnsc01.POSTED!not-for-mail
Message-ID: <3F1C4DA6.3070405@attbi.com>
From: "Robert I. Eachus" <rieachus@attbi.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.0.2) Gecko/20021120 Netscape/7.01
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: terminate applications
References: <mailman.18.1058521718.24167.comp.lang.ada@ada.eu.org>
 <FlQRa.89768$H17.28202@sccrnsc02> <3F17DF3C.4080204@noplace.com>
 <KcURa.91888$H17.28020@sccrnsc02> <3F196773.2060809@noplace.com>
 <3F19F86C.9050808@attbi.com> <3F1A772F.9060708@noplace.com>
 <3F1AD6FB.8080806@attbi.com> <3F1BD666.6040506@noplace.com>
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 8bit
NNTP-Posting-Host: 66.31.71.243
X-Complaints-To: abuse@comcast.net
X-Trace: sccrnsc01 1058819514 66.31.71.243 (Mon, 21 Jul 2003 20:31:54 GMT)
NNTP-Posting-Date: Mon, 21 Jul 2003 20:31:54 GMT
Organization: Comcast Online
Date: Mon, 21 Jul 2003 20:31:54 GMT
Xref: archiver1.google.com comp.lang.ada:40583
Date: 2003-07-21T20:31:54+00:00
List-Id: <comp.lang.ada>

Marin David Condic wrote:
> Ada should have one of those  instructions or its tough to break into the
 > cruise missile business.

Hmmmm.  I was thinking of an implementation of the "kill -9" idiom that 
did not involve a few hundred pounds of high-explosive.  Something like:

abort; -- the environment task;
delay 3.0;
kill -9;

Of course, I can't express the real semantics in Ada, since the abort of 
the environment task will make all tasks abnormal, then the delay 
starts.  In Ada of course, the event of the timer expiring would never 
occur.  Besides if the abort does work, you don't want to wait the three 
seconds.  Maybe I can express it as an ATC:

select
   delay 3.0;
   OS_Call("kill -9");
then abort
   abort;
end select;

Nope, doesn't work.  The abort will complete when all tasks are 
abnormal.  At that point the delay statement can be aborted and the 
OS_Call never gets made...

-- 

                                                        Robert I. Eachus

�In an ally, considerations of house, clan, planet, race are 
insignificant beside two prime questions, which are: 1. Can he shoot? 2. 
Will he aim at your enemy?� -- from the Laiden novels by Sharon Lee and 
Steve Miller.