Tests atomicity of compareAndExchange.
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0.0, 0.0, 0.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 1.39067116124321E-309 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 2.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 1.39067116124321E-309, 1.39067116124321E-309 | 768022 | ACCEPTABLE | actor1 update successfully |
| 2.0, 0.0, 2.0 | 158368 | 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.0, 0.0, 0.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 1.39067116124321E-309 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 2.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 1.39067116124321E-309, 1.39067116124321E-309 | 1570422 | ACCEPTABLE | actor1 update successfully |
| 2.0, 0.0, 2.0 | 208238 | ACCEPTABLE | actor2 update successfully |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0.0, 0.0, 0.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 1.39067116124321E-309 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 2.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 1.39067116124321E-309, 1.39067116124321E-309 | 823262 | ACCEPTABLE | actor1 update successfully |
| 2.0, 0.0, 2.0 | 109308 | ACCEPTABLE | actor2 update successfully |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0.0, 0.0, 0.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 1.39067116124321E-309 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 2.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 1.39067116124321E-309, 1.39067116124321E-309 | 416012 | ACCEPTABLE | actor1 update successfully |
| 2.0, 0.0, 2.0 | 89008 | ACCEPTABLE | actor2 update successfully |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0.0, 0.0, 0.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 1.39067116124321E-309 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 2.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 1.39067116124321E-309, 1.39067116124321E-309 | 56019 | ACCEPTABLE | actor1 update successfully |
| 2.0, 0.0, 2.0 | 11 | ACCEPTABLE | actor2 update successfully |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0.0, 0.0, 0.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 1.39067116124321E-309 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 2.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 1.39067116124321E-309, 1.39067116124321E-309 | 738691 | ACCEPTABLE | actor1 update successfully |
| 2.0, 0.0, 2.0 | 206419 | ACCEPTABLE | actor2 update successfully |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0.0, 0.0, 0.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 1.39067116124321E-309 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 2.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 1.39067116124321E-309, 1.39067116124321E-309 | 929003 | ACCEPTABLE | actor1 update successfully |
| 2.0, 0.0, 2.0 | 97777 | ACCEPTABLE | actor2 update successfully |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0.0, 0.0, 0.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 1.39067116124321E-309 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 0.0, 2.0 | 0 | FORBIDDEN | This won't happen because compareAndExchange is atomic |
| 0.0, 1.39067116124321E-309, 1.39067116124321E-309 | 863221 | ACCEPTABLE | actor1 update successfully |
| 2.0, 0.0, 2.0 | 89439 | ACCEPTABLE | actor2 update successfully |