org.openjdk.jcstress.tests.locks.mutex.ReentrantLockMutexTests.S_F.TLt_TLt

Tests the mutual exclusion

JVM options: [-server] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
-1, .* 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
.*, -1 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
0, 1 31380 ACCEPTABLE T2 -> T1 execution
1, 0 70580 ACCEPTABLE T1 -> T2 execution

JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
-1, .* 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
.*, -1 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
0, 1 151991 ACCEPTABLE T2 -> T1 execution
1, 0 220549 ACCEPTABLE T1 -> T2 execution

JVM options: [-client] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
-1, .* 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
.*, -1 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
0, 1 38537 ACCEPTABLE T2 -> T1 execution
1, 0 102353 ACCEPTABLE T1 -> T2 execution

JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
-1, .* 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
.*, -1 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
0, 1 98461 ACCEPTABLE T2 -> T1 execution
1, 0 142199 ACCEPTABLE T1 -> T2 execution

JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
-1, .* 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
.*, -1 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
0, 1 41152 ACCEPTABLE T2 -> T1 execution
1, 0 63158 ACCEPTABLE T1 -> T2 execution

JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
-1, .* 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
.*, -1 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
0, 1 15141 ACCEPTABLE T2 -> T1 execution
1, 0 16759 ACCEPTABLE T1 -> T2 execution

JVM options: [-Xint] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
-1, .* 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
.*, -1 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
0, 1 6843 ACCEPTABLE T2 -> T1 execution
1, 0 13917 ACCEPTABLE T1 -> T2 execution

JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
-1, .* 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
.*, -1 0 ACCEPTABLE One of the threads fails to acquire the lock. Other thread had succeeded.
0, 1 99831 ACCEPTABLE T2 -> T1 execution
1, 0 132169 ACCEPTABLE T1 -> T2 execution