comp.lang.ada
 help / color / mirror / Atom feed
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

             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