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

[Michael Mirwaldt]

On Thu, 1 Jul 2021 14:10:57 GMT, Vladimir Sitnikov <vsitnikov at openjdk.org> wrote:

>> Michael Mirwaldt has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   replaced his by its
>
> jcstress-samples/src/main/java/org/openjdk/jcstress/samples/high/race/condition/RaceCondition_01_ReadModifyWriteSequence.java line 45:
> 
>> 43: @Outcome(id = {"250, 150, 150"}, expect = ACCEPTABLE, desc = "Actor2 considered actor1's result and wrote its right result")
>> 44: @Outcome(id = {"250, 100, 250", "250, 150, 250"}, expect = ACCEPTABLE_INTERESTING, desc = "Actor1 ignored actor2's result and wrote its wrong result")
>> 45: @Outcome(id = {"250, 100, 100", "150, 100, 100"}, expect = ACCEPTABLE_INTERESTING, desc = "Actor2 ignored actor1's result and wrote its wrong result")
> 
> Please explain how `"250, 150, 250"` and `"150, 100, 100"` are acceptable.
> 
> I think those outcomes are forbidden.

Why should they be forbidden?
I think they are undesirable but allowed because the lack of the appropiate synchronisation causes these result within a read-modify-write-sequence.

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

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