comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Floating point problem
Date: 1997/03/28
Date: 1997-03-28T00:00:00+00:00	[thread overview]
Message-ID: <dewar.859583580@merv> (raw)
In-Reply-To: 1997Mar28.095005.1@eisner


<<Personally I don't have much need for floating point on machines
without hardware floating point.  My only concern is that generated
code fail in a highly predictable fashion if the environment is not
correct in such a major fashion as this.  If my program makes
no explicit calls to floating point and the runtime library is
going to fail in the absence of floating point, I would think
that automatic detection would be in order.

Considering that the Ada software environment is one where
the type of the argument must match the the formal argument
more closely than in any other language, I would expect the
match between the hardware environment and the required
hardware environment would also be carefully checked on
a non-optional basis.>>

Who knows what particular hardware a particular program might require.
So far, we have had no one who has had an interest in this kind of
ayutomatic detection. Note that doing it automatically is far from
trivial, since you have to arrange to reliably trap the fpt operations
and field the traps -- it's just something that is not on our current
list of requirements. We have relatively few serious customers using
low end machines, and none interested in their software working on
a 486sx or rather, as Larry discusses, NOT working "reliably".

If you do want to add this check to your software, or to check for
any other hardware, it is easy enough to do, the cookbook recipe for
checking for the presence of an fpt processor is in the Intel docs.

Going back to our requirements. Right now, virtually all our x86
customers are developing in environments which would not feasibly
run on non-fpt machines in the first place. The first exception will
be for embedded x86 targets, and there we definitely will address
the problem (since some of these targets have no fpt).

I never heard of any serious developer using Unix, OS/2 or NT on
a 486SX class machine, given that reasonable machines can be obtained
for well under $1000 these days, it seems unlikely, as I mentioned
before, that those working on SX class machines are likely to be
a source of a critical customer base!

Actually I would guess that Larry is not in fact concerned about trying
to use GNAt in that environment for his own use, but is rather operating
in "gadfly" mode, which is fine, people are always free to suggest all
sorts of things for GNAT, and occasionally the suggestions are good ones
which can influence what we do, even if no immediate $$$ are involved, so
it's fine to make suggestions.

But I am afraid that working to make GNAT more reliable on low end obsolte
machines running low end x86 operating systems is NOT likely to be on our
work schedule in the forseeable future!





  parent reply	other threads:[~1997-03-28  0:00 UTC|newest]

Thread overview: 52+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-03-27  0:00 Floating point problem Kees de Lezenne Coulande
1997-03-28  0:00 ` Robert Dewar
1997-03-28  0:00   ` Larry Kilgallen
1997-03-28  0:00     ` Tom Moran
1997-03-28  0:00     ` Robert Dewar [this message]
1997-03-29  0:00       ` Tom Moran
1997-03-30  0:00         ` Larry Kilgallen
1997-03-31  0:00           ` Robert Dewar
1997-04-01  0:00             ` Larry Kilgallen
1997-04-01  0:00               ` Tom Moran
1997-04-02  0:00                 ` Larry Kilgallen
1997-04-02  0:00                   ` Robert Dewar
1997-04-03  0:00                     ` Jerry van Dijk
1997-04-03  0:00                       ` Jerry van Dijk
1997-04-03  0:00                         ` Jerry van Dijk
1997-04-02  0:00               ` Robert Dewar
1997-03-31  0:00         ` Robert Dewar
1997-03-31  0:00           ` Tom Moran
1997-03-31  0:00             ` Robert Dewar
1997-03-28  0:00 ` J-P. Rosen
1997-03-28  0:00   ` Robert Dewar
  -- strict thread matches above, loose matches on Subject: below --
1997-02-26  0:00 floating " bill
1997-03-02  0:00 ` Corbin Dunn
1997-03-02  0:00   ` tmel
1997-03-02  0:00     ` Robert Dewar
1997-03-03  0:00 ` Kenneth W. Sodemann
1997-03-04  0:00   ` Robert Dewar
1997-03-05  0:00     ` Larry Kilgallen
1997-03-05  0:00       ` Robert Dewar
1997-03-06  0:00         ` Larry Kilgallen
1997-03-09  0:00           ` Robert Dewar
1997-03-10  0:00             ` Fergus Henderson
1997-03-10  0:00               ` Robert Dewar
1997-03-10  0:00                 ` Larry Kilgallen
1997-03-12  0:00                   ` Robert Dewar
1997-03-12  0:00                     ` Joel VanLaven
1997-03-12  0:00                       ` Robert Dewar
1997-03-12  0:00                     ` Larry Kilgallen
1997-03-13  0:00                       ` Robert Dewar
1997-03-14  0:00                         ` Larry Kilgallen
1997-03-15  0:00                           ` Robert Dewar
1997-03-13  0:00                     ` Kenneth W. Sodemann
1997-03-15  0:00                       ` Robert Dewar
1997-03-16  0:00                         ` Larry Kilgallen
1997-03-06  0:00     ` Geert Bosch
1997-03-06  0:00       ` Robert Dewar
1997-03-06  0:00       ` Fergus Henderson
1997-03-06  0:00         ` Scott Ingram
1997-03-17  0:00   ` Robert I. Eachus
1997-03-17  0:00     ` Robert Dewar
1997-03-17  0:00   ` Tom Moran
1997-03-18  0:00   ` Robert I. Eachus
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox