[jdk21u-dev] RFR: 8351997: AArch64: Interpreter volatile reference stores with G1 are not sequentially consistent

[Andrew Haley]

On Thu, 19 Jun 2025 12:12:21 GMT, Aleksey Shipilev <shade at openjdk.org> wrote:

> Fixes AArch64 memory ordering problem. Readily manifests in new jcstress tests; there are sightings of related problems in JSR 133 tests. The patch is not clean, because [JDK-8301996](https://bugs.openjdk.org/browse/JDK-8301996) is in the way, and it is IMO too risky to backport. I resolved some hunks to match the intended behavior, after checking `do_oop_store` clobbers the same `r3` as in mainline.
> 
> Additional testing:
>  - [x] Linux AArch64 server release, jcstress `RefDekker` test now passes
>  - [x] Linux AArch64 server release, jcstress `seqcst.volatiles.ref` tests now pass
>  - [x] Linux AArch64 server release, jcstress `all` tests now pass
>  - [x] Linux AArch64 server fastdebug, `all`

Marked as reviewed by aph (Reviewer).

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

PR Review: https://git.openjdk.org/jdk21u-dev/pull/1905#pullrequestreview-2946262919