From: agate!usenet.ins.cwru.edu!magnus.acs.ohio-state.edu!zaphod.mps.ohio-state .edu!cis.ohio-state.edu!news.sei.cmu.edu!ae@ucbvax.Berkeley.EDU (Arthur Evans)
Subject: Re: Open Systems closed to Ada?
Date: 13 Dec 92 20:15:15 GMT [thread overview]
Message-ID: <1992Dec13.151515.27646@sei.cmu.edu> (raw)
mfeldman@seas.gwu.edu (Michael Feldman) says:
>> My experience is that the projects are sufficiently complex that the
>> numbers can be cooked to show savings or lack of savings according to
>> the motive of the writer. Lots of people are trying to show that Ada
>> saves money, and because they want these numbers to come out right,
>> they do. Others want just as desperately to show no savings, and I'm
>> sure the numbers would come out their way too. Maybe I'm too cynical,
>> but I don't put all that much faith in these arguments, one way or
>> the other.
True, of course. Nonetheless, the paper "Ada Outperforms Assembly: A
Case Study" (citation below) given at TRI-Ada '92 last month is surely
relevant. I quote the abstract in its entirety:
With the intent of getting an Ada waiver, a defense contractor wrote
a portion of its software in Ada to prove that Ada could not produce
real-time code. The expectation was that the resultant machine code
would be too large and too slow to be effective for a communications
application. However, the opposite was verified. With only minor
source code variations, one version of the compiled Ada code was
much smaller while executing at the same speed, and a second version
was approximately the same speed but much faster than the
corresponding assembly code.
What was interesting here is that they intended to prove Ada inadequate
and ended up proving just the opposite, somewhat to their initial
dismay. Details are in the paper, which I commend to your attention.
Here are two quotes from the paper, both being paragraphs quoted in
their entirety:
How can a compiler for a high-order language beat assembly code in
both size and performance? It is because of a reasonably high level
of maturity on the part of compiler development in general and the
compiler vendor in specific. When a vendor brings a wealth of
experience to bear on optimization, it goes beyond the capabilities
of any one individual, no matter how experienced.
QRS [the pseudonym for the defense contractor, which is not
identified] is convinced. It has now decided to use Ada extensively
because it believes the use of Ada will provide the company with a
competitive edge in the market place.
The paper is by Patricia K Lawlis and Terance W Elem and appears on
pages 334-337 of the Conference Proceedings. I suspect that you can get
a reprint from Tartan, which is rather proud of the fact that their
compiler was used.
Art Evans
----------------------------------------------
Arthur Evans, Jr, PhD Ada Consultant
461 Fairview Road
Pittsburgh PA 15238-1933
412-963-0839
ae@sei.cmu.edu
next reply other threads:[~1992-12-13 20:15 UTC|newest]
Thread overview: 48+ messages / expand[flat|nested] mbox.gz Atom feed top
1992-12-13 20:15 Arthur Evans [this message]
-- strict thread matches above, loose matches on Subject: below --
1992-12-16 21:45 Open Systems closed to Ada? agate!usenet.ins.cwru.edu!magnus.acs.ohio-state.edu!cis.ohio-state.edu!pa
1992-12-16 15:10 David Emery
1992-12-15 19:45 Pete Carah
1992-12-14 17:28 agate!spool.mu.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!cs.utexas.edu!csc.ti.com!tilde.csc.ti.com!mksol!mccall
1992-12-14 17:21 agate!spool.mu.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!cs.utexas.edu!csc.ti.com!tilde.csc.ti.com!mksol!mccall
1992-12-14 17:09 agate!spool.mu.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!cs.utexas.edu!csc.ti.com!tilde.csc.ti.com!mksol!mccall
1992-12-12 4:45 Michael Feldman
1992-12-11 21:25 Michael Feldman
1992-12-11 21:04 agate!stanford.edu!kronos.arc.nasa.gov!butch!iscnvx!news
1992-12-11 18:35 Robert I. Eachus
1992-12-11 13:16 agate!spool.mu.edu!uwm.edu!cs.utexas.edu!csc.ti.com!tilde.csc.ti.com!mkso
1992-12-11 13:03 agate!spool.mu.edu!uwm.edu!cs.utexas.edu!csc.ti.com!tilde.csc.ti.com!mkso
1992-12-11 12:55 agate!spool.mu.edu!uwm.edu!cs.utexas.edu!csc.ti.com!tilde.csc.ti.com!mkso
1992-12-11 12:45 agate!spool.mu.edu!uwm.edu!cs.utexas.edu!csc.ti.com!tilde.csc.ti.com!mkso
1992-12-10 18:03 Rob Spray
1992-12-09 5:42 Michael Feldman
1992-12-09 5:34 Michael Feldman
1992-12-09 5:26 Michael Feldman
1992-12-08 15:09 Mark Breland
1992-12-08 14:58 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!usc!enterpoop.mit.edu!linus!
1992-12-08 9:49 cis.ohio-state.edu!magnus.acs.ohio-state.edu!csn!raven!rcd
1992-12-08 9:35 dog.ee.lbl.gov!hellgate.utah.edu!caen!uwm.edu!linac!pacific.mps.ohio-stat
1992-12-07 23:29 Robert I. Eachus
1992-12-07 21:59 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!sdd.hp.com!elroy.jpl.nasa.go
1992-12-07 21:57 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!sdd.hp.com!elroy.jpl.nasa.go
1992-12-07 17:57 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!cs.utexas.edu!sdd.hp.com!apo
1992-12-07 17:15 Michael Feldman
1992-12-07 14:49 mcsun!uknet!yorkohm!minster!mjl-b
1992-12-06 23:05 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!eff!wor
1992-12-05 23:12 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!darwin.sura.net!wupost!cs.ut
1992-12-04 18:58 cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!agate!li
1992-12-04 16:59 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!cs.utexas.edu!csc.ti.com!til
1992-12-04 16:33 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!cs.utexas.edu!csc.ti.com!til
1992-12-04 8:20 Jim Lonjers
1992-12-04 8:12 Jim Lonjers
1992-12-04 7:48 Jim Lonjers
1992-12-03 19:24 Open Systems closed to ADA? Alvin Starr
1992-12-03 17:25 Open Systems closed to Ada? mcsun!uknet!yorkohm!minster!mjl-b
1992-12-02 16:47 david.c.willett
1992-12-02 16:38 Robert I. Eachus
1992-12-02 6:42 Alex Blakemore
1992-12-02 4:02 Gregory Aharonian
1992-12-02 3:39 Gregory Aharonian
1992-12-01 23:07 dog.ee.lbl.gov!overload.lbl.gov!agate!biosci!uwm.edu!zaphod.mps.ohio-stat
1992-12-01 21:44 mcsun!uknet!yorkohm!minster!mjl-b
1992-12-01 13:54 dog.ee.lbl.gov!overload.lbl.gov!agate!spool.mu.edu!wupost!cs.utexas.edu!m
1992-11-27 12:27 mcsun!uknet!yorkohm!minster!mjl-b
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox