 |
C++Talk.NET C++ language newsgroups
|
| View previous topic :: View next topic |
| Author |
Message |
JS Guest
|
Posted: Tue Dec 14, 2004 3:00 am Post subject: small numerical differences in floating point result between |
|
|
We have the same floating point intensive C++ program that runs on
Windows on Intel chip and on Sun Solaris on SPARC chips. The program
reads the exactly the same input files on the two platforms. However,
they generate slightly different results for floating point numbers.
Are they really supposed to generate exactly the same results? I
guess so because both platforms are supposed to be IEEE floating point
standard (754?) compliant. I have turned on the Visual C++ compile
flags which will make sure the Windows produce standard compliant code
(the /Op flags). However, they still produce different results. I
suspect that this may be due to a commerical mathematical library that
we use which can't be compiled using /Op option. If I had recompiled
everything using /Op option, the two should have produced the same
results.
Am I right?
Thanks a lot.
|
|
| Back to top |
|
 |
Victor Bazarov Guest
|
Posted: Tue Dec 14, 2004 3:12 am Post subject: Re: small numerical differences in floating point result bet |
|
|
"JS" <someone (AT) somewhere (DOT) com> wrote...
| Quote: | We have the same floating point intensive C++ program that runs on
Windows on Intel chip and on Sun Solaris on SPARC chips. The program
reads the exactly the same input files on the two platforms. However,
they generate slightly different results for floating point numbers.
Are they really supposed to generate exactly the same results?
|
Not really.
| Quote: | I
guess so because both platforms are supposed to be IEEE floating point
standard (754?) compliant.
|
Yes, but they go about making calculations differently.
| Quote: | I have turned on the Visual C++ compile
flags which will make sure the Windows produce standard compliant code
(the /Op flags). However, they still produce different results. I
suspect that this may be due to a commerical mathematical library that
we use which can't be compiled using /Op option. If I had recompiled
everything using /Op option, the two should have produced the same
results.
Am I right?
|
Hard to say. However, it is well known that floating point numbers
and calculations involving those are different on different hardware
platforms. And, yes, as a result, math libraries and math functions
in the standard library can differ slightly.
V
|
|
| Back to top |
|
 |
Mike Wahler Guest
|
Posted: Tue Dec 14, 2004 3:20 am Post subject: Re: small numerical differences in floating point result bet |
|
|
"JS" <someone (AT) somewhere (DOT) com> wrote
| Quote: | We have the same floating point intensive C++ program that runs on
Windows on Intel chip and on Sun Solaris on SPARC chips. The program
reads the exactly the same input files on the two platforms. However,
they generate slightly different results for floating point numbers.
|
I'm not surprised.
| Quote: |
Are they really supposed to generate exactly the same results?
|
Not necessarily.
| Quote: | I
guess so because both platforms are supposed to be IEEE floating point
standard (754?) compliant. I have turned on the Visual C++ compile
flags which will make sure the Windows produce standard compliant code
(the /Op flags).
However, they still produce different results. I
suspect that this may be due to a commerical mathematical library that
we use which can't be compiled using /Op option. If I had recompiled
everything using /Op option, the two should have produced the same
results.
Am I right?
|
http://docs.sun.com/source/806-3568/ncg_goldberg.html
-Mike
|
|
| Back to top |
|
 |
Steven G. Kargl Guest
|
Posted: Tue Dec 14, 2004 3:27 am Post subject: Re: small numerical differences in floating point result bet |
|
|
In article <stksr09qteq79uh39nrg8q2i7tti8eqvgo (AT) 4ax (DOT) com>,
JS <someone (AT) somewhere (DOT) com> writes:
| Quote: | We have the same floating point intensive C++ program that runs on
Windows on Intel chip and on Sun Solaris on SPARC chips. The program
reads the exactly the same input files on the two platforms. However,
they generate slightly different results for floating point numbers.
|
What does this have to do with Fortran (or C)? Don't
cross post off-topic threads.
PS: Google on "floating goldberg"
--
Steve
|
|
| Back to top |
|
 |
