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

[Aleksey Shipilev]

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`

This pull request has now been integrated.

Changeset: 729f1005
Author:    Aleksey Shipilev <shade at openjdk.org>
URL:       https://git.openjdk.org/jdk21u-dev/commit/729f10053eab4b8fe8a857e14ce0f96a82c721b8
Stats:     8 lines in 1 file changed: 4 ins; 0 del; 4 mod

8351997: AArch64: Interpreter volatile reference stores with G1 are not sequentially consistent

Reviewed-by: phh, aph, eosterlund
Backport-of: 83b15da2eb3cb6c8937f517c9b75eaa9eeece314

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

PR: https://git.openjdk.org/jdk21u-dev/pull/1905