Add verification support for @Stable into VM

XMLWordPrintable

    • Type: Enhancement
    • Resolution: Unresolved
    • Priority: P4
    • tbd
    • Affects Version/s: hs25, 9, 10
    • Component/s: hotspot

      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/
       

            Assignee:
            Unassigned
            Reporter:
            Vladimir Ivanov
            Votes:
            0 Vote for this issue
            Watchers:
            5 Start watching this issue

              Created:
              Updated: