Tests weakCompareAndSet contend with strong compareAndSet.
JVM options: [-client] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false, false, | 0 | FORBIDDEN | not both shall fail |
false, true, C | 131212 | ACCEPTABLE | actor2 execute before actor1 or win the contention with actor1 |
true, false, A | 551378 | ACCEPTABLE | actor2 execute after actor1 |
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, | 0 | FORBIDDEN | not both shall fail |
false, true, C | 211934 | ACCEPTABLE | actor2 execute before actor1 or win the contention with actor1 |
true, false, A | 820046 | ACCEPTABLE | actor2 execute after actor1 |
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 | 2466 | ACCEPTABLE | actor2 execute before actor1 or win the contention with actor1 |
true, false, A | 9794 | ACCEPTABLE | actor2 execute after actor1 |
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 | 645608 | ACCEPTABLE | actor2 execute before actor1 or win the contention with actor1 |
true, false, A | 881172 | ACCEPTABLE | actor2 execute after actor1 |
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 | 178321 | ACCEPTABLE | actor2 execute before actor1 or win the contention with actor1 |
true, false, A | 959519 | ACCEPTABLE | actor2 execute after actor1 |
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 | 41456 | ACCEPTABLE | actor2 execute before actor1 or win the contention with actor1 |
true, false, A | 1224 | ACCEPTABLE | actor2 execute after actor1 |
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 | 344536 | ACCEPTABLE | actor2 execute before actor1 or win the contention with actor1 |
true, false, A | 1463614 | ACCEPTABLE | actor2 execute after actor1 |
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 | 200735 | ACCEPTABLE | actor2 execute before actor1 or win the contention with actor1 |
true, false, A | 749255 | ACCEPTABLE | actor2 execute after actor1 |
true, true, A | 0 | FORBIDDEN | not both shall succeed |
true, true, C | 0 | FORBIDDEN | not both shall succeed |