RFR: 8325937: runtime/handshake/HandshakeDirectTest.java causes "monitor end should be strictly below the frame pointer" assertion failure on AArch64

[Nick Gasson]

On Wed, 2 Oct 2024 09:51:08 GMT, Andrew Haley <aph at openjdk.org> wrote:

> No. "sequentially consistent" doesn't imply that every synchronizes-with operation is a full fence. It just means that if you
do a bunch of writes in Thread A, then a releasing operation in A, then an acquiring operation in Thread B, then read in B whatever you just wrote in A, the program behaves as though there were the same total order observed by all threads.

This is DRF-SC though, right? In the absence of data races you get SC behaviour. But the code here has a racy read of a variable without holding the mutex.

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

PR Comment: https://git.openjdk.org/jdk/pull/21295#issuecomment-2388190450