JDK 7u-dev review request 8024356: Double.parseDouble() is slow for long Strings

Dmitry Nadezhin dmitry.nadezhin at gmail.com
Thu Sep 12 18:57:55 UTC 2013


JDK repository constains sources and tests now.
Where should proofs live ?
And also where should benchmarks live ?


On Thu, Sep 12, 2013 at 10:32 PM, Brian Burkhalter <
brian.burkhalter at oracle.com> wrote:

> What should be put in for <link>?
>
> Thanks,
>
> Brian
>
> On Sep 12, 2013, at 11:10 AM, Dmitry Nadezhin wrote:
>
> Aleksey, I like your wording of the comment. Thank you very much.
>
> I would reformulate a little:
> <<<
> We can demonstrate (<link>) that decimal ulp should be less than 10^(-1075)
> to guarantee correctness
> ===
> We can demonstrate (<link>) that decimal ulp less than 10^(-1075) is enough
> to guarantee correctness.
>
>
> because decimal ulp may be larger than 10^(-1075) for some inputs.
> For example, for decimal string
>
> "1.1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111"
>
> binary half-ulp is 2^(-53)
> and decimal ulp 10^(-53) is enough .
>
>
>



More information about the core-libs-dev mailing list