Tests atomicity of weakCompareAndSet.
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0.0 | 195 | ACCEPTABLE | both may fail |
| false, true, 2.0 | 19424 | ACCEPTABLE | actor2 update successfully |
| true, false, 1.39067116124321E-309 | 575521 | ACCEPTABLE | actor1 update successfully |
| true, true, 1.39067116124321E-309 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2.0 | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0.0 | 0 | ACCEPTABLE | both may fail |
| false, true, 2.0 | 34353 | ACCEPTABLE | actor2 update successfully |
| true, false, 1.39067116124321E-309 | 711547 | ACCEPTABLE | actor1 update successfully |
| true, true, 1.39067116124321E-309 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2.0 | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0.0 | 35 | ACCEPTABLE | both may fail |
| false, true, 2.0 | 14740 | ACCEPTABLE | actor2 update successfully |
| true, false, 1.39067116124321E-309 | 95275 | ACCEPTABLE | actor1 update successfully |
| true, true, 1.39067116124321E-309 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2.0 | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0.0 | 50 | ACCEPTABLE | both may fail |
| false, true, 2.0 | 3287 | ACCEPTABLE | actor2 update successfully |
| true, false, 1.39067116124321E-309 | 19413 | ACCEPTABLE | actor1 update successfully |
| true, true, 1.39067116124321E-309 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2.0 | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0.0 | 229 | ACCEPTABLE | both may fail |
| false, true, 2.0 | 29964 | ACCEPTABLE | actor2 update successfully |
| true, false, 1.39067116124321E-309 | 566987 | ACCEPTABLE | actor1 update successfully |
| true, true, 1.39067116124321E-309 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2.0 | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0.0 | 121 | ACCEPTABLE | both may fail |
| false, true, 2.0 | 230761 | ACCEPTABLE | actor2 update successfully |
| true, false, 1.39067116124321E-309 | 829398 | ACCEPTABLE | actor1 update successfully |
| true, true, 1.39067116124321E-309 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2.0 | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0.0 | 0 | ACCEPTABLE | both may fail |
| false, true, 2.0 | 43 | ACCEPTABLE | actor2 update successfully |
| true, false, 1.39067116124321E-309 | 26917 | ACCEPTABLE | actor1 update successfully |
| true, true, 1.39067116124321E-309 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2.0 | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0.0 | 364 | ACCEPTABLE | both may fail |
| false, true, 2.0 | 29620 | ACCEPTABLE | actor2 update successfully |
| true, false, 1.39067116124321E-309 | 380316 | ACCEPTABLE | actor1 update successfully |
| true, true, 1.39067116124321E-309 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2.0 | 0 | FORBIDDEN | not both shall succeed |