RFR (CSR): 8202555: Double.toString(double) sometimes produces incorrect results
Hello, PR [1] and the accompanying article [2] have been subject to some positive reactions in the last couple of weeks. A fresh set of about 20 thousand additional hard test cases kindly provided by Paul Zimmermann of INRIA and other tests proposed by Guy Steele have been added to the code. The corresponding CSR [3] is in Finalized state for review. The proposed spec has been carefully written to uniquely define the outcomes and the code in the PR has been extensively tested to match the proposed spec. Behavioral backward compatibility has been a major goal for the CSR. In fact, in the vast majority of cases, the CSR and the current implementation agree on the outcomes. As the CSR is a prerequisite for the advancement of the PR, I beg everybody entitled (and interested) to review and approve it and/or discuss it further. Greetings Raffaello ---- [1] https://github.com/openjdk/jdk/pull/3402 [2] https://drive.google.com/file/d/1luHhyQF9zKlM8yJ1nebU0OgVYhfC6CBN/view [3] https://bugs.openjdk.java.net/browse/JDK-8202555
Hello, the 2nd version of the article [1] accompanying this issue [2] and issue [3] has been kindly and thoroughly reviewed by the following renowned world-class researchers: * Guy Steele Jr [4], Oracle Labs * Paul Zimmermann [5], INRIA * Jean-Michel Muller [6], Ecole Normale Supérieure de Lyon Thanks to the improvements contributed by these fine reviewers, the newest 4th version [7] is now in "preview" form, the intent being to publish it on a more permanent platform (academic journal or similar). In addition, they also suggested and provided new hard tests which are included in the PR [8]. I hope this will help in progressing both the CSR and the PR. Greetings Raffaello ---- [1] https://drive.google.com/file/d/1luHhyQF9zKlM8yJ1nebU0OgVYhfC6CBN [2] https://bugs.openjdk.java.net/browse/JDK-8202555 [3] https://bugs.openjdk.java.net/browse/JDK-4511638 [4] https://labs.oracle.com/pls/apex/f?p=labs%3Abio%3A0%3A120 [5] https://members.loria.fr/PZimmermann/ [6] https://perso.ens-lyon.fr/jean-michel.muller/ [7] https://drive.google.com/file/d/1IEeATSVnEE6TkrHlCYNY2GjaraBjOT4f [8] https://github.com/openjdk/jdk/pull/3402 On 2021-10-26 21:28, Raffaello Giulietti wrote:
Hello,
PR [1] and the accompanying article [2] have been subject to some positive reactions in the last couple of weeks. A fresh set of about 20 thousand additional hard test cases kindly provided by Paul Zimmermann of INRIA and other tests proposed by Guy Steele have been added to the code.
The corresponding CSR [3] is in Finalized state for review. The proposed spec has been carefully written to uniquely define the outcomes and the code in the PR has been extensively tested to match the proposed spec.
Behavioral backward compatibility has been a major goal for the CSR. In fact, in the vast majority of cases, the CSR and the current implementation agree on the outcomes.
As the CSR is a prerequisite for the advancement of the PR, I beg everybody entitled (and interested) to review and approve it and/or discuss it further.
Greetings Raffaello
----
[1] https://github.com/openjdk/jdk/pull/3402 [2] https://drive.google.com/file/d/1luHhyQF9zKlM8yJ1nebU0OgVYhfC6CBN/view [3] https://bugs.openjdk.java.net/browse/JDK-8202555
participants (1)
-
Raffaello Giulietti