Tests Dekker-lock-style idioms
[1] [2]JVM options: [-Xint] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0 | 0 | FORBIDDEN | Violates sequential consistency |
0, 1 | 87771 | ACCEPTABLE | Trivial under sequential consistency |
1, 0 | 96918 | ACCEPTABLE | Trivial under sequential consistency |
1, 1 | 1 | 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 | 452499 | ACCEPTABLE | Trivial under sequential consistency |
1, 0 | 396715 | ACCEPTABLE | Trivial under sequential consistency |
1, 1 | 526 | ACCEPTABLE | Trivial under sequential consistency |
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 | 435872 | ACCEPTABLE | Trivial under sequential consistency |
1, 0 | 443259 | ACCEPTABLE | Trivial under sequential consistency |
1, 1 | 799 | 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 | 973103 | ACCEPTABLE | Trivial under sequential consistency |
1, 0 | 448095 | ACCEPTABLE | Trivial under sequential consistency |
1, 1 | 72 | 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 | 399132 | ACCEPTABLE | Trivial under sequential consistency |
1, 0 | 59505 | ACCEPTABLE | Trivial under sequential consistency |
1, 1 | 33 | 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 | 362155 | ACCEPTABLE | Trivial under sequential consistency |
1, 0 | 417958 | ACCEPTABLE | Trivial under sequential consistency |
1, 1 | 37 | 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 | 976503 | ACCEPTABLE | Trivial under sequential consistency |
1, 0 | 309458 | ACCEPTABLE | Trivial under sequential consistency |
1, 1 | 69 | 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 | 162503 | ACCEPTABLE | Trivial under sequential consistency |
1, 0 | 101927 | ACCEPTABLE | Trivial under sequential consistency |
1, 1 | 1720 | ACCEPTABLE | Trivial under sequential consistency |