ZGC: Load forwarding entries without acquire semantics

XMLWordPrintable

    • Type: Enhancement
    • Resolution: Unresolved
    • Priority: P4
    • tbd
    • Affects Version/s: 18
    • Component/s: hotspot
    • gc
    • aarch64
    • generic

      JDK-8272138 introduced an unbound membar release() between the object copy and the forwarding table insertion.

      Thread A (Relocation):
      copy();
      release();
      cas_forwarding_table();
      cas_self_heal();

      The membar guarantees that the contents of the forwarded object are ready after a forwarding entry is loaded. Since load_object_content(ref) depends on the result of load_forwarding_table(), load_acquire can be safely changed to a simple load.

      Thread B (Remapping/Relocation):
      ref = load_forwarding_table(); // acquire (current version) -> relaxed (our proposal)
      load_object_content(ref);

      Our experiment on heapothesys demonstrates >5% time reduction spent on concurrent mark/relocation on AArch64.

            Assignee:
            Unassigned
            Reporter:
            Hao Tang
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated: