JEP 177: Optimize java.text.DecimalFormat.format (original) (raw)

Author Joseph D. Darcy
Owner Joe Darcy
Type Feature
Scope JDK
Status Closed / Delivered
Release 8
Component core-libs
Discussion core dash libs dash dev at openjdk dot java dot net
Effort M
Duration L
Reviewed by Alan Bateman, Olivier Lagneau
Endorsed by Mark Reinhold
Created 2013/02/10 20:00
Updated 2014/11/03 23:59
Issue 8046167

Summary

Optimize java.text.DecimalFormat.format by taking advantage of numerical properties of integer and floating-point arithmetic to accelerate cases with two or three digits after the decimal point.

Goals

Make common usages of DecimalFormat faster.

Success Metrics

At least a 2X speedup on micro-benchmarks of interest.

Description

The decimal format conversions of most interest are for those with two and three digits after the decimal point. Rather than perform expensive floating-point divisions to isolate and round the fractional digits, a floating-point multiply of the fractional portion by 100.0 or 1000.0 can be performed, the product converted to an integer value, and then the resulting integer converted to decimal. While this process is faster, care must be taken to avoid double-rounding and other numerical hazards.

Case analysis using properties of which fractional decimal values can be exactly represented in binary reduces rounding post-multiply to a look up table style computation.

Testing

Besides running existing JCK and regression tests, new tests targeting the boundary cases of the optimized code path will be developed. In addition, the performance of the code will be assessed using micro-benchmarks on contemporary hardware platforms.

Risks and Assumptions

Exploratory work with the optimized implementation revealing a long-standing numerical bug in DecimalFormat: some near half-way cases did not round correctly. The specification of DecimalFormat is being amended in Java SE 8 to clearly require correct rounding all the time.

Impact