RFR: Samples for race condition

[Vladimir Sitnikov]

On Tue, 29 Jun 2021 12:32:51 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

jcstress-samples/src/main/java/org/openjdk/jcstress/samples/high/race/condition/RaceCondition_02_CheckThenReactSequence.java line 49:

> 47: @JCStressTest
> 48: @Outcome(id = {"true, false", "false, true"}, expect = ACCEPTABLE, desc = "Only one actor got true for the flag in its if-clause")
> 49: @Outcome(id = {"true, true"}, expect = FORBIDDEN, desc = "Both actors got true for the flag in their if-clauses")

Could you clarify why do you put `forbidden` here?

The implementation does allow `true, true` outcome since it does not synchronize actors.

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

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