org.openjdk.jcstress.tests.atomicity.varHandles.fields.CAETest.CompareAndExchangeReleaseString

Tests atomicity of compareAndExchange.

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

Observed state Occurrence Expectation Interpretation
2, null, 2 30596 ACCEPTABLE actor2 update successfully
null, null, 2 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, null 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, object 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, object, object 35934 ACCEPTABLE actor1 update successfully

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

Observed state Occurrence Expectation Interpretation
2, null, 2 230162 ACCEPTABLE actor2 update successfully
null, null, 2 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, null 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, object 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, object, object 301758 ACCEPTABLE actor1 update successfully

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

Observed state Occurrence Expectation Interpretation
2, null, 2 105234 ACCEPTABLE actor2 update successfully
null, null, 2 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, null 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, object 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, object, object 308766 ACCEPTABLE actor1 update successfully

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

Observed state Occurrence Expectation Interpretation
2, null, 2 180238 ACCEPTABLE actor2 update successfully
null, null, 2 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, null 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, object 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, object, object 256032 ACCEPTABLE actor1 update successfully

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

Observed state Occurrence Expectation Interpretation
2, null, 2 375760 ACCEPTABLE actor2 update successfully
null, null, 2 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, null 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, object 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, object, object 524350 ACCEPTABLE actor1 update successfully

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

Observed state Occurrence Expectation Interpretation
2, null, 2 129242 ACCEPTABLE actor2 update successfully
null, null, 2 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, null 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, object 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, object, object 376588 ACCEPTABLE actor1 update successfully

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

Observed state Occurrence Expectation Interpretation
2, null, 2 126850 ACCEPTABLE actor2 update successfully
null, null, 2 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, null 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, object 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, object, object 218750 ACCEPTABLE actor1 update successfully

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

Observed state Occurrence Expectation Interpretation
2, null, 2 183275 ACCEPTABLE actor2 update successfully
null, null, 2 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, null 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, null, object 0 FORBIDDEN This won't happen because compareAndExchange is atomic
null, object, object 551805 ACCEPTABLE actor1 update successfully