Tests atomicity of compareAndExchange.
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 566844 | 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 | 91336 | ACCEPTABLE | actor2 update successfully |
JVM options: [-client] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 232702 | 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 | 100128 | ACCEPTABLE | actor2 update successfully |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 957716 | 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 | 587074 | 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 | 364292 | 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 | 210958 | ACCEPTABLE | actor2 update successfully |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 944798 | 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 | 356922 | ACCEPTABLE | actor2 update successfully |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 448807 | 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 | 250623 | 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 | 828635 | 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 | 501025 | ACCEPTABLE | actor2 update successfully |
JVM options: [-Xint] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 42135 | 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 | 34595 | ACCEPTABLE | actor2 update successfully |