Rich Townsend Guest
|
Posted: Tue Dec 14, 2004 3:35 am Post subject: Re: small numerical differences in floating point result bet |
|
|
JS wrote:
| Quote: | We have the same floating point intensive C++ program that runs on
Windows on Intel chip and on Sun Solaris on SPARC chips. The program
reads the exactly the same input files on the two platforms. However,
they generate slightly different results for floating point numbers.
Are they really supposed to generate exactly the same results? I
guess so because both platforms are supposed to be IEEE floating point
standard (754?) compliant. I have turned on the Visual C++ compile
flags which will make sure the Windows produce standard compliant code
(the /Op flags). However, they still produce different results. I
suspect that this may be due to a commerical mathematical library that
we use which can't be compiled using /Op option. If I had recompiled
everything using /Op option, the two should have produced the same
results.
Am I right?
|
Yes and no. As I understand it, the IEEE floating point standard places
reasonably-tight constraints on how *atomic* floating-point operations
are undertaken. For instance, given the bit patterns making up two
floating point numbers a and b, the standard says how to find the bit
pattern making up their product a*b.
However, a typical computer program is not a single atomic operation; it
is a whole sequence of them. Take for example this assignment:
d = a + b + c
What order should the sum be undertaken in? Should it be
d = (a + b) + c,
or
d = a + (b + c)?
Mathematically, these are identical. But in a computer program the "+"
operation does not represent true mathematical addition, but rather a
floating-point approximation of it. Even if this approximation conforms
to the IEEE standard, the results of the two assignments above will
differ in many situations. Consider, for instance, when:
a = 1.e10
b = -1.e10
c = 1.
Assuming floating-point math with a precision less than ten decimal
significant digits, the first expression above above will give d = 1,
but the second expression will give d = 0.
Therefore, the result of the *original* assignment above (the one
without the parentheses) depends on how the compiler decides to join the
two atomic addition operations. Even though these operations might
individually conform to the IEEE standard, their result will vary
depending on the order in which the compiler decides to perform them.
This is nothing to do with the IEEE standard per se, but a fundamental
limitation of finite-precision floating-point math.
Hopefully, this should underline the idiocy in rubbishing one compiler
because it produces slightly different results to another.
cheers,
Rich
--
Dr Richard H D Townsend
Bartol Research Institute
University of Delaware
[ Delete VOID for valid email address ]
|
|
| Back to top |
|
 |
Dik T. Winter Guest
|
Posted: Tue Dec 14, 2004 3:37 am Post subject: Re: small numerical differences in floating point result bet |
|
|
In article <stksr09qteq79uh39nrg8q2i7tti8eqvgo (AT) 4ax (DOT) com> JS <someone (AT) somewhere (DOT) com> writes:
....
No, you are wrong. The slight differences are there because the Intel
chips calculate expressions with 80 bits of precision, the Sparc uses
64 bits of precision. Both are allowed by the IEEE standard.
--
dik t. winter, cwi, kruislaan 413, 1098 sj amsterdam, nederland, +31205924131
home: bovenover 215, 1025 jn amsterdam, nederland; http://www.cwi.nl/~dik/
|
|
| Back to top |
|
 |
James D. Veale Guest
|
Posted: Tue Dec 14, 2004 3:54 am Post subject: Re: small numerical differences in floating point result bet |
|
|
I have a customer who runs a simulation on both a PC and a UNIX box,
results are written to an ASCII data file. He has used
TFuzSerf, a fuzzy number file comparison, to verify similar results.
Demonstration versions and contact information are available
at the Complite File Comparison Family web page, at ...
http://world.std.com/~jdveale
This fuzzy number comparison utility allows you to specify both absolute
and relative tolerances(ranges) to numbers. ASCII numbers are
recognized and treated as true numbers, not just character strings.
As a result 2-digit and 3-digit exponents are handled automatically.
Please feel free to contact me if I can answer any questions.
Jim Veale
JS <someone (AT) somewhere (DOT) com> writes:
| Quote: | We have the same floating point intensive C++ program that runs on
Windows on Intel chip and on Sun Solaris on SPARC chips. The program
reads the exactly the same input files on the two platforms. However,
they generate slightly different results for floating point numbers.
Are they really supposed to generate exactly the same results? I
guess so because both platforms are supposed to be IEEE floating point
standard (754?) compliant. I have turned on the Visual C++ compile
flags which will make sure the Windows produce standard compliant code
(the /Op flags). However, they still produce different results. I
suspect that this may be due to a commerical mathematical library that
we use which can't be compiled using /Op option. If I had recompiled
everything using /Op option, the two should have produced the same
results.
Am I right?
Thanks a lot.
|
|
|
| Back to top |
|
 |
Gordon Burditt Guest
|
Posted: Tue Dec 14, 2004 5:43 am Post subject: Re: small numerical differences in floating point result bet |
|
|
| Quote: | We have the same floating point intensive C++ program that runs on
Windows on Intel chip and on Sun Solaris on SPARC chips. The program
reads the exactly the same input files on the two platforms. However,
they generate slightly different results for floating point numbers.
Are they really supposed to generate exactly the same results? I
|
I don't believe the == operator applied to calculated floating-point
results is ever required to return 1. Nor does it have to be consistent
about it. An implementation like that probably won't sell well, but
ANSI C allows it.
int i;
double d1, d2;
... put a value in d1 and d2 ...
for (i = 0; (d1 + d2) == (d2 + d1); i++)
/* empty */ ;
printf("Iterations: %dn", i);
There's nothing wrong with the code printing "Iterations: 13" here.
| Quote: | guess so because both platforms are supposed to be IEEE floating point
standard (754?) compliant.
|
Just because the hardware is IEEE floating point doesn't mean
the compiler has to keep the intermediate values in 80-bit long
double or has to lop off the extra precision consistently.
| Quote: | I have turned on the Visual C++ compile
flags which will make sure the Windows produce standard compliant code
(the /Op flags). However, they still produce different results. I
suspect that this may be due to a commerical mathematical library that
we use which can't be compiled using /Op option. If I had recompiled
everything using /Op option, the two should have produced the same
results.
|
C offers no guarantee that an Intel platform will produce the
same results as an Intel platform with the same CPU serial number
and the same compiler serial number.
No.
Gordon L. Burditt
|
|
| Back to top |
|
 |
Lawrence Kirby Guest
|
Posted: Tue Dec 14, 2004 10:24 am Post subject: Re: small numerical differences in floating point result bet |
|
|
On Mon, 13 Dec 2004 22:35:42 -0500, Rich Townsend wrote:
....
I have turned on the Visual C++ compile
| Quote: | flags which will make sure the Windows produce standard compliant code
(the /Op flags). However, they still produce different results. I
suspect that this may be due to a commerical mathematical library that
we use which can't be compiled using /Op option. If I had recompiled
everything using /Op option, the two should have produced the same
results.
Am I right?
Yes and no. As I understand it, the IEEE floating point standard places
reasonably-tight constraints on how *atomic* floating-point operations
are undertaken. For instance, given the bit patterns making up two
floating point numbers a and b, the standard says how to find the bit
pattern making up their product a*b.
|
It also depends on the language. C, and presumably C++, allows
intermediate results to be held at higher precision than indicated by the
type. IEEE supports a number of precisions but doesn't mandate which
should be used, it just says what will happen given a particular
precision.
| Quote: | However, a typical computer program is not a single atomic operation; it
is a whole sequence of them. Take for example this assignment:
d = a + b + c
What order should the sum be undertaken in? Should it be
d = (a + b) + c,
or
d = a + (b + c)?
|
That depends on the language. In C (and again presumably C++) d = a + b +c
is equivalent to d = (a + b) + c. A C optimiser cannot rearrange this
unless it can prove the result is consistent with this for all possible
input values. That's rarely possible in floating point.
....
| Quote: | Hopefully, this should underline the idiocy in rubbishing one compiler
because it produces slightly different results to another.
|
Nevertheless many if not most C compilers for x86 platforms violate the C
standard (not the IEEE standard) when it comes to floating point. C
requires that values held in objects and the results of casts be held at
the correct precision for the type. . However on x86 this requires the
value to be stored to and reloaded from memory/cache which is horrendously
inefficient compared to keeping the value in a register. Compiler writers
often take the view that generating faster code that keeps values
represented at a higher precision is the lesser of evils. Not everybody
agrees in all circumstances. I will leave the readers of comp.lang.c++ and
comp.lang.fortran to comment on those languages.
Lawrence
|
|
| Back to top |
|
 |
msalters Guest
|
Posted: Tue Dec 14, 2004 11:25 am Post subject: Re: small numerical differences in floating point result bet |
|
|
Gordon Burditt wrote:
| Quote: | We have the same floating point intensive C++ program that runs on
Windows on Intel chip and on Sun Solaris on SPARC chips. The
program
reads the exactly the same input files on the two platforms.
However,
they generate slightly different results for floating point numbers.
Are they really supposed to generate exactly the same results? I
I don't believe the == operator applied to calculated floating-point
results is ever required to return 1.
|
In fact, it's not required to return true (followups set to clc++) for
integers either (!)
Regards,
Michiel Salters
|
|
| Back to top |
|
 |
Herman D. Knoble Guest
|
Posted: Tue Dec 14, 2004 1:20 pm Post subject: Re: small numerical differences in floating point result bet |
|
|
First, we assuming that the program in question here is not displaying
or writing results past the precision of the corresponding variables.
How many "places" (mantissa bits) are you talking about here?
If the results differ by only the last mantissa bit or two I would not
worry about this. If results differ by more than the least significant
bit or two, there could be reason to suspect compiler options, like /OP
(or, for example, XLF under AIX the compiler option -qfloat=nomaf).
For the case where results differ by more that a mantissa bit or two,
it could also be possible that the code itself is not completely
numerically stable. One of the ways to determine if a model is stable
is in fact to perturb the input (or platform) slightly and
compare results.
Skip
On Mon, 13 Dec 2004 22:00:03 -0500, JS <someone (AT) somewhere (DOT) com> wrote:
-|We have the same floating point intensive C++ program that runs on
-|Windows on Intel chip and on Sun Solaris on SPARC chips. The program
-|reads the exactly the same input files on the two platforms. However,
-|they generate slightly different results for floating point numbers.
-|
-|Are they really supposed to generate exactly the same results? I
-|guess so because both platforms are supposed to be IEEE floating point
-|standard (754?) compliant. I have turned on the Visual C++ compile
-|flags which will make sure the Windows produce standard compliant code
-|(the /Op flags). However, they still produce different results. I
-|suspect that this may be due to a commerical mathematical library that
-|we use which can't be compiled using /Op option. If I had recompiled
-|everything using /Op option, the two should have produced the same
-|results.
-|
-|Am I right?
-|
-|Thanks a lot.
Herman D. (Skip) Knoble, Research Associate
(a computing professional for 38 years)
Email: SkipKnobleLESS at SPAMpsu dot edu
Web: http://www.personal.psu.edu/hdk
Penn State Information Technology Services
Academic Services and Emerging Technologies
Graduate Education and Research Services
Penn State University
214C Computer Building
University Park, PA 16802-21013
Phone:+1 814 865-0818 Fax:+1 814 863-7049
|
|
| Back to top |
|
 |
websnarf@gmail.com Guest
|
Posted: Tue Dec 14, 2004 11:38 pm Post subject: Re: small numerical differences in floating point result bet |
|
|
Sun and Intel should produce identical results for
negation,+,-,*,/,sqrt() operations, because this is required for IEEE
754 compliance, and both implement double and float on the same sized
floating point values (older x86 compilers used to use 80bit for all FP
temporaries which could definately be a source of differences, but VC++
doesn't do this anymore). You should also expect identical output for
things like fprem(), ceil(), floor(), modf(), and so on. All of these
operations have well known and finite ways of being calculated to the
best and closest possible result, which is what the IEEE 754 specifies.
Results can be different if you put the processors into different
rounding modes -- I thought that the ANSI C specification was supposed
to specify a consistent rounding mode, so there shouldn't be any
differences because of that, but I could be wrong.
The problem is everything else. sin(), cos(), log(), exp(), atanh()
etc, ... these guys are not even consistent between Athlons and
Pentiums. The reason is that there is no known finite algorithm for
computing these guys to the exactly corrected rounded result. There
are plenty of ways to compute them within an accuracy of "1 ulp"
(i.e., off by at most one unit in the last siginificant bit.)
But I am not the foremost expert on this stuff (and it looks like the
other posters here know even less than me.) This question is more
appropriate for a group like comp.arch.arithmetic where there are
plenty of posters there who are expert on this.
--
Paul Hsieh
http://www.pobox.com/~qed/
http://bstring.sf.net/
|
|
| Back to top |
|
 |
Gerry Thomas Guest
|
Posted: Wed Dec 15, 2004 1:15 am Post subject: Re: small numerical differences in floating point result bet |
|
|
"JS" <someone (AT) somewhere (DOT) com> wrote
| Quote: | We have the same floating point intensive C++ program that runs on
Windows on Intel chip and on Sun Solaris on SPARC chips. The program
reads the exactly the same input files on the two platforms. However,
they generate slightly different results for floating point numbers.
Are they really supposed to generate exactly the same results?
|
For fp intensive programs, whatever the language, no.
| Quote: | I
guess so because both platforms are supposed to be IEEE floating point
standard (754?) compliant. I have turned on the Visual C++ compile
flags which will make sure the Windows produce standard compliant code
(the /Op flags). However, they still produce different results. I
suspect that this may be due to a commerical mathematical library that
we use which can't be compiled using /Op option. If I had recompiled
everything using /Op option, the two should have produced the same
results.
Am I right?
|
In all probability, no, .
For an update to the over-hackneyed Goldberg variations, see Parker,
Pierce, and Eggert , "Monte Carlo Arithmetic: exploiting randomness in
floating-point arithmetic," Comp. Sci. & Eng., pp. 58-68, July 2000.
..> Thanks a lot.
--
You're Welcome,
Gerry T.
______
"Competent engineers rightly distrust all numerical computations and seek
corroboration from alternative numerical methods, from scale models, from
prototypes, from experience... ." -- William V. Kahan.
|
|
| Back to top |
|
 |
JS Guest
|
Posted: Wed Dec 15, 2004 1:34 am Post subject: Re: small numerical differences in floating point result bet |
|
|
On Tue, 14 Dec 2004 08:20:41 -0500, Herman D. Knoble
<SkipKnobleLESS (AT) SPAMpsu (DOT) DOT.edu> wrote:
| Quote: | First, we assuming that the program in question here is not displaying
or writing results past the precision of the corresponding variables.
How many "places" (mantissa bits) are you talking about here?
|
All the calculations are done in double. The output result has
precision (in the format of 999999999.666666) that is well within the
precision limit of double. So this is not due not incorrect precision
used for displaying or outputting the result.
| Quote: | If the results differ by only the last mantissa bit or two I would not
worry about this. If results differ by more than the least significant
bit or two, there could be reason to suspect compiler options, like /OP
(or, for example, XLF under AIX the compiler option -qfloat=nomaf).
|
Some posters don't seem to know about /Op option. From Microsoft doc:
"By default, the compiler uses the coprocessor’s 80-bit registers to
hold the intermediate results of floating-point calculations. This
increases program speed and decreases program size. However, because
the calculation involves floating-point data types that are
represented in memory by less than 80 bits, carrying the extra bits of
precision (80 bits minus the number of bits in a smaller
floating-point type) through a lengthy calculation can produce
inconsistent results.
With /Op, the compiler loads data from memory prior to each
floating-point operation and, if assignment occurs, writes the results
back to memory upon completion. Loading the data prior to each
operation guarantees that the data does not retain any significance
greater than the capacity of its type."
Thus the difference I got doesn't seem to come from the 80-bit vs 64
bit issue mentioned by some posters.
| Quote: | For the case where results differ by more that a mantissa bit or two,
it could also be possible that the code itself is not completely
numerically stable. One of the ways to determine if a model is stable
is in fact to perturb the input (or platform) slightly and
compare results.
Skip
On Mon, 13 Dec 2004 22:00:03 -0500, JS <someone (AT) somewhere (DOT) com> wrote:
-|We have the same floating point intensive C++ program that runs on
-|Windows on Intel chip and on Sun Solaris on SPARC chips. The program
-|reads the exactly the same input files on the two platforms. However,
-|they generate slightly different results for floating point numbers.
-|
-|Are they really supposed to generate exactly the same results? I
-|guess so because both platforms are supposed to be IEEE floating point
-|standard (754?) compliant. I have turned on the Visual C++ compile
-|flags which will make sure the Windows produce standard compliant code
-|(the /Op flags). However, they still produce different results. I
-|suspect that this may be due to a commerical mathematical library that
-|we use which can't be compiled using /Op option. If I had recompiled
-|everything using /Op option, the two should have produced the same
-|results.
-|
-|Am I right?
-|
-|Thanks a lot.
Herman D. (Skip) Knoble, Research Associate
(a computing professional for 38 years)
Email: SkipKnobleLESS at SPAMpsu dot edu
Web: http://www.personal.psu.edu/hdk
Penn State Information Technology Services
Academic Services and Emerging Technologies
Graduate Education and Research Services
Penn State University
214C Computer Building
University Park, PA 16802-21013
Phone:+1 814 865-0818 Fax:+1 814 863-7049
|
|
|
| Back to top |
|
 |
Gerry Thomas Guest
|
Posted: Wed Dec 15, 2004 3:00 am Post subject: Re: small numerical differences in floating point result bet |
|
|
"JS" <someone (AT) somewhere (DOT) com> wrote
[Stuff from the ever-helpful Skip Knoble elided without prejudice]
| Quote: |
Some posters don't seem to know about /Op option.
|
Not me, and a bunch besides!
FYI, most clf's posters are rabidly anti Microsoft and could give a toss
what it has to say about anything, least of all in respect to it's own
products, .
| Quote: | From Microsoft doc: (sic DOC!)
"By default, the compiler uses the coprocessor's 80-bit registers to
hold the intermediate results of floating-point calculations. This
increases program speed and decreases program size. However, because
the calculation involves floating-point data types that are
represented in memory by less than 80 bits, carrying the extra bits of
precision (80 bits minus the number of bits in a smaller
floating-point type) through a lengthy calculation can produce
inconsistent results.
With /Op, the compiler loads data from memory prior to each
floating-point operation and, if assignment occurs, writes the results
back to memory upon completion. Loading the data prior to each
operation guarantees that the data does not retain any significance
greater than the capacity of its type."
|
IIRC (and I'm sure I do) this is a verbatim quote from Microsoft's Fortran
PowerStation documentation (sic DOC!). This product commands the least of
respect in these environs. (Word to the wise, look into VC++ ~2 for what
you seek!)
| Quote: | Thus the difference I got doesn't seem to come from the 80-bit vs 64
bit issue mentioned by some posters.
|
How come? I've no idea why you're beginning to remind me of Ozmandias but
I'm wondering if it's that Alexander the Wimp movie I endured on the
weekend.
--
You're Welcome,
Gerry T.
______
"Things are not what they seem; or, to be more accurate, they are not only
what they seem, but very much else besides." -- Aldous Huxley.
|
|
| Back to top |
|
 |
|
|
You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum
|
|