Tests atomicity of weakCompareAndSet.
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, 0 | 295 | ACCEPTABLE | both may fail |
false, true, 2 | 51674 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 174361 | 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 | 1913 | ACCEPTABLE | both may fail |
false, true, 2 | 190546 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 685471 | 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 | 417 | ACCEPTABLE | both may fail |
false, true, 2 | 36140 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 173113 | 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 | 1460 | ACCEPTABLE | both may fail |
false, true, 2 | 282870 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 904080 | 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 | 891 | ACCEPTABLE | both may fail |
false, true, 2 | 663984 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 1073765 | 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 | 502376 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 903094 | 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 | 740 | ACCEPTABLE | both may fail |
false, true, 2 | 500497 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 643383 | 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 | 37456 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 36484 | ACCEPTABLE | actor1 update successfully |
true, true, -1 | 0 | FORBIDDEN | not both shall succeed |
true, true, 2 | 0 | FORBIDDEN | not both shall succeed |