Tests atomicity of weakCompareAndSet.
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, 0 | 24527 | ACCEPTABLE | both may fail |
false, true, -2 | 171203 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 607030 | 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 | 5699 | ACCEPTABLE | both may fail |
false, true, -2 | 104546 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 428005 | 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 | 288914 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 1299836 | 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 | 18008 | ACCEPTABLE | both may fail |
false, true, -2 | 147978 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 631844 | 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 | 3122 | ACCEPTABLE | both may fail |
false, true, -2 | 136265 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 177153 | 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 | 15704 | ACCEPTABLE | both may fail |
false, true, -2 | 142423 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 762223 | 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 | 14889 | ACCEPTABLE | both may fail |
false, true, -2 | 227965 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 698556 | 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 | 15977 | ACCEPTABLE | actor2 update successfully |
true, false, -1 | 16703 | ACCEPTABLE | actor1 update successfully |
true, true, -1 | 0 | FORBIDDEN | not both shall succeed |
true, true, -2 | 0 | FORBIDDEN | not both shall succeed |