United StatesChange Country, Oracle Worldwide Web Sites Communities I am a... I want to...
Bug ID: JDK-6912065 final fields in objects need to support inlining optimizations for JSR 292
JDK-6912065 : final fields in objects need to support inlining optimizations for JSR 292

Details
Type:
Bug
Submit Date:
2009-12-19
Status:
Resolved
Updated Date:
2010-04-02
Project Name:
JDK
Resolved Date:
2010-01-28
Component:
hotspot
OS:
generic
Sub-Component:
compiler
CPU:
generic
Priority:
P2
Resolution:
Fixed
Affected Versions:
7
Fixed Versions:
hs17 (b08)

Related Reports
Backport:
Backport:

Sub Tasks

Description
A value in an object field cannot be constant-folded even when the field is marked 'final' and the enclosing object itself can be determined at compile time.  This is because 'final' fields are not enforced by the JVM.

The long term fix for this is to properly optimize the common case of any field which is set in an object constructor and then never changed, not even by reflection or JNI.

This is a performance issue for method handle combinators like MethodHandles.guardWithTest.  They are a hybrid of data structure and function pointer.  As function pointers they need to be inlined and optimized.  As data structures, they are tied together via final fields, which must be foldable at compile time in order to complete the inlining process.

As a stopgap measure, we will instruct the JVM to "trust" final fields in selected (trusted!) packages, notably java.dyn and sun.dyn.  This trust directive will be configurable, so that dynamic language runtimes can be included as necessary.

                                    

Comments
SUGGESTED FIX

http://cr.openjdk.java.net/~jrose/6912065/webrev.00/
                                     
2009-12-19
EVALUATION

http://hg.openjdk.java.net/jdk7/hotspot-comp/hotspot/rev/73b22f919c34
                                     
2010-01-14



Hardware and Software, Engineered to Work Together