Page History

The Java language allows platforms to make use of available floating point hardware that may provide floating point support with mantissas and/or exponents that contain more bits than the standard Java primitive type double, thus enabling those platforms to represent a superset of the values that can be represented by the standard floating point types. Floating point computations on such platforms may produce different results than would be obtained if the floating point computations were restricted to the standard representations of float and double. According to the JLS Section 15.4 "FP-Strict Expressions": "the net effect, roughly speaking, is that a calculation might produce "the correct answer" in situations where exclusive use of the float value set or double value set might result in overflow or underflow."

When it is important Sometimes it is desired to obtain consistent results from floating point operations , across different JVMs and platforms. This guarantee is imposed by the strictfp modifier. On the downside, it is more likely , use the strictfp modifier. This modifier requires the JVM and platform to behave as though all floating point computations were performed using values limited to those representable by a standard Java float or double, thus guaranteeing that the result of the computations will match exactly across all JVMs and platforms.

Use of the strict_fp modifier lacks impact on platforms that lack platform-specific floating point behavior. It can have substantial impact, however, on both the efficiency and the result values of floating point computations when executing on platforms that implement platform-specific floating point behavior. On these platforms, use of the strict_fp modifier increases the likelihood that intermediate operations will overflow or underflow when strictfp is used because platform specific floating point behavior is disregarded. This issue is because it restricts the representable range and precision of intermediate values; it may also reduce computational efficiency. These issues are unavoidable when portability is the main concern.

The strictfp modifier can be used with a class, method or interface. :

An expression is strict if when any of the containing classes, methods or interfaces is declared to be a strictfp. Constant expressions containing floating point operations are also evaluated strictly. All compile-time constant expressions are by default, strictfp.

Notably, the The strict behavior cannot be inherited by a subclass that extends a strictfp superclass. An overriding method may independently choose to be strictfp when the overridden method is not or vice versa.

...

This noncompliant code example does not enforce the mandate strictfp constraints computation. Double.MAX_VALUE is being multiplied by 1.1 and reduced back by dividing by 1.1 according to the evaluation order. JVM implementations are not required to report an overflow resulting from the initial multiplication, although they may choose to treat this case as strictfp. The ability to use extended exponent ranges to represent intermediate values is implementation defined.

...

strictfp class Strictfp {
  public static void main(String[] args) {
    double d = Double.MAX_VALUE;
    System.out.println("This value \"" + ((d * 1.1) / 1.1) + "\" cannot be represented as double.");
  }
}

Risk Assessment

Not using Failure to use the strictfp modifier can result in platform defined behavior with respect to the accuracy of floating point operations.

...

Bibliography

\[[Darwin 2004|AA. Bibliography#Darwin 04]\] Ensuring the Accuracy of Floating-Point Numbers
\[[JLS 2005|AA. Bibliography#JLS 05]\] 15.4 FP-strict Expressions
\[[JPL 2005|AA. Bibliography#JPL 05]\] 9.1.3. Strict and Non-Strict Floating-Point Arithmetic
\[[McCluskey 2001|AA. Bibliography#McCluskey 01]\] Making Deep Copies of Objects, Using strictfp, and Optimizing String Performance
\[[Darwin 2004|AA. Bibliography#Darwin 04]\] Ensuring the Accuracy of Floating-Point Numbers

...

FLP03-J. Range check before casting floating point numbers to narrower types      07. Floating Point (FLP)      FLP05-J. Do not attempt comparisons with NaN