Tests atomicity of compareAndExchange.
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, true, true | 58026 | ACCEPTABLE | actor1 update successfully |
| true, false, true | 33884 | ACCEPTABLE | actor2 update successfully |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, true, true | 603123 | ACCEPTABLE | actor1 update successfully |
| true, false, true | 295587 | ACCEPTABLE | actor2 update successfully |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, true, true | 933095 | ACCEPTABLE | actor1 update successfully |
| true, false, true | 598685 | ACCEPTABLE | actor2 update successfully |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, true, true | 460591 | ACCEPTABLE | actor1 update successfully |
| true, false, true | 85539 | ACCEPTABLE | actor2 update successfully |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, true, true | 739130 | ACCEPTABLE | actor1 update successfully |
| true, false, true | 288220 | ACCEPTABLE | actor2 update successfully |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, true, true | 452412 | ACCEPTABLE | actor1 update successfully |
| true, false, true | 133828 | ACCEPTABLE | actor2 update successfully |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, true, true | 97474 | ACCEPTABLE | actor1 update successfully |
| true, false, true | 51386 | ACCEPTABLE | actor2 update successfully |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, false, true | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| false, true, true | 37342 | ACCEPTABLE | actor1 update successfully |
| true, false, true | 29158 | ACCEPTABLE | actor2 update successfully |