Ada vs. C, compiler optimization

Ada vs. C, compiler optimization

[Peter Hermann]

I am in search of a paper which describes the advantages of
Ada over C concerning optimization. It's size was 2 or 3 pages. 
Somebody remembers the source, the author, ... ?

-- 
Peter Hermann Tel+49-711-685-3611 Fax3758 ica2ph@csv.ica.uni-stuttgart.de
Pfaffenwaldring 27 Raum 114, D-70569 Stuttgart Uni Computeranwendungen
http://www.csv.ica.uni-stuttgart.de/homes/ph/
Team Ada: "C'mon people let the world begin" (Paul McCartney)

Re: Ada vs. C, compiler optimization

[Prof. Dr. Theodor Tempelmeier]

Maybe, C vs. Ada: Arguing Performance Religion by David Syiek,
In: On Target (Tartan), Spring 1995

Peter Hermann wrote:

> I am in search of a paper which describes the advantages of
> Ada over C concerning optimization. It's size was 2 or 3 pages.
> Somebody remembers the source, the author, ... ?
>
> --
> Peter Hermann Tel+49-711-685-3611 Fax3758 ica2ph@csv.ica.uni-stuttgart.de
> Pfaffenwaldring 27 Raum 114, D-70569 Stuttgart Uni Computeranwendungen
> http://www.csv.ica.uni-stuttgart.de/homes/ph/
> Team Ada: "C'mon people let the world begin" (Paul McCartney)

Re: Ada vs. C, compiler optimization

[Prof. Dr. Theodor Tempelmeier]

Maybe, C vs. Ada: Arguing Performance Religion by David Syiek,
In: On Target (Tartan), Spring 1995

Peter Hermann wrote:

> I am in search of a paper which describes the advantages of
> Ada over C concerning optimization. It's size was 2 or 3 pages.
> Somebody remembers the source, the author, ... ?
>
> --
> Peter Hermann Tel+49-711-685-3611 Fax3758 ica2ph@csv.ica.uni-stuttgart.de
> Pfaffenwaldring 27 Raum 114, D-70569 Stuttgart Uni Computeranwendungen
> http://www.csv.ica.uni-stuttgart.de/homes/ph/
> Team Ada: "C'mon people let the world begin" (Paul McCartney)

Re: Ada vs. C, compiler optimization

[Prof. Dr. Theodor Tempelmeier]

Maybe, C vs. Ada: Arguing Performance Religion by David Syiek,
In: On Target (Tartan), Spring 1995

Peter Hermann wrote:

> I am in search of a paper which describes the advantages of
> Ada over C concerning optimization. It's size was 2 or 3 pages.
> Somebody remembers the source, the author, ... ?
>
> --
> Peter Hermann Tel+49-711-685-3611 Fax3758 ica2ph@csv.ica.uni-stuttgart.de
> Pfaffenwaldring 27 Raum 114, D-70569 Stuttgart Uni Computeranwendungen
> http://www.csv.ica.uni-stuttgart.de/homes/ph/
> Team Ada: "C'mon people let the world begin" (Paul McCartney)

Re: Ada vs. C, compiler optimization

[Prof. Dr. Theodor Tempelmeier]

Maybe, C vs. Ada: Arguing Performance Religion by David Syiek,
In: On Target (Tartan), Spring 1995

Peter Hermann wrote:

> I am in search of a paper which describes the advantages of
> Ada over C concerning optimization. It's size was 2 or 3 pages.
> Somebody remembers the source, the author, ... ?
>
> --
> Peter Hermann Tel+49-711-685-3611 Fax3758 ica2ph@csv.ica.uni-stuttgart.de
> Pfaffenwaldring 27 Raum 114, D-70569 Stuttgart Uni Computeranwendungen
> http://www.csv.ica.uni-stuttgart.de/homes/ph/
> Team Ada: "C'mon people let the world begin" (Paul McCartney)

