RFR: 7902989: jcstress: Add samples for high-level race conditions [v2]

[Aleksey Shipilev]

On Thu, 1 Jul 2021 01:14:16 GMT, Michael Mirwaldt <github.com+6693355+mmirwaldt at openjdk.org> wrote:

>> I have created two more samples:
>> 
>> - one sample for read-modify-write-sequences
>> - one sample for check-then-react-sequences
>
> Michael Mirwaldt has updated the pull request incrementally with one additional commit since the last revision:
> 
>   change FORBIDDEN outcomes to ACCEPTABLE_INTERESTING

Changes requested by shade (Committer).

jcstress-samples/src/main/java/org/openjdk/jcstress/samples/high/race/condition/RaceCondition_01_ReadModifyWriteSequence.java line 2:

> 1: /*
> 2:  * Copyright (c) 2020, Oracle and/or its affiliates. All rights reserved.

Here and later, the year is 2021.

jcstress-samples/src/main/java/org/openjdk/jcstress/samples/high/race/condition/RaceCondition_01_ReadModifyWriteSequence.java line 69:

> 67: 
> 68:         r.r2 = newValue;
> 69:         r.r3 = value;

It is quite unusual for both actors to write to the same result variable, `r.r3`. I think you want to use `@Arbiter` to populate the final `r.r3 = value`.

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

PR: https://git.openjdk.java.net/jcstress/pull/88