Tests atomicity of weakCompareAndSet.
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, | 619 | ACCEPTABLE | both may fail |
false, true, C | 176868 | ACCEPTABLE | actor2 update successfully |
true, false, A | 581693 | 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, | 112 | ACCEPTABLE | both may fail |
false, true, C | 14422 | ACCEPTABLE | actor2 update successfully |
true, false, A | 85766 | 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 | ACCEPTABLE | both may fail |
false, true, C | 519096 | ACCEPTABLE | actor2 update successfully |
true, false, A | 838544 | 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, | 524 | ACCEPTABLE | both may fail |
false, true, C | 229637 | ACCEPTABLE | actor2 update successfully |
true, false, A | 503209 | 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] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, | 440 | ACCEPTABLE | both may fail |
false, true, C | 93832 | ACCEPTABLE | actor2 update successfully |
true, false, A | 417878 | 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, | 2326 | ACCEPTABLE | both may fail |
false, true, C | 193534 | ACCEPTABLE | actor2 update successfully |
true, false, A | 907500 | 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 | ACCEPTABLE | both may fail |
false, true, C | 27899 | ACCEPTABLE | actor2 update successfully |
true, false, A | 21751 | 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, | 2241 | ACCEPTABLE | both may fail |
false, true, C | 397658 | ACCEPTABLE | actor2 update successfully |
true, false, A | 1230821 | ACCEPTABLE | actor1 update successfully |
true, true, A | 0 | FORBIDDEN | not both shall succeed |
true, true, C | 0 | FORBIDDEN | not both shall succeed |