Re: Ada vs. C, compiler optimization

[Markus Kuhn]

> I am in search of a paper which describes the advantages of
> Ada over C concerning optimization.

From the Lovelace bibliography:

  Syiek, David. 1995. "C vs. Ada: Arguing Performance Religion",
  ACM Ada Letters, Nov/Dec 1995, pp. 67-69.
  This paper demonstrates that Ada and C programs run at about
  the same speed using compilers of approximately equal maturity,
  with Ada having a slight performance edge because the Ada
  compiler has more information to work with.

Markus

-- 
Markus G. Kuhn, Computer Laboratory, University of Cambridge, UK
Email: mkuhn at acm.org,  WWW: <http://www.cl.cam.ac.uk/~mgk25/>

Re: Ada vs. C, compiler optimization

[Steve O'Neill]

Markus Kuhn wrote:

> From the Lovelace bibliography:
>
>   Syiek, David. 1995. "C vs. Ada: Arguing Performance Religion",
>   ACM Ada Letters, Nov/Dec 1995, pp. 67-69.
>   This paper demonstrates that Ada and C programs run at about
>   the same speed using compilers of approximately equal maturity,
>   with Ada having a slight performance edge because the Ada
>   compiler has more information to work with.
>

Is this available on-line anywhere?

TIA,
Steve O'Neill

Re: Ada vs. C, compiler optimization

[Craig Franck]

mgk25@cl.cam.ac.uk (Markus Kuhn) wrote:
>> I am in search of a paper which describes the advantages of
>> Ada over C concerning optimization.
>
>From the Lovelace bibliography:
>
>  Syiek, David. 1995. "C vs. Ada: Arguing Performance Religion",
>  ACM Ada Letters, Nov/Dec 1995, pp. 67-69.
>  This paper demonstrates that Ada and C programs run at about
>  the same speed using compilers of approximately equal maturity,
>  with Ada having a slight performance edge because the Ada
>  compiler has more information to work with.

Does he mean other than the source code?

-- 
Craig
clfranck@worldnet.att.net
Manchester, NH
A man's most valuable trait is a judicious sense of
what not to believe.  -- Euripides

Re: Ada vs. C, compiler optimization

[Howard W LUDWIG]

Craig Franck wrote:

> mgk25@cl.cam.ac.uk (Markus Kuhn) wrote:
> >> I am in search of a paper which describes the advantages of
> >> Ada over C concerning optimization.
> >
> >From the Lovelace bibliography:
> >
> >  Syiek, David. 1995. "C vs. Ada: Arguing Performance Religion",
> >  ACM Ada Letters, Nov/Dec 1995, pp. 67-69.
> >  This paper demonstrates that Ada and C programs run at about
> >  the same speed using compilers of approximately equal maturity,
> >  with Ada having a slight performance edge because the Ada
> >  compiler has more information to work with.
>
> Does he mean other than the source code?
>

No!  This is the advantage several features which Ada provides and C
doesn't.

Control of name aliasing (via access types, a.k.a. pointers) is probably
the most important, in that in order to be referenceable by pointers as
well as its own identifier in Ada, an object must be declared as
aliased.  If it is not, the compiler is free to make safe assumptions
about its value not changing since the last assignment to that variable
and not reload its value.  In C, any object can be pointed to, and it is
much harder for a compiler to determine if an object has been modified
via a pointer since the last assignment to that object; the choices are
to generate slower code reloading the contents of that object from
memory into a register, or hope for the best (and sometimes be
drastically wrong) that the contents still in the register from the last
load are good.

Strong typing and range constraints built into Ada can also be analyzed
by the compiler and generate more efficient code than manually coded
constraint checking can.

> --
> Craig
> clfranck@worldnet.att.net
> Manchester, NH
> A man's most valuable trait is a judicious sense of
> what not to believe.  -- Euripides

Howard W. LUDWIG