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 05:02:52 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!newshub.sdsu.edu!elnk-nf2-pas!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: Mon, 21 Jul 2003 08:02:46 -0400 Organization: MindSpring Enterprises Message-ID: <3F1BD666.6040506@noplace.com> References: <3F17DF3C.4080204@noplace.com> <3F196773.2060809@noplace.com> <3F19F86C.9050808@attbi.com> <3F1A772F.9060708@noplace.com> <3F1AD6FB.8080806@attbi.com> NNTP-Posting-Host: d1.56.b9.1b Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-Server-Date: 21 Jul 2003 12:02:51 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:40550 Date: 2003-07-21T12:02:51+00:00 List-Id: Sure, its possible that an uberkill could leave a database corrupt - especially one that didn't properly implement the concept of a "transaction" that keeps things pending until there is a "commit". But just because one can imagine some corner-case in which an uberkill might make a mess of things doesn't mean it shouldn't exist. Sometimes one has to trust the programmer not to do something stupid with a language feature. Yes, a clean shutdown is desirable. I suspect where I have my program hanging trying to terminate the environment task is within some OS fault - or "feature". But so long as the user has a control-C key on his keyboard, there exists the possibility of a direct headshot to a program, so it must be possible to do that from under program control. People invented those sorts of things for a reason. Sometimes, its a good thing to be able to kill some runaway program. Sometimes its convenient to say "I'm done with you now and I don't care what you're doing, just stop and go away...." Perhaps programs of better (or at least different) design might not require such a feature, but that doesn't mean it shouldn't exist. I know Ada tends to dislike features that might in some way be "dangerous", but absolute safety is for people who don't have the testicular fortitude to live in the real world. :-) It is probably wise not to have the ability to create pointers capabile of pointing to anything because it is "dangerous" - but mostly because the programmer doesn't really have much need to do so. Alternatives exist and only someone stuck in a C idiom would find it difficult to get the job done without it. But when programming a cruise missile, sooner or later you need to execute the "Ignite the explosives" instruction and pretty much by definition, that's "dangerous". ;-) Ada should have one of those instructions or its tough to break into the cruise missile business. MDC Robert I. Eachus wrote: > > But note that this cannot and should not be the normal behaviour of > aborting the environment task, or any task. This is not ideological > purity. Think of it this way. Using your �berkill on a program that > interfaces to a database will not only kill the program, it will break > transactions and corrupt the database. Yes, cycling the power can do > the same thing, but correctly written Ada programs will not, even if the > main program is aborted. (It will of course abort transactions in > progress, which is fine. But the (correct) use of abort deferred > regions will allow the main program to be aborted cleanly without > corrupting any external files. > -- ====================================================================== 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 ======================================================================