RFR: 8368303: AlwaysAtomicAccesses is excessively strict [v3]

[Aleksey Shipilev]

On Mon, 6 Oct 2025 13:06:31 GMT, Andrew Haley <aph at openjdk.org> wrote:

>> In C1, the experimental flag `AlwaysAtomicAccesses` treats accesses to all fields as if they were volatile fields. This is correct but excessive: we only need single-copy atomicity to satisfy `AlwaysAtomicAccesses`. 
>> 
>> We need this in order to allow progress on JDK-8365147.
>
> Andrew Haley has updated the pull request incrementally with two additional commits since the last revision:
> 
>  - Review feeback
>  - Review feeback

There is a comment suggestion from Dean, otherwise it looks ready.

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

Marked as reviewed by shade (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/27432#pullrequestreview-3304705877