Tests the IRIW sequential consistency.
[1]JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0, 0, 0 | 1040189 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 0, 1 | 52898 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 0 | 337874 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 1 | 60806 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 0 | 308647 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 1 | 102729 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 1, 0 | 1 | ACCEPTABLE | This is a rare event, because it requires precise juxtaposition of threads to observe. |
0, 1, 1, 1 | 37108 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 0 | 57616 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 1 | 0 | FORBIDDEN | Threads see the updates in the inconsistent order |
1, 0, 1, 0 | 132798 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 1, 1 | 20718 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 0 | 106093 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 1 | 20446 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 0 | 96787 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 1 | 336590 | ACCEPTABLE | All other cases are acceptable. |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0, 0, 0 | 3230 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 0, 1 | 4846 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 0 | 220 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 1 | 3254 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 0 | 61 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 1 | 6709 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 1, 0 | 0 | ACCEPTABLE | This is a rare event, because it requires precise juxtaposition of threads to observe. |
0, 1, 1, 1 | 3880 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 0 | 369 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 1 | 0 | FORBIDDEN | Threads see the updates in the inconsistent order |
1, 0, 1, 0 | 1576 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 1, 1 | 158 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 0 | 4425 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 1 | 1645 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 0 | 5363 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 1 | 6424 | ACCEPTABLE | All other cases are acceptable. |
JVM options: [-Xint] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0, 0, 0 | 87 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 0, 1 | 22 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 0 | 16 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 1 | 18 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 0 | 13 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 1 | 25 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 1, 0 | 0 | ACCEPTABLE | This is a rare event, because it requires precise juxtaposition of threads to observe. |
0, 1, 1, 1 | 12 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 0 | 6 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 1 | 0 | FORBIDDEN | Threads see the updates in the inconsistent order |
1, 0, 1, 0 | 35 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 1, 1 | 6 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 0 | 27 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 1 | 18 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 0 | 25 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 1 | 130 | ACCEPTABLE | All other cases are acceptable. |
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0, 0, 0 | 1126 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 0, 1 | 782 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 0 | 750 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 1 | 2092 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 0 | 558 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 1 | 10865 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 1, 0 | 3 | ACCEPTABLE | This is a rare event, because it requires precise juxtaposition of threads to observe. |
0, 1, 1, 1 | 7819 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 0 | 60 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 1 | 0 | FORBIDDEN | Threads see the updates in the inconsistent order |
1, 0, 1, 0 | 3497 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 1, 1 | 8557 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 0 | 490 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 1 | 3347 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 0 | 2760 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 1 | 30654 | ACCEPTABLE | All other cases are acceptable. |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0, 0, 0 | 1801 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 0, 1 | 191 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 0 | 263 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 1 | 234 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 0 | 462 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 1 | 5086 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 1, 0 | 0 | ACCEPTABLE | This is a rare event, because it requires precise juxtaposition of threads to observe. |
0, 1, 1, 1 | 2211 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 0 | 379 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 1 | 0 | FORBIDDEN | Threads see the updates in the inconsistent order |
1, 0, 1, 0 | 2671 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 1, 1 | 2077 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 0 | 768 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 1 | 2352 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 0 | 917 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 1 | 40278 | ACCEPTABLE | All other cases are acceptable. |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0, 0, 0 | 23498 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 0, 1 | 2460 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 0 | 2666 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 1 | 11662 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 0 | 2508 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 1 | 6502 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 1, 0 | 18 | ACCEPTABLE | This is a rare event, because it requires precise juxtaposition of threads to observe. |
0, 1, 1, 1 | 15572 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 0 | 820 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 1 | 0 | FORBIDDEN | Threads see the updates in the inconsistent order |
1, 0, 1, 0 | 10831 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 1, 1 | 13125 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 0 | 5389 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 1 | 3378 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 0 | 11632 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 1 | 1843159 | ACCEPTABLE | All other cases are acceptable. |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0, 0, 0 | 206800 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 0, 1 | 28645 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 0 | 7679 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 1 | 48787 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 0 | 30371 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 1 | 45057 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 1, 0 | 0 | ACCEPTABLE | This is a rare event, because it requires precise juxtaposition of threads to observe. |
0, 1, 1, 1 | 17585 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 0 | 15370 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 1 | 0 | FORBIDDEN | Threads see the updates in the inconsistent order |
1, 0, 1, 0 | 42527 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 1, 1 | 13887 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 0 | 61789 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 1 | 41128 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 0 | 40374 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 1 | 93701 | ACCEPTABLE | All other cases are acceptable. |
JVM options: [-client] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0, 0, 0 | 321 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 0, 1 | 246 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 0 | 181 | ACCEPTABLE | All other cases are acceptable. |
0, 0, 1, 1 | 707 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 0 | 141 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 0, 1 | 764 | ACCEPTABLE | All other cases are acceptable. |
0, 1, 1, 0 | 0 | ACCEPTABLE | This is a rare event, because it requires precise juxtaposition of threads to observe. |
0, 1, 1, 1 | 2775 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 0 | 99 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 0, 1 | 0 | FORBIDDEN | Threads see the updates in the inconsistent order |
1, 0, 1, 0 | 715 | ACCEPTABLE | All other cases are acceptable. |
1, 0, 1, 1 | 3566 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 0 | 303 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 0, 1 | 745 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 0 | 275 | ACCEPTABLE | All other cases are acceptable. |
1, 1, 1, 1 | 28152 | ACCEPTABLE | All other cases are acceptable. |