Faster double parser?

Andrew Haley aph at
Mon Apr 5 11:11:45 UTC 2021

On 4/5/21 9:08 AM, Alan Bateman wrote:
> On 04/04/2021 09:53, Andrew Haley wrote:
>> :
>> We also have a candidate for a String -> toDouble parser from Raffaello
>> Giulietti:
>> As far as I can see there's nothing wrong with it, but it got stuck in
>> review. This was a bad failure of our review processes, I'm afraid. I
>> wonder if we will do any better with this one.
> Yeah, there was a lengthy discussion about this at the OpenJDK Committer 
> Workshop just after FOSDEM 2020. Brian Burkhalter and Andrew Dinn had 
> both put time into looking at the proposal it but the conclusion was 
> that Raffaello's paper "The Schubfach way to render doubles" needed a 
> review from from an expert in this area.

I wonder. The implementation has even been proved correct for floats by
exhaustion. (Of course that's not possible for doubles.)

I submit, therefore, that we could at least use the float version without
reasonable fear of breaking something.

We seem to be paralysed by this one.

> Guy Steele was mentioned but I don't know if he was approached about it.

Andrew Haley  (he/him)
Java Platform Lead Engineer
Red Hat UK Ltd. <>
EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671

More information about the core-libs-dev mailing list