org.openjdk.jcstress.tests.atomicity.varHandles.arrays.WeakCASTest.WeakCompareAndSetReleaseString

Tests atomicity of weakCompareAndSet.

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

Observed state Occurrence Expectation Interpretation
false, false, null 40 ACCEPTABLE both may fail
false, true, 2 7872 ACCEPTABLE actor2 update successfully
true, false, object 64058 ACCEPTABLE actor1 update successfully
true, true, 2 0 FORBIDDEN not both shall succeed
true, true, object 0 FORBIDDEN not both shall succeed

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

Observed state Occurrence Expectation Interpretation
false, false, null 0 ACCEPTABLE both may fail
false, true, 2 36389 ACCEPTABLE actor2 update successfully
true, false, object 34521 ACCEPTABLE actor1 update successfully
true, true, 2 0 FORBIDDEN not both shall succeed
true, true, object 0 FORBIDDEN not both shall succeed

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

Observed state Occurrence Expectation Interpretation
false, false, null 314 ACCEPTABLE both may fail
false, true, 2 272365 ACCEPTABLE actor2 update successfully
true, false, object 915351 ACCEPTABLE actor1 update successfully
true, true, 2 0 FORBIDDEN not both shall succeed
true, true, object 0 FORBIDDEN not both shall succeed

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

Observed state Occurrence Expectation Interpretation
false, false, null 330 ACCEPTABLE both may fail
false, true, 2 142092 ACCEPTABLE actor2 update successfully
true, false, object 1922488 ACCEPTABLE actor1 update successfully
true, true, 2 0 FORBIDDEN not both shall succeed
true, true, object 0 FORBIDDEN not both shall succeed

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

Observed state Occurrence Expectation Interpretation
false, false, null 0 ACCEPTABLE both may fail
false, true, 2 327106 ACCEPTABLE actor2 update successfully
true, false, object 1110384 ACCEPTABLE actor1 update successfully
true, true, 2 0 FORBIDDEN not both shall succeed
true, true, object 0 FORBIDDEN not both shall succeed

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

Observed state Occurrence Expectation Interpretation
false, false, null 751 ACCEPTABLE both may fail
false, true, 2 509913 ACCEPTABLE actor2 update successfully
true, false, object 1150736 ACCEPTABLE actor1 update successfully
true, true, 2 0 FORBIDDEN not both shall succeed
true, true, object 0 FORBIDDEN not both shall succeed

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

Observed state Occurrence Expectation Interpretation
false, false, null 841 ACCEPTABLE both may fail
false, true, 2 448842 ACCEPTABLE actor2 update successfully
true, false, object 1380197 ACCEPTABLE actor1 update successfully
true, true, 2 0 FORBIDDEN not both shall succeed
true, true, object 0 FORBIDDEN not both shall succeed

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

Observed state Occurrence Expectation Interpretation
false, false, null 404 ACCEPTABLE both may fail
false, true, 2 215657 ACCEPTABLE actor2 update successfully
true, false, object 562669 ACCEPTABLE actor1 update successfully
true, true, 2 0 FORBIDDEN not both shall succeed
true, true, object 0 FORBIDDEN not both shall succeed