Has the Decades-Old Floating Point Error Problem Been Solved? – Slashdot

overheardinpdx quotes HPCwire: Wednesday a company called Bounded Floating Point announced a “breakthrough patent in processor design, which allows representation of real numbers accurate to the last digit for the first time in computer history. This bounded floating point system is a game changer for the computing industry, particularly for computationally intensive functions such as weather prediction, GPS, and autonomous vehicles,” said the inventor, Alan Jorgensen, PhD. “By using this system, it is possible to guarantee that the display of floating point values is accurate to plus or minus one in the last digit…”

The innovative bounded floating point system computes two limits (or bounds) that contain the represented real number. These bounds are carried through successive calculations. When the calculated result is no longer sufficiently accurate the result is so marked, as are all further calculations made using that value. It is fail-safe and performs in real time.
Jorgensen is described as a cyber bounty hunter and part time instructor at the University of Nevada, Las Vegas teaching computer science to non-computer science students. In November he received US Patent number 9,817,662 — “Apparatus for calculating and retaining a bound on error during floating point operations and methods thereof.” But in a followup, HPCwire reports: After this article was published, a number of readers raised concerns about the originality of Jorgensen’s techniques, noting the existence of prior art going back years. Specifically, there is precedent in John Gustafson’s work on unums and interval arithmetic both at Sun and in his 2015 book, The End of Error, which was published 19 months before Jorgensen’s patent application was filed. We regret the omission of this information from the original article.

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.