On Wed, 1 Sep 2021 13:55:03 GMT, Michael Mirwaldt <github.com+6693355+mmirwaldt at openjdk.org> wrote: > I think Mutex_06_Semaphore is missing because many concurrent algorithms use semaphores as mutexes. Should be lower-case `/integrate`, I think. ------------- PR: https://git.openjdk.java.net/jcstress/pull/95