Tests atomicity of compareAndSet.
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, | 0 | FORBIDDEN | not both shall fail |
false, true, C | 159202 | ACCEPTABLE | actor2 update successfully |
true, false, A | 912188 | 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 | FORBIDDEN | not both shall fail |
false, true, C | 229886 | ACCEPTABLE | actor2 update successfully |
true, false, A | 350434 | 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] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, | 0 | FORBIDDEN | not both shall fail |
false, true, C | 139075 | ACCEPTABLE | actor2 update successfully |
true, false, A | 1202655 | 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, | 0 | FORBIDDEN | not both shall fail |
false, true, C | 15370 | ACCEPTABLE | actor2 update successfully |
true, false, A | 191650 | 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 | FORBIDDEN | not both shall fail |
false, true, C | 23739 | ACCEPTABLE | actor2 update successfully |
true, false, A | 23851 | 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, | 0 | FORBIDDEN | not both shall fail |
false, true, C | 35323 | ACCEPTABLE | actor2 update successfully |
true, false, A | 550127 | 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, | 0 | FORBIDDEN | not both shall fail |
false, true, C | 111261 | ACCEPTABLE | actor2 update successfully |
true, false, A | 388519 | 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, | 0 | FORBIDDEN | not both shall fail |
false, true, C | 31699 | ACCEPTABLE | actor2 update successfully |
true, false, A | 484171 | ACCEPTABLE | actor1 update successfully |
true, true, A | 0 | FORBIDDEN | not both shall succeed |
true, true, C | 0 | FORBIDDEN | not both shall succeed |