Tests atomicity of compareAndExchange.
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -2 | 33566 | ACCEPTABLE | actor2 update successfully |
| 0, -1, -1 | 39084 | ACCEPTABLE | actor1 update successfully |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -2 | 235378 | ACCEPTABLE | actor2 update successfully |
| 0, -1, -1 | 577552 | ACCEPTABLE | actor1 update successfully |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -2 | 213473 | ACCEPTABLE | actor2 update successfully |
| 0, -1, -1 | 739227 | ACCEPTABLE | actor1 update successfully |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -2 | 50006 | ACCEPTABLE | actor2 update successfully |
| 0, -1, -1 | 493854 | ACCEPTABLE | actor1 update successfully |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -2 | 349967 | ACCEPTABLE | actor2 update successfully |
| 0, -1, -1 | 823573 | ACCEPTABLE | actor1 update successfully |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -2 | 34382 | ACCEPTABLE | actor2 update successfully |
| 0, -1, -1 | 1172818 | ACCEPTABLE | actor1 update successfully |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -2 | 164643 | ACCEPTABLE | actor2 update successfully |
| 0, -1, -1 | 739157 | ACCEPTABLE | actor1 update successfully |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -2, 0, -2 | 162833 | ACCEPTABLE | actor2 update successfully |
| 0, -1, -1 | 542957 | ACCEPTABLE | actor1 update successfully |
| 0, 0, -1 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, -2 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0, 0, 0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |