Tests atomicity of compareAndExchange.
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 580256 | ACCEPTABLE | actor1 update successfully |
0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
2, 0, 2 | 391164 | ACCEPTABLE | actor2 update successfully |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 680804 | ACCEPTABLE | actor1 update successfully |
0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
2, 0, 2 | 239396 | ACCEPTABLE | actor2 update successfully |
JVM options: [-client] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 1213200 | ACCEPTABLE | actor1 update successfully |
0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
2, 0, 2 | 342160 | ACCEPTABLE | actor2 update successfully |
JVM options: [-Xint] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 27342 | ACCEPTABLE | actor1 update successfully |
0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
2, 0, 2 | 16498 | ACCEPTABLE | actor2 update successfully |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 380466 | ACCEPTABLE | actor1 update successfully |
0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
2, 0, 2 | 167214 | ACCEPTABLE | actor2 update successfully |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 735918 | ACCEPTABLE | actor1 update successfully |
0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
2, 0, 2 | 270872 | ACCEPTABLE | actor2 update successfully |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 610314 | ACCEPTABLE | actor1 update successfully |
0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
2, 0, 2 | 218776 | ACCEPTABLE | actor2 update successfully |
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 781709 | ACCEPTABLE | actor1 update successfully |
0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
0, 0, 2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
2, 0, 2 | 320961 | ACCEPTABLE | actor2 update successfully |