Tests atomicity of compareAndExchange.
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 1195450 | 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 | 353330 | ACCEPTABLE | actor2 update successfully |
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 433321 | 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 | 179599 | 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 | 857657 | 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 | 506893 | ACCEPTABLE | actor2 update successfully |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 260579 | 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 | 50811 | ACCEPTABLE | actor2 update successfully |
JVM options: [-Xint] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 57931 | 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 | 32109 | ACCEPTABLE | actor2 update successfully |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 210712 | 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 | 96798 | ACCEPTABLE | actor2 update successfully |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 945912 | 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 | 603658 | ACCEPTABLE | actor2 update successfully |
JVM options: [-client] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, -1, -1 | 68609 | 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 | 64931 | ACCEPTABLE | actor2 update successfully |