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

Add verification support for @Stable into VM

    Details

    • Type: Enhancement
    • Status: Open
    • Priority: P4
    • Resolution: Unresolved
    • Affects Version/s: hs25, 9, 10
    • Fix Version/s: 13
    • Component/s: hotspot

      Description

      Consider adding verification of stable property for fields into VM.
      @Stable means that all component variables of an annotated field changes value at most once.
      It means that only (0/NULL) => (non-0/non-NULL) transitions are allowed for all components of a stable field.

      There's a prototype implementation for template interpreter (for x86-64, primitive or reference fields are only supported): http://cr.openjdk.java.net/~vlivanov/8001107/assert.00/
       

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                Unassigned
                Reporter:
                vlivanov Vladimir Ivanov
              • Votes:
                0 Vote for this issue
                Watchers:
                3 Start watching this issue

                Dates

                • Created:
                  Updated: