Tests Dekker-lock-style idioms
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 204 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 708790 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 373165 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 2651 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 23 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 1260757 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 470024 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 29656 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 0 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 4242 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 17466 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 24172 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 242 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 741225 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 350879 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 7454 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 79 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 560695 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 176689 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 40817 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 14 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 772599 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 343028 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 7149 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 20 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 943278 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 239691 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 3931 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 0 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 1431136 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 161563 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 7951 | ACCEPTABLE | Trivial under sequential consistency |