From: robert_dewar@my-dejanews.com
Subject: Re: should I be interested in ada?
Date: 1999/02/19
Date: 1999-02-19T00:00:00+00:00 [thread overview]
Message-ID: <7ajrpu$jpq$1@nnrp1.dejanews.com> (raw)
In-Reply-To: 36CD44CF.A61DAE96@erols.com
In article <36CD44CF.A61DAE96@erols.com>,
dnagle@erols.com wrote:
> Hello,
>
> Does Ada enforce anti-aliasing rules regarding the global
> variables?
The anti-aliasing rules are in some respects weaker,
although in other respects stronger (the stronger typing
for example allows better aliasing information to be
built). You can construct artificial examples which give
a theoretical optimization advantage in either direction.
How important this is in practice is anyone's guess.
> Do the Ada constructs which have been given as
> substitutes for Fortran 95 array syntax have an implied
> order of operation? If I say
>
> real, dimension( n, n) :: a, b
> ! f95-speak for 2 nxn arrays of reals
>
> and then say
>
> a = b ! f95 array assignment
>
> The order in which the assignments occur if unspecified.
Actually here Ada has an advantage, it does not even
see the assignment of b to a as a "series of assignment"
in any sense, Rather it is an assignment of a composite
object, and yes of course the compiler is free to achieve
this in any manner it pleases.
However, other aggregate operations in Fortran that imply
parallelism may not be so easy to model in Ada.
> I really am simply courious. I see many things in Ada
> which. I find attractive and I want to know about the
> optimization issues.
Nick proposed that "the high level language is
theoretically compltely immaterial [to the optimization
issue]", and that of course is completely wrong.
It is definitely the case that there are various
theoretical differences, but as always, the difficulty
with any optimization issues is knowing how much
difference it will make in practice, and that is
hard to know. Usually such theoretical differences
are swamped by other engineering issues, i.e. "other
things being equal" is a condition that is not in
practice easy to meet.
-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own
next prev parent reply other threads:[~1999-02-19 0:00 UTC|newest]
Thread overview: 89+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-02-14 0:00 should I be interested in ada? Phillip Helbig
1999-02-15 0:00 ` Marin David Condic
1999-02-23 0:00 ` David Starner
1999-02-15 0:00 ` Gautier
1999-02-16 0:00 ` Ken Thomas
1999-02-17 0:00 ` Nick Roberts
1999-02-18 0:00 ` robert_dewar
1999-02-18 0:00 ` Nick Roberts
1999-02-18 0:00 ` robert_dewar
1999-02-19 0:00 ` Nick Roberts
1999-02-19 0:00 ` robert_dewar
1999-02-19 0:00 ` Phillip Helbig
1999-02-19 0:00 ` dennison
1999-02-19 0:00 ` Nick Roberts
1999-02-20 0:00 ` robert_dewar
1999-02-22 0:00 ` Nick Roberts
1999-02-19 0:00 ` William Clodius
1999-02-19 0:00 ` robert_dewar
1999-02-19 0:00 ` Nick Roberts
1999-02-20 0:00 ` robert_dewar
1999-02-20 0:00 ` Steve Doiel
1999-02-20 0:00 ` robert_dewar
1999-02-22 0:00 ` dennison
1999-02-22 0:00 ` Nick Roberts
1999-02-23 0:00 ` Robert I. Eachus
1999-02-24 0:00 ` White rabbit (was: should I be interested in ada?) dennison
1999-02-25 0:00 ` Alice books " JP Thornley
1999-02-25 0:00 ` Robert I. Eachus
1999-02-19 0:00 ` should I be interested in ada? William Clodius
1999-02-18 0:00 ` Jerry Petrey
1999-02-18 0:00 ` fraser
1999-02-19 0:00 ` Matthew Heaney
1999-02-20 0:00 ` fraser
1999-02-18 0:00 ` Nick Roberts
1999-02-18 0:00 ` Dan Nagle
1999-02-18 0:00 ` nabbasi
1999-02-19 0:00 ` Nick Roberts
1999-02-19 0:00 ` robert_dewar
1999-02-19 0:00 ` Nick Roberts
1999-02-19 0:00 ` William Clodius
1999-02-20 0:00 ` Nick Roberts
1999-02-21 0:00 ` robert_dewar
1999-02-21 0:00 ` William Clodius
1999-02-22 0:00 ` Nick Roberts
1999-02-19 0:00 ` robert_dewar
1999-02-21 0:00 ` William Clodius
1999-02-23 0:00 ` Robert I. Eachus
1999-02-19 0:00 ` Dan Nagle
1999-02-19 0:00 ` robert_dewar [this message]
1999-02-19 0:00 ` Dan Nagle
1999-02-19 0:00 ` Nick Roberts
1999-02-23 0:00 ` Peter Hermann
1999-02-18 0:00 ` Joel Seidman
1999-02-18 0:00 ` William Clodius
1999-02-18 0:00 ` robert_dewar
1999-02-19 0:00 ` William Clodius
1999-02-19 0:00 ` Nick Roberts
1999-02-20 0:00 ` robert_dewar
1999-02-22 0:00 ` Nick Roberts
1999-02-22 0:00 ` William Clodius
1999-02-23 0:00 ` robert_dewar
1999-02-23 0:00 ` Nick Roberts
1999-02-22 0:00 ` William Clodius
1999-02-23 0:00 ` Nick Roberts
1999-02-23 0:00 ` William Clodius
1999-02-25 0:00 ` Nick Roberts
1999-02-25 0:00 ` robert_dewar
1999-02-23 0:00 ` Robert I. Eachus
1999-02-24 0:00 ` William Clodius
1999-02-24 0:00 ` Nick Roberts
1999-02-26 0:00 ` Robert A Duff
1999-02-27 0:00 ` Semantic info pragmas (was: should I be interested in ada?) Nick Roberts
1999-03-01 0:00 ` Samuel Tardieu
1999-03-01 0:00 ` Robert A Duff
1999-02-24 0:00 ` should I be interested in ada? William Clodius
1999-02-25 0:00 ` Nick Roberts
1999-02-25 0:00 ` robert_dewar
1999-02-26 0:00 ` Nick Roberts
1999-02-18 0:00 ` nabbasi
1999-02-18 0:00 ` robert_dewar
1999-02-18 0:00 ` robert_dewar
1999-02-18 0:00 ` Nick Roberts
1999-02-18 0:00 ` William Clodius
1999-02-18 0:00 ` dennison
1999-02-20 0:00 ` Hartmut H. Schaefer
1999-02-20 0:00 ` bill
1999-02-21 0:00 ` dewar
1999-02-21 0:00 ` dewar
1999-02-22 0:00 ` dennison
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox