Bit-exact floating-point computations

Francois-Rene Rideau <fare+NOSPAM@tunes.org>
17 Jan 2002 00:28:51 -0500

          From comp.compilers

Related articles
re: Compiler bugs chase@world.std.com (David Chase) (2002-01-03)
Re: Compiler bugs christian.bau@cbau.freeserve.co.uk (Christian Bau) (2002-01-05)
Re: Compiler bugs chase@world.std.com (David Chase) (2002-01-14)
Bit-exact floating-point computations fare+NOSPAM@tunes.org (Francois-Rene Rideau) (2002-01-17)
Re: Bit-exact floating-point computations christian.bau@cbau.freeserve.co.uk (Christian Bau) (2002-01-18)
Re: Bit-exact floating-point computations fare@tunes.org (Francois-Rene Rideau) (2002-01-24)
Re: Bit-exact floating-point computations chase@world.std.com (David Chase) (2002-01-24)
Re: Bit-exact floating-point computations christian.bau@cbau.freeserve.co.uk (Christian Bau) (2002-01-28)
Re: Bit-exact floating-point computations nmm1@cus.cam.ac.uk (2002-01-30)
| List of all articles for this month |
From: Francois-Rene Rideau <fare+NOSPAM@tunes.org>
Newsgroups: comp.compilers
Date: 17 Jan 2002 00:28:51 -0500
Organization: TUNES Project
References: 02-01-015 02-01-029 02-01-054
Keywords: arithmetic
Posted-Date: 17 Jan 2002 00:28:51 EST

David Chase <chase@world.std.com> writes:
> I'm a little curious about one thing -- does anyone, besides a
> specifications- and-exact-correctness weenie like myself, actually
> care about this level of detail in machine floating point?


Yes: people computing distributed physical models (physical
simulations, virtual reality, remote robot control), and like being
able to rely on programs doing identical computations in parallel and
getting the exact same result, instead of having to propagate
computation results from a centralized server through the network,
which can be VERY expensive in terms of latency, etc. Also, people who
need 100% reproducible results in their computations.


I'm not currently one of these people, but have been working with some
of them, who have been badly bitten by floating-point discrepancy
between JVM implementations in the past.


"Write Once, Run Anywhere"?
Without bit-exact correctness, it's but a shameful lie.


I agree that some people prefer faster approximate results, and should
be able to declare it for better performance -- but the default should
be to get exact (albeit possibly much slower) results.


[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
[ TUNES project for a Free Reflective Computing System | http://tunes.org ]


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.