Tests atomicity of weakCompareAndSet.
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 0 | ACCEPTABLE | both may fail |
| false, true, true | 498622 | ACCEPTABLE | actor2 update successfully |
| true, false, true | 780738 | ACCEPTABLE | actor1 update successfully |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 32703 | ACCEPTABLE | both may fail |
| false, true, true | 98060 | ACCEPTABLE | actor2 update successfully |
| true, false, true | 198917 | ACCEPTABLE | actor1 update successfully |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |
| true, true, true | 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, false | 402924 | ACCEPTABLE | both may fail |
| false, true, true | 777531 | ACCEPTABLE | actor2 update successfully |
| true, false, true | 688405 | ACCEPTABLE | actor1 update successfully |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 0 | ACCEPTABLE | both may fail |
| false, true, true | 33292 | ACCEPTABLE | actor2 update successfully |
| true, false, true | 34618 | ACCEPTABLE | actor1 update successfully |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 335102 | ACCEPTABLE | both may fail |
| false, true, true | 553738 | ACCEPTABLE | actor2 update successfully |
| true, false, true | 604170 | ACCEPTABLE | actor1 update successfully |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |
| true, true, true | 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, false | 132645 | ACCEPTABLE | both may fail |
| false, true, true | 376680 | ACCEPTABLE | actor2 update successfully |
| true, false, true | 545845 | ACCEPTABLE | actor1 update successfully |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 140643 | ACCEPTABLE | both may fail |
| false, true, true | 368409 | ACCEPTABLE | actor2 update successfully |
| true, false, true | 628298 | ACCEPTABLE | actor1 update successfully |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, false | 26695 | ACCEPTABLE | both may fail |
| false, true, true | 550391 | ACCEPTABLE | actor2 update successfully |
| true, false, true | 656064 | ACCEPTABLE | actor1 update successfully |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |
| true, true, true | 0 | FORBIDDEN | not both shall succeed |