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 | FORBIDDEN | Violates sequential consistency |
| 0, 1 | 763543 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 418194 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 6453 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 0 | FORBIDDEN | Violates sequential consistency |
| 0, 1 | 778376 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 290758 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 25686 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 0 | FORBIDDEN | Violates sequential consistency |
| 0, 1 | 31357 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 12221 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 35022 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 0 | FORBIDDEN | Violates sequential consistency |
| 0, 1 | 819997 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 702334 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 2209 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 0 | FORBIDDEN | Violates sequential consistency |
| 0, 1 | 1365528 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 293185 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 8717 | 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 | FORBIDDEN | Violates sequential consistency |
| 0, 1 | 1222280 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 968829 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 21951 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 0 | FORBIDDEN | Violates sequential consistency |
| 0, 1 | 353815 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 197070 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 25055 | ACCEPTABLE | Trivial under sequential consistency |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 0 | FORBIDDEN | Violates sequential consistency |
| 0, 1 | 253408 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 0 | 203449 | ACCEPTABLE | Trivial under sequential consistency |
| 1, 1 | 803 | ACCEPTABLE | Trivial under sequential consistency |