MutexLincheckTest test failure

[qwwdfsad]

org.jetbrains.kotlinx.lincheck.LincheckAssertionError: 
= Invalid execution results =
Parallel part:
| unlock(0):  void                  [-,-,1] | tryLock(1): false | tryLock(1): true |
| tryLock(1): true                  [1,-,1] |                   |                  |
| unlock(2):  IllegalStateException [2,1,1] |                   |                  |

---
values in "[..]" brackets indicate the number of completed operations 
in each of the parallel threads seen at the beginning of the current operation
---
org.jetbrains.kotlinx.lincheck.LincheckAssertionError:
= Invalid execution results =
Parallel part:
| unlock(0):  void                  [-,-,1] | tryLock(1): false | tryLock(1): true |
| tryLock(1): true                  [1,-,1] |                   |                  |
| unlock(2):  IllegalStateException [2,1,1] |                   |                  |
---
values in "[..]" brackets indicate the number of completed operations
in each of the parallel threads seen at the beginning of the current operation

[fvasco]

Which version is affected?

[qwwdfsad]

This one is from 1.7.0;
The probability of reproducing this is not that high though -- new Mutex impl've been in develop for almost a year and this is the first time it has failed. Probably similar to old channels' race

[qwwdfsad]

Our initial investigations make us think it's rather a Lincheck bug than Mutex-one.
The trace manifests itself only in stress mode and is, in fact, perfectly linearizable (thus, expected)

[qwwdfsad]

This occurred to be a non-linearizability 😢