RFR: 8369506: Bytecode rewriting causes Java heap corruption on AArch64

Justin King jcking at openjdk.org
Wed Oct 15 13:33:43 UTC 2025


Fix JDK-8369506 by adding `STLR` when updating the bytecode. Additionally I added a quick debug only check which verifies the field offset we get from `ResolvedFieldEntry` in `TemplateTable::fast_*` will not clobber the header or Klass pointer. The added `STLR`, a long with the already existing `DMB ISHLD` in `InterpreterMacroAssembler::load_field_entry`, guarantees that the fully filled out `ResolvedFieldEntry` is observable if the patched bytecode is observable. We do not need to add `LDAR` for bytecode loading or `LDAR` in `TemplateTable::fast_*` for that reason. If another observer happens to observe a `0` field offset, its guaranteed then that they will also observe the non-patched bytecode which will ultimately end up doing the resolution again, which is okay.

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

Commit messages:
 - Remove trailing whitespace added by Github
 - Update src/hotspot/cpu/aarch64/templateTable_aarch64.cpp
 - JDK-8369506: Bytecode rewriting causes Java heap corruption on AArch64

Changes: https://git.openjdk.org/jdk/pull/27748/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=27748&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8369506
  Stats: 24 lines in 3 files changed: 22 ins; 0 del; 2 mod
  Patch: https://git.openjdk.org/jdk/pull/27748.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/27748/head:pull/27748

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


More information about the hotspot-compiler-dev mailing list