RFR: 8325937: runtime/handshake/HandshakeDirectTest.java causes "monitor end should be strictly below the frame pointer" assertion failure on AArch64
Patricio Chilano Mateo
pchilanomate at openjdk.org
Wed Oct 2 22:48:37 UTC 2024
On Wed, 2 Oct 2024 09:27:28 GMT, Andrew Haley <aph at openjdk.org> wrote:
> If accesses can move out of a critical section then it completely breaks locking! Locking is supposed to provide roach-motel semantics: you can move in but never out.
>
Right, and that's still true here. The problem is that the write to arm the poll is being moved inside the critical section and is reordered with the read of the thread state. No accesses are moving out of the critical region.
-------------
PR Comment: https://git.openjdk.org/jdk/pull/21295#issuecomment-2389810811
More information about the hotspot-runtime-dev
mailing list