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

[Michael Mirwaldt]

On Thu, 1 Jul 2021 09:14:20 GMT, Aleksey Shipilev <shade at openjdk.org> wrote:

>> Michael Mirwaldt has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   change FORBIDDEN outcomes to ACCEPTABLE_INTERESTING
>
> 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`.

Can we resolve that now, @shipilev?

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

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