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