RFR: 7902982: jcstress: Add samples for some mutex algorithms [v10]

[mmirwaldt for openjdk]

On Tue, 29 Jun 2021 15:50:22 GMT, mmirwaldt for openjdk <github.com+86246875+mmirwaldt-openjdk at openjdk.org> wrote:

>> jcstress-samples/src/main/java/org/openjdk/jcstress/samples/concurreny/mutex/Mutex_01_PetersonAlgorithm.java line 46:
>> 
>>> 44: @JCStressTest
>>> 45: @Outcome(id = {"1, 2", "2, 1"}, expect = ACCEPTABLE, desc = "Sequential execution.")
>>> 46: @Outcome(id = "1, 1", expect = ACCEPTABLE_INTERESTING, desc = "Both actors came up with the same value: lock failure.")@State
>> 
>> Is lock failure "acceptable"? I would say it should be forbidden.
>
> Well, @shipilev proposed it. I cannot find his comment.

Was ACCEPTABLE_INTERESTING intentional or accidental here, @shipilev?

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

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