Fwd: JDK 9 RFR of JDK-8030942: Explicitly state floating-point summation requirements on non-finite inputs
joe.darcy at oracle.com
Tue Jul 22 16:30:51 UTC 2014
On 07/22/2014 09:23 AM, Georgiy Rakov wrote:
> 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,
>> 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?
Whatever the testability status of the method is as of Java SE 8, I
believe is unchanged by the addition of the sentence in question.
More information about the core-libs-dev