Tests atomicity of weakCompareAndSet.
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0 | 0 | ACCEPTABLE | both may fail |
| false, true, 2 | 25374 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 49506 | ACCEPTABLE | actor1 update successfully |
| true, true, -1 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0 | 2580 | ACCEPTABLE | both may fail |
| false, true, 2 | 635212 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 1291498 | ACCEPTABLE | actor1 update successfully |
| true, true, -1 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2 | 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 | 581 | ACCEPTABLE | both may fail |
| false, true, 2 | 148352 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 404877 | ACCEPTABLE | actor1 update successfully |
| true, true, -1 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0 | 40 | ACCEPTABLE | both may fail |
| false, true, 2 | 75767 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 125763 | ACCEPTABLE | actor1 update successfully |
| true, true, -1 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0 | 0 | ACCEPTABLE | both may fail |
| false, true, 2 | 448203 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 674397 | ACCEPTABLE | actor1 update successfully |
| true, true, -1 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0 | 4534 | ACCEPTABLE | both may fail |
| false, true, 2 | 277538 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 629078 | ACCEPTABLE | actor1 update successfully |
| true, true, -1 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2 | 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 | 689 | ACCEPTABLE | both may fail |
| false, true, 2 | 139198 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 399153 | ACCEPTABLE | actor1 update successfully |
| true, true, -1 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0 | 5038 | ACCEPTABLE | both may fail |
| false, true, 2 | 268119 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 961023 | ACCEPTABLE | actor1 update successfully |
| true, true, -1 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2 | 0 | FORBIDDEN | not both shall succeed |