From: wclodius@lanl.gov (William B. Clodius)
Subject: Re: Fortran or Ada?
Date: 1998/09/29
Date: 1998-09-29T00:00:00+00:00 [thread overview]
Message-ID: <wclodius-2909981741110001@clodius.lanl.gov> (raw)
In-Reply-To: 19980928.184428.604@yktvmv.watson.ibm.com
In article <19980928.184428.604@yktvmv.watson.ibm.com>,
jbs@yktvmv.watson.ibm.com wrote:
jbs@yktvmv.watson.ibm.com wrote:
> <snip>
> Converting floating point numbers to signed integers is
> certainly supported in Fortran. Technically 16 bit integers are not
> part of the language but they are an almost universal extension
> (integer*2). What happens on overflow will be implementation dependent.
> Raising an exception would be atypical.
On a safety critical system an overflow in a useful component of the
system indicates the loss of critical information. Any such loss is
dangerous and must be recognized and dealt with. Of course a non-useful
computation should not be performed so that all resources are put to
their best use.
> <snip>
> Ada did catch the exception and started dumping diagnostic
> information which was interpreted as navigational data causing the
> crash.
The programmers deliberately chose that method of dealing with the error
(or rather they deliberately chose to shut down a computer system
assuming the only fixable source of the problem was a computer hardware
problem where reliance on the backup was available.) Unfortunately the
problem occured in both computer subsystems.
> <snip>
>
> It appears to me that this implicates Ada in at least two
> respects:
> 1. It appears the developers were having trouble meeting their
> performance target tempting them to cut corners. Ada is of course
> notoriously inefficient.
Nonsence. On what do you base your judgement on Ada's inefficiency? It
is often more efficient than C, and usually comparable to Fortran. For
reasons of reliability computer systems on rockets and satellites are
implemented using processors that are several generations behind
commercial processors in performance. Also, there is always a tendency
to add features so that system utilization closely matches maximum
allowed utilization.
> 2. It appears there is no cheap way of turning off conversion
> error checking in Ada, tempting programmers to leave it active in
> inappropriate places.
> <snip>
While the default is to check errors, it is easy to identify postential
sources and turn them off. Note the programmers did that in several
cases, and deliberately chose not to do that in this case.
See
http://www.rvs.uni-bielefeld.de/~ladkin/Reports/ariane.html
next prev parent reply other threads:[~1998-09-29 0:00 UTC|newest]
Thread overview: 96+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <36068E73.F0398C54@meca.polymtl.ca>
1998-09-22 0:00 ` Fortran or Ada? Gisle S{lensminde
1998-09-22 0:00 ` Jeff Templon
1998-09-22 0:00 ` Rakesh Malhotra
1998-09-22 0:00 ` dewarr
1998-09-23 0:00 ` Jeff Templon
1998-09-23 0:00 ` Corey Minyard
1998-09-24 0:00 ` Craig Burley
1998-09-25 0:00 ` dewarr
1998-09-25 0:00 ` Jonathan Guthrie
1998-09-26 0:00 ` Craig Burley
1998-09-26 0:00 ` dewarr
1998-09-26 0:00 ` Craig Burley
1998-09-26 0:00 ` Robert B. Love
1998-09-24 0:00 ` Joel Seidman
1998-09-24 0:00 ` Marc A. Criley
1998-09-24 0:00 ` Jeff Templon
1998-09-25 0:00 ` dewarr
1998-09-25 0:00 ` Dale Stanbrough
1998-09-30 0:00 ` Daniel Barker
1998-09-30 0:00 ` Lawrence Kirby
1998-10-01 0:00 ` Aaron Crane
1998-10-02 0:00 ` Fortran or Ada or gobbledygook? Wes Groleau
1998-10-05 0:00 ` Fortran or Ada? Terry Devine
1998-09-24 0:00 ` dewarr
1998-09-24 0:00 ` Robert I. Eachus
1998-09-24 0:00 ` William Clodius
1998-09-25 0:00 ` dewarr
1998-09-25 0:00 ` dewarr
1998-09-25 0:00 ` Robert I. Eachus
1998-09-25 0:00 ` dewarr
1998-09-25 0:00 ` jbs
1998-09-26 0:00 ` dewarr
1998-09-28 0:00 ` jbs
1998-09-29 0:00 ` Dean F. Sutherland
1998-09-29 0:00 ` Dean F. Sutherland
1998-09-29 0:00 ` Gautier.DeMontmollin
1998-09-29 0:00 ` William B. Clodius [this message]
1998-09-30 0:00 ` jbs
1998-09-30 0:00 ` William Clodius
1998-09-30 0:00 ` dewarr
1998-09-30 0:00 ` jbs
1998-09-30 0:00 ` William Clodius
1998-10-03 0:00 ` Niklas Holsti
1998-10-03 0:00 ` Toon Moene
1998-10-03 0:00 ` Niklas Holsti
1998-10-03 0:00 ` Toon Moene
1998-10-04 0:00 ` Niklas Holsti
1998-10-05 0:00 ` Michel OLAGNON
1998-10-05 0:00 ` Ian St. John
1998-10-05 0:00 ` dewarr
1998-10-05 0:00 ` Ian St. John
1998-10-06 0:00 ` dewarr
1998-10-06 0:00 ` James Giles
1998-10-06 0:00 ` Mark A Biggar
1998-10-06 0:00 ` James Giles
1998-10-07 0:00 ` dewarr
1998-10-07 0:00 ` dewarr
1998-10-06 0:00 ` Toon Moene
1998-10-06 0:00 ` Jonathan Guthrie
1998-10-06 0:00 ` Ian St. John
1998-10-08 0:00 ` Gary L. Scott
1998-10-08 0:00 ` Offtopic Airport Diversion (Was: Fortran or Ada?) Harold Stevens ** PLEASE SEE SIG **
1998-10-08 0:00 ` Ian St. John
1998-10-05 0:00 ` Fortran or Ada? Richard D Riehle
1998-10-05 0:00 ` dewarr
1998-10-06 0:00 ` Michel OLAGNON
1998-10-07 0:00 ` Ian St. John
1998-09-29 0:00 ` Dean F. Sutherland
1998-10-02 0:00 ` Robert I. Eachus
1998-10-02 0:00 ` jbs
1998-10-02 0:00 ` William Clodius
1998-10-03 0:00 ` jbs
1998-10-03 0:00 ` Larry Elmore
1998-10-06 0:00 ` Robert I. Eachus
1998-10-06 0:00 ` Pat Rogers
1998-10-02 0:00 ` Geoff Bull
[not found] ` <6udre0$ha1$1@nnrp1.dejane <6utg60$h6l$1@nnrp1.dejanews.com>
1998-10-01 0:00 ` robin_v
1998-09-22 0:00 ` Corey Minyard
1998-09-22 0:00 ` Larry Kilgallen
1998-09-23 0:00 ` Frank Ecke
1998-09-23 0:00 ` bglbv
1998-09-23 0:00 ` Robert I. Eachus
1998-09-24 0:00 ` Richard D Riehle
1998-09-23 0:00 Marin David Condic, 561.796.8997, M/S 731-96
-- strict thread matches above, loose matches on Subject: below --
1998-09-23 0:00 Marin David Condic, 561.796.8997, M/S 731-96
1998-09-23 0:00 ` Gisle S{lensminde
1998-09-24 0:00 ` John McCabe
1998-09-24 0:00 ` Dean F. Sutherland
1998-09-24 0:00 ` Gisle S{lensminde
1998-09-24 0:00 ` Samuel T. Harris
1998-09-24 0:00 Walt Brainerd
1998-09-25 0:00 ` dewarr
1998-09-25 0:00 ` Robert I. Eachus
1998-10-05 0:00 Robert I. Eachus
1998-10-05 0:00 robin
1998-10-05 0:00 Condic, Marin D.
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox