Fix Mutex.tryLock()
non-linearizability
#3781
Merged
Mutex.tryLock()
non-linearizability
#3781