Tests atomicity of compareAndSet.
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, null | 0 | FORBIDDEN | not both shall fail |
false, true, 2 | 358198 | ACCEPTABLE | actor2 update successfully |
true, false, object | 412792 | ACCEPTABLE | actor1 update successfully |
true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
true, true, object | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, null | 0 | FORBIDDEN | not both shall fail |
false, true, 2 | 482879 | ACCEPTABLE | actor2 update successfully |
true, false, object | 645281 | ACCEPTABLE | actor1 update successfully |
true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
true, true, object | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, null | 0 | FORBIDDEN | not both shall fail |
false, true, 2 | 291533 | ACCEPTABLE | actor2 update successfully |
true, false, object | 367407 | ACCEPTABLE | actor1 update successfully |
true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
true, true, object | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, null | 0 | FORBIDDEN | not both shall fail |
false, true, 2 | 464547 | ACCEPTABLE | actor2 update successfully |
true, false, object | 839753 | ACCEPTABLE | actor1 update successfully |
true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
true, true, object | 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, null | 0 | FORBIDDEN | not both shall fail |
false, true, 2 | 37589 | ACCEPTABLE | actor2 update successfully |
true, false, object | 78351 | ACCEPTABLE | actor1 update successfully |
true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
true, true, object | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-Xint] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, null | 0 | FORBIDDEN | not both shall fail |
false, true, 2 | 14245 | ACCEPTABLE | actor2 update successfully |
true, false, object | 18005 | ACCEPTABLE | actor1 update successfully |
true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
true, true, object | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, null | 0 | FORBIDDEN | not both shall fail |
false, true, 2 | 367934 | ACCEPTABLE | actor2 update successfully |
true, false, object | 573606 | ACCEPTABLE | actor1 update successfully |
true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
true, true, object | 0 | FORBIDDEN | not both shall succeed |
JVM options: [-client] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, null | 0 | FORBIDDEN | not both shall fail |
false, true, 2 | 448367 | ACCEPTABLE | actor2 update successfully |
true, false, object | 857473 | ACCEPTABLE | actor1 update successfully |
true, true, 2 | 0 | FORBIDDEN | not both shall succeed |
true, true, object | 0 | FORBIDDEN | not both shall succeed |