RFR: 8278874: tighten VerifyStack constraints
Dean Long
dlong at openjdk.org
Thu Jul 3 20:33:51 UTC 2025
The VerifyStack logic in Deoptimization::unpack_frames() attempts to check the expression stack size of the interpreter frame against what GenerateOopMap computes. To do this, it needs to know if the state at the current bci represents the "before" state, meaning the bytecode will be reexecuted, or the "after" state, meaning we will advance to the next bytecode. The old code didn't know how to determine exactly what state we were in, so it checked both. This PR cleans that up, so we only have to compute the oopmap once. It also removes old SPARC support.
-------------
Commit messages:
- allow Thread::print_on() from JRT_LEAF
- tighten VerifyStack constraints
Changes: https://git.openjdk.org/jdk/pull/26121/files
Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=26121&range=00
Issue: https://bugs.openjdk.org/browse/JDK-8278874
Stats: 171 lines in 4 files changed: 84 ins; 50 del; 37 mod
Patch: https://git.openjdk.org/jdk/pull/26121.diff
Fetch: git fetch https://git.openjdk.org/jdk.git pull/26121/head:pull/26121
PR: https://git.openjdk.org/jdk/pull/26121
More information about the hotspot-dev
mailing list