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

[Vladimir Sitnikov]

On Tue, 29 Jun 2021 12:46:42 GMT, mmirwaldt for openjdk <github.com+86246875+mmirwaldt-openjdk at openjdk.org> wrote:

>> I have implemented 3 more samples:
>> *) the NoAlgorithm sample should show users of JCStress how they can define a critical section in a simple way
>> *) one sample for the Peterson's algorithm 
>> *) one sample for the Dekker's algorithm 
>> I have translated the pseudo code implementations of the English wikipedia articles into Java.
>> I have also tried out those examples: they compile and they run without any problems.
>
> mmirwaldt for openjdk has updated the pull request incrementally with one additional commit since the last revision:
> 
>   removed ids for forbidden outcomes

jcstress-samples/src/main/java/org/openjdk/jcstress/samples/concurreny/mutex/Mutex_01_NoAlgorithm.java line 50:

> 48: @Outcome(expect = ACCEPTABLE, desc = "Both actors have entered the critical section whenever they wanted")
> 49: @State
> 50: public class Mutex_01_NoAlgorithm {

I think it would be great to add `SynchronizedAlgorithm` as well.
It would be the relevant middle-ground between `NoAltorithm` and `highly-sophisticated` Dekker/Peterson :)

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

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