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 | 0 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 589124 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 332786 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 3070 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 0 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 322489 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 143563 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 2578 | 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 | 906643 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 177751 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 9486 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 0 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 1095753 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 326423 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 13304 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 0 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 484616 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 158161 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 11723 | 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 | 0 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 272865 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 107610 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 5905 | 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 | 1537 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 7482 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 7761 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 0 | ACCEPTABLE_INTERESTING | Apparently violates sequential consistency |
| 0, 1 | 1541587 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 287887 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 216 | ACCEPTABLE | Trivial under sequential consistency |