Faster double parser?
aph at redhat.com
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
>> 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. <https://www.redhat.com>
EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671
More information about the core-libs-dev