Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-6912065

final fields in objects need to support inlining optimizations for JSR 292

    Details

    • Type: Bug
    • Status: Resolved
    • Priority: P2
    • Resolution: Fixed
    • Affects Version/s: 7
    • Fix Version/s: hs17
    • Component/s: hotspot
    • Subcomponent:
    • Resolved In Build:
      b08
    • CPU:
      generic
    • OS:
      generic

      Backports

        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.

          Attachments

            Issue Links

              Activity

                People

                • Assignee:
                  jrose John Rose
                  Reporter:
                  jrose John Rose
                • Votes:
                  0 Vote for this issue
                  Watchers:
                  0 Start watching this issue

                  Dates

                  • Created:
                    Updated:
                    Resolved:
                    Imported:
                    Indexed: