Tests atomicity of weakCompareAndSet.
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0 | 192073 | ACCEPTABLE | both may fail |
| false, true, 2 | 862627 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 1090310 | 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 | 505 | ACCEPTABLE | both may fail |
| false, true, 2 | 5792 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 8753 | 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 | 158335 | ACCEPTABLE | both may fail |
| false, true, 2 | 740584 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 1209041 | 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 | 214756 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 416194 | 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 | 6212 | ACCEPTABLE | both may fail |
| false, true, 2 | 104115 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 88383 | 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 | 158034 | ACCEPTABLE | both may fail |
| false, true, 2 | 936178 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 1035318 | ACCEPTABLE | actor1 update successfully |
| true, true, -1 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false, false, 0 | 0 | ACCEPTABLE | both may fail |
| false, true, 2 | 29455 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 36395 | 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 | 54744 | ACCEPTABLE | both may fail |
| false, true, 2 | 258796 | ACCEPTABLE | actor2 update successfully |
| true, false, -1 | 408620 | ACCEPTABLE | actor1 update successfully |
| true, true, -1 | 0 | FORBIDDEN | not both shall succeed |
| true, true, 2 | 0 | FORBIDDEN | not both shall succeed |