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`.

Ah, Ok. I haven't known the arbiter but I guess that was what I was looking for. I use an arbiter now in RaceCondition_01_ReadModifyWriteSequence. Thanks for your advice!

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

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