RFR: 8305898: Alternative self-forwarding mechanism

Roman Kennke rkennke at openjdk.org
Wed Aug 21 11:17:30 UTC 2024


Currently, the Serial, Parallel and G1 GCs store a pointer to self into object headers, when promotion fails, to indicate that the object has been looked at, but failed promotion. This is problematic for compact object headers ([JDK-8294992](https://bugs.openjdk.org/browse/JDK-8294992)) because it would (temporarily) over-write the crucial class information, which we need for heap parsing. I would like to propose an alternative: use the bit #3 (previously biased-locking bit) to indicate that an object is 'self-forwarded'. That preserves the crucial class information in the upper bits of the header until the full header gets restored.

A side-effect of this is that we can get rid of the machinery to preserve headers across promotion failures in Serial and G1. (Parallel GC [ab]uses the preserved-headers structure to also find all the forwarded objects for header restoration. This could be changed, I suppose, but it is not trivial.) If you prefer, I could break-out the removal of the preserved-headers stuff into a separate PR.

This is in preparation of upstreaming compact object headers, and I intend to push it only once all the parts have been approved.

Testing:
 - [x] tier1
 - [x] tier2
 - [x] tier3
 - [x] tier4
 - [x] Running in production @ AWS since >1year without troubles

-------------

Commit messages:
 - 8305898: Alternative self-forwarding mechanism

Changes: https://git.openjdk.org/jdk/pull/20603/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=20603&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8305898
  Stats: 156 lines in 18 files changed: 66 ins; 66 del; 24 mod
  Patch: https://git.openjdk.org/jdk/pull/20603.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/20603/head:pull/20603

PR: https://git.openjdk.org/jdk/pull/20603


More information about the hotspot-gc-dev mailing list