Fwd: JDK 9 RFR of JDK-8030942: Explicitly state floating-point summation requirements on non-finite inputs (original) (raw)

Georgiy Rakov georgiy.rakov at oracle.com
Tue Jul 22 16:23:55 UTC 2014

On 22.07.2014 20:12, Joe Darcy wrote:

Hello Georgiy,

On 07/22/2014 08:49 AM, Georgiy Rakov wrote: Hello Joe,

following assertion seems to me too loose: * Because of the unspecified order of operations and the * possibility of using differing summation schemes, the output of * this method may vary on the same input values. as I see it this assertion imposes no constraints on how the sum can be varied. Strictly speaking, I'm afraid from conformance point of view it can cause the entire method to become untestable. Thank you, Georgiy. I would argue the statement above is just a clarification of the existing (non) specification of how the method can operate. Ideally, the sum method would state an error bound for its operation. There are bugs in this subcomponent mentioning adding such a bound, which may be done later in JDK 9. Do I understand correctly that your opinion is that for the present moment this method is actually untestable from conformance point of view?

More information about the core-libs-dev mailing list