From: "Elias Salomão Helou Neto" <eshneto@gmail.com>
Subject: Re: Efficiency of code generated by Ada compilers
Date: Fri, 13 Aug 2010 08:10:37 -0700 (PDT)
Date: 2010-08-13T08:10:37-07:00 [thread overview]
Message-ID: <12ce49e6-169e-4e35-b82f-27de0d9b1ceb@t20g2000yqa.googlegroups.com> (raw)
In-Reply-To: 61f149b9-00ff-40cd-9698-01e69fdc5c0f@v15g2000yqe.googlegroups.com
On Aug 13, 12:08 pm, Elias Salomão Helou Neto <eshn...@gmail.com>
wrote:
> On Aug 12, 5:21 pm, "(see below)" <yaldni...@blueyonder.co.uk> wrote:
>
>
>
>
>
> > On 12/08/2010 20:23, in article m28w4bfxdy....@pushface.org, "Simon Wright"
>
> > <si...@pushface.org> wrote:
> > > csamp...@inetworld.net (Charles H. Sampson) writes:
>
> > >> Simon Wright <si...@pushface.org> wrote:
>
> > >>> csamp...@inetworld.net (Charles H. Sampson) writes:
>
> > >>>> I then overloaded "+" and "-" for (Bearing, Turn_Angle) arguments
> > >>>> and Bearing return value. In those functions is where the mod 360
> > >>>> occurred. (Actually, mod 360.0, as it were.)
>
> > >>> Depending on what is doing the turning, in our application that would
> > >>> in some cases have to be mod 720.0 ...
>
> > >> I'm puzzled. Unless you're very careful, intermediate calculations
> > >> could result in a quasi-Bearing of more than 360 degrees but I'm pretty
> > >> sure most programmers on my project would have been surprised to see a
> > >> real bearing of 360 degrees or more.
>
> > > A tracker radar like this one (hope the link will work) might be able to
> > > turn through an unlimited number of revolutions, or (with a more
> > > mechanical design) there might be a limit on how many revs it could
> > > manage. So if it's currently pointing 10 degrees to starboard, how much
> > > further can it go before having to unwind?
>
> > > I agree that this is Training, not Bearing, of course.
>
> > >http://www.artisan3d.co.uk/static/bae_cimg_radar_Fi_latestReleased_ba...
> > > dar_Fi_Web.jpg
>
> > I think quantum mechanics codes would require angles mod 720 for spin 1/2
> > particles. 8-)
>
> > --
> > Bill Findlay
> > <surname><forename> chez blueyonder.co.uk
>
> Well, we are definitely drifting away from the original question. So
> much that I am considering to give up reading answers from this
> post...
>
> Anyway, someone prematurely implied that I may be doing premature
> optimization. The fact is that I do know, from profiling, how
> important is _not_ to range check in my specific application, so I
> will try to give you a "bottom line" of what have been said that
> really matters to me.
>
> 1) You can, in more than one way, tell the compiler to suppress most
> (any?) checks, but people do not advise to do so. Even if I say that I
> do need that :(
>
> 2) It is not necessary for the compiler to actually suppress any
> checking! It seems that the LRM demands the compiler to allow you to
> misunderstood something here.
>
> I am having a fairly good impression of Ada's features, but the effort
> it would take to learn the language may eventually not pay off.
>
> Thank you,
> Elias.
>
> P.S: Multidimensional _arrays_ are not multidimensional _matrices_
> neither are them MD _images_. The two latter are far more specific
> classes and the last case even needs to be templated in, say, pixel
> type, etc.
Sorry, but where it is written
> ask for the suppression, but it does mandate the compiler to actually
> skip such checks. Well, this is, to say the least, funny - unless I
you should read
ask for the suppression, but it does NOT mandate the compiler to
actually
skip such checks. Well, this is, to say the least, funny - unless I
Sorry again,
Elias.
next prev parent reply other threads:[~2010-08-13 15:10 UTC|newest]
Thread overview: 94+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-06 20:21 Efficiency of code generated by Ada compilers Elias Salomão Helou Neto
2010-08-06 20:24 ` (see below)
2010-08-06 23:14 ` Shark8
2010-08-07 7:53 ` Dmitry A. Kazakov
2010-08-10 13:52 ` Elias Salomão Helou Neto
2010-08-10 14:24 ` Shark8
2010-08-10 14:28 ` Shark8
2010-08-10 15:01 ` Robert A Duff
2010-08-10 15:14 ` Yannick Duchêne (Hibou57)
2010-08-10 18:32 ` Robert A Duff
2010-08-10 15:10 ` Georg Bauhaus
2010-08-10 15:32 ` Dmitry A. Kazakov
2010-08-10 22:26 ` Randy Brukardt
2010-08-20 7:22 ` Yannick Duchêne (Hibou57)
2010-08-08 14:03 ` Gene
2010-08-08 15:49 ` Robert A Duff
2010-08-08 17:13 ` Charles H. Sampson
2010-08-08 18:11 ` Dmitry A. Kazakov
2010-08-08 20:51 ` Robert A Duff
2010-08-08 22:10 ` (see below)
2010-08-08 22:22 ` Robert A Duff
2010-08-09 4:46 ` Yannick Duchêne (Hibou57)
2010-08-09 5:52 ` J-P. Rosen
2010-08-09 13:28 ` Robert A Duff
2010-08-09 18:42 ` Jeffrey Carter
2010-08-09 19:05 ` Robert A Duff
2010-08-10 10:00 ` Jacob Sparre Andersen
2010-08-10 12:39 ` Robert A Duff
2010-08-09 19:33 ` Yannick Duchêne (Hibou57)
2010-08-09 21:42 ` Robert A Duff
2010-08-10 12:26 ` Phil Clayton
2010-08-10 12:57 ` Yannick Duchêne (Hibou57)
2010-08-10 14:03 ` Elias Salomão Helou Neto
2010-08-10 14:27 ` Yannick Duchêne (Hibou57)
2010-08-10 22:50 ` anon
2010-08-10 23:28 ` Yannick Duchêne (Hibou57)
2010-08-10 23:38 ` Yannick Duchêne (Hibou57)
2010-08-11 7:06 ` Niklas Holsti
2010-08-11 11:58 ` anon
2010-08-11 12:37 ` Georg Bauhaus
2010-08-11 13:13 ` Robert A Duff
2010-08-11 23:49 ` Randy Brukardt
2010-08-10 14:31 ` Shark8
2010-08-11 7:14 ` Charles H. Sampson
2010-08-11 6:42 ` Charles H. Sampson
2010-08-08 22:35 ` tmoran
2010-08-09 13:53 ` Robert A Duff
2010-08-09 17:59 ` tmoran
2010-08-09 19:36 ` Yannick Duchêne (Hibou57)
2010-08-09 21:38 ` Robert A Duff
2010-08-11 7:42 ` Charles H. Sampson
2010-08-11 13:38 ` Robert A Duff
2010-08-12 7:48 ` Charles H. Sampson
2010-08-12 8:08 ` Ludovic Brenta
2010-08-12 17:10 ` Charles H. Sampson
2010-08-12 18:06 ` Jeffrey Carter
2010-08-11 18:49 ` Simon Wright
2010-08-12 7:54 ` Charles H. Sampson
2010-08-12 8:36 ` Dmitry A. Kazakov
2010-08-12 11:04 ` Brian Drummond
2010-08-12 19:23 ` Simon Wright
2010-08-12 20:21 ` (see below)
2010-08-13 15:08 ` Elias Salomão Helou Neto
2010-08-13 15:10 ` Elias Salomão Helou Neto [this message]
2010-08-13 18:01 ` Georg Bauhaus
2010-08-13 19:52 ` Robert A Duff
2010-08-14 9:44 ` Georg Bauhaus
2010-08-13 20:22 ` Robert A Duff
2010-08-14 1:34 ` Randy Brukardt
2010-08-14 7:18 ` anon
2010-08-13 21:57 ` Jeffrey Carter
2010-08-13 22:37 ` Yannick Duchêne (Hibou57)
2010-08-13 22:43 ` Yannick Duchêne (Hibou57)
2010-08-13 23:29 ` tmoran
2010-08-14 0:02 ` Yannick Duchêne (Hibou57)
2010-08-14 0:16 ` (see below)
2010-08-14 10:47 ` Brian Drummond
2010-08-14 13:58 ` Yannick Duchêne (Hibou57)
2010-08-15 0:23 ` Brian Drummond
2010-08-14 14:51 ` (see below)
2010-08-15 0:58 ` Brian Drummond
2010-08-15 1:58 ` (see below)
2010-08-15 10:31 ` Brian Drummond
2010-08-13 15:37 ` Dmitry A. Kazakov
2010-08-16 13:29 ` Elias Salomão Helou Neto
2010-08-16 14:09 ` Dmitry A. Kazakov
2010-08-18 14:00 ` Elias Salomão Helou Neto
2010-08-18 16:38 ` Dmitry A. Kazakov
2010-08-19 18:52 ` Elias Salomão Helou Neto
2010-08-19 19:48 ` Dmitry A. Kazakov
2010-08-13 16:58 ` (see below)
2010-08-14 16:13 ` Charles H. Sampson
2010-08-16 13:45 ` Elias Salomão Helou Neto
2010-08-15 12:32 ` Florian Weimer
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox