Tests atomicity of weakCompareAndSet.
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, | 635 | ACCEPTABLE | both may fail |
| false, true, C | 88787 | ACCEPTABLE | actor2 update successfully |
| true, false, A | 99128 | ACCEPTABLE | actor1 update successfully |
| true, true, A | 0 | FORBIDDEN | not both shall succeed |
| true, true, C | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, | 55015 | ACCEPTABLE | both may fail |
| false, true, C | 437650 | ACCEPTABLE | actor2 update successfully |
| true, false, A | 1540325 | ACCEPTABLE | actor1 update successfully |
| true, true, A | 0 | FORBIDDEN | not both shall succeed |
| true, true, C | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, | 0 | ACCEPTABLE | both may fail |
| false, true, C | 759318 | ACCEPTABLE | actor2 update successfully |
| true, false, A | 1317562 | ACCEPTABLE | actor1 update successfully |
| true, true, A | 0 | FORBIDDEN | not both shall succeed |
| true, true, C | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, | 0 | ACCEPTABLE | both may fail |
| false, true, C | 19177 | ACCEPTABLE | actor2 update successfully |
| true, false, A | 54613 | ACCEPTABLE | actor1 update successfully |
| true, true, A | 0 | FORBIDDEN | not both shall succeed |
| true, true, C | 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, | 18804 | ACCEPTABLE | both may fail |
| false, true, C | 411899 | ACCEPTABLE | actor2 update successfully |
| true, false, A | 1365637 | ACCEPTABLE | actor1 update successfully |
| true, true, A | 0 | FORBIDDEN | not both shall succeed |
| true, true, C | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, | 39960 | ACCEPTABLE | both may fail |
| false, true, C | 187286 | ACCEPTABLE | actor2 update successfully |
| true, false, A | 969674 | ACCEPTABLE | actor1 update successfully |
| true, true, A | 0 | FORBIDDEN | not both shall succeed |
| true, true, C | 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, | 128872 | ACCEPTABLE | both may fail |
| false, true, C | 432061 | ACCEPTABLE | actor2 update successfully |
| true, false, A | 960897 | ACCEPTABLE | actor1 update successfully |
| true, true, A | 0 | FORBIDDEN | not both shall succeed |
| true, true, C | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, | 40771 | ACCEPTABLE | both may fail |
| false, true, C | 108606 | ACCEPTABLE | actor2 update successfully |
| true, false, A | 429213 | ACCEPTABLE | actor1 update successfully |
| true, true, A | 0 | FORBIDDEN | not both shall succeed |
| true, true, C | 0 | FORBIDDEN | not both shall succeed |