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,f55a4f84e352c8ec X-Google-Attributes: gid103376,public From: "Mike Silva" Subject: Re: Ariane (yet again...) Date: 2000/01/20 Message-ID: #1/1 X-Deja-AN: 575419471 References: <3882120e_3@news.jps.net> <38864C08.E9C68954@Raytheon.com> <200001200846.JAA16576@xs4.xs4all.nl> <388760A5.9E3A9F32@Raytheon.com> X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3 X-Complaints-To: news@wenet.net X-Trace: news.wenet.net 948401548 206.169.137.33 (Thu, 20 Jan 2000 12:52:28 PST) X-Received-Date: Thu, 20 Jan 2000 12:52:52 PST (newsfeed.avtel.net) NNTP-Posting-Date: Thu, 20 Jan 2000 12:52:28 PST Newsgroups: comp.lang.ada Date: 2000-01-20T00:00:00+00:00 List-Id: Samuel T. Harris wrote in message <388760A5.9E3A9F32@Raytheon.com>... > >A GoTo.com search on +ariane +5 +crash +report yields >the following URLs ... > >http://www.siam.org/siamnews/general/ariane.htm >http://java.sun.com/people/jag/Ariane5.html > >... reading these will correct any errors I may have >introduced in my prior summary. > >BTW this is one of my favorite examples of Ada bashers >getting egg on their face! Many were quick to blame >Ada when this was in fact a management problem which >was negligent in their reuse strategy, namely doing >nothing at all to verify the reused components in >a new environment. Yes, the whole question came up again when somebody asserted that Ada's runtime checks "caused" the Ariane-5 fireworks. Eventually it worked around to the question of what exactly the report meant when it said "The data conversion instructions (in Ada code) were not protected from causing an Operand Error." Later it is implied that there is a performance cost to "protection", and what I was asking was what was the form of this protection. At first glance it would seem that *not* having protection (i.e. having the runtime check the results of the conversion) would have more performance cost than having protection, if this meant not having the runtime check the results. Since the report implies the opposite I was wondering what form the protection took. The one answer I got was that the "protection" was having a local exception handler deal with the conversion, but then, if no exception occurs there's no cost. An explicitly-coded "precheck" of the variable before conversion would, OTOH, always have a performance cost. Sure wish I could see the code... Mike