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,ASCII-7-bit X-Google-Thread: 103376,8893269a4640c798 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-07-20 04:04:19 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!pln-w!extra.newsguy.com!lotsanews.com!cyclone-sf.pbi.net!216.218.192.242!news.he.net!newsfeed1.easynews.com!easynews.com!easynews!elnk-pas-nf1!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!stamper.news.atl.earthlink.net!harp.news.atl.earthlink.net!not-for-mail From: Marin David Condic Newsgroups: comp.lang.ada Subject: Re: terminate applications Date: Sun, 20 Jul 2003 07:04:15 -0400 Organization: MindSpring Enterprises Message-ID: <3F1A772F.9060708@noplace.com> References: <3F17DF3C.4080204@noplace.com> <3F196773.2060809@noplace.com> <3F19F86C.9050808@attbi.com> NNTP-Posting-Host: d1.56.a0.3e Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-Server-Date: 20 Jul 2003 11:04:18 GMT User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0.1) Gecko/20020823 Netscape/7.0 (OEM-HPQ-PRS1C03) X-Accept-Language: en-us, en Xref: archiver1.google.com comp.lang.ada:40520 Date: 2003-07-20T11:04:18+00:00 List-Id: Interesting, but not compelling because it just plain isn't terribly useful to the end user. If I want a simple call to shoot the entire program in the head, I don't want to study the Suma Theologica for several years to figure out what programming sin I committed that is keeping it from doing the thing I want done. :-) If there is some Theoretical Purity that must be maintained to task abortion, then so be it. Give me a Ada.Kill ("-9") ; subprogram call that will do what I want it to do - kill the program regardless of what the rest of it may be doing. All too often, Ada gets herself wrapped up in trying to maintain some sort of purity on some issue and totally forgets that someone out there needs a job done. Just like my desire to get saturated math gets shot down by those who insist its behavior is too ill defined for the standard. So what? Let it be ill defined. Its use in reality has beneficial effects as an error recovery mechanism. It gets used in reality all the time. All Ada succeeds in doing by maintaining this purity is to make itself less useful to the practitioner - who must now find some butt-ugly way around the problem. MDC Robert I. Eachus wrote: > > > I don't see why it should. It is a level of abstraction problem. If the > OS has threads that are "uninterruptable," that should be treated just > like an abort-deferred region in Ada. > -- ====================================================================== Marin David Condic I work for: http://www.belcan.com/ My project is: http://www.jast.mil/ Send Replies To: m c o n d i c @ a c m . o r g "In general the art of government consists in taking as much money as possible from one class of citizens to give to the other." -- Voltaire ======================================================================