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

[Aleksey Shipilev]

On Fri, 2 Jul 2021 16:01:27 GMT, Michael Mirwaldt <github.com+6693355+mmirwaldt at openjdk.org> wrote:

>> jcstress-samples/src/main/java/org/openjdk/jcstress/samples/high/race/condition/RaceCondition_01_ReadModifyWriteSequence.java line 44:
>> 
>>> 42: @Outcome(id = {"250, 150, 150"}, expect = ACCEPTABLE, desc = "1: v=200, 1: t1=250, 1: v=t1, 2: v=250, 2: t2=150, 2: v=t2")
>>> 43: @Outcome(id = {"250, 100, 250"}, expect = ACCEPTABLE_INTERESTING, desc = "1: v=200, 1: t1=250, 2: v=200, 2: t2=100, 2: v=t2, 1: v=t1")
>>> 44: @Outcome(id = {"250, 100, 100"}, expect = ACCEPTABLE_INTERESTING, desc = "1: v=200, 1: t1=250, 2: v=200, 2: t2=100, 1: v=t1, 2: v=t2")
>> 
>> Suggestion:
>> 
>> @Outcome(id = {"150, 100, 150"}, expect = ACCEPTABLE, desc = "actor2 completed first, then actor1 completed")
>> @Outcome(id = {"250, 150, 150"}, expect = ACCEPTABLE, desc = "actor1 completed first, then actor2")
>> @Outcome(id = {"250, 100, 250"}, expect = ACCEPTABLE_INTERESTING, desc = "actors conflicted, actor1 won the race")
>> @Outcome(id = {"250, 100, 100"}, expect = ACCEPTABLE_INTERESTING, desc = "actors conflicted, actor2 won the race")
>
> I don't want to appear as a smart-ass but those two descriptions of outcomes are slightly inconsistent, @shipilev:
> 
> @Outcome(id = {"150, 100, 150"}, expect = ACCEPTABLE, desc = "actor2 completed first, then actor1 completed")
> @Outcome(id = {"250, 150, 150"}, expect = ACCEPTABLE, desc = "actor1 completed first, then actor2")
> 
> Either we use "completed" at the end in both cases or not.
> What do you prefer, @shipilev ?

Yes, "completed".

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

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