org.openjdk.jcstress.tests.seqcst.volatiles.L1_L1_L1__S1__S1__S1_Test

null

JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 8282 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 35545 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 11517 ACCEPTABLE Sequential consistency.
0, 0, 1, 1 2 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 39 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 6 ACCEPTABLE Sequential consistency.
0, 0, 2, 1 16 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 5 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 22 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 1 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 35 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 3 ACCEPTABLE Sequential consistency.
0, 1, 1, 1 3 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 65 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 15 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1 24 ACCEPTABLE Sequential consistency.
0, 2, 2, 2 4 ACCEPTABLE Sequential consistency.
0, 2, 2, 3 26 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 4 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 23 ACCEPTABLE Sequential consistency.
0, 3, 3, 3 2 ACCEPTABLE Sequential consistency.
1, 1, 1, 1 2483 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 5192 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 1602 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 99 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 17 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 20 ACCEPTABLE Sequential consistency.
1, 2, 2, 2 39 ACCEPTABLE Sequential consistency.
1, 2, 2, 3 10 ACCEPTABLE Sequential consistency.
1, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 3 10 ACCEPTABLE Sequential consistency.
2, 1, 1, 1 7 ACCEPTABLE Sequential consistency.
2, 1, 1, 3 3 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1 20 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 20 ACCEPTABLE Sequential consistency.
2, 2, 2, 1 6151 ACCEPTABLE Sequential consistency.
2, 2, 2, 2 6283 ACCEPTABLE Sequential consistency.
2, 2, 2, 3 9095 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 9 ACCEPTABLE Sequential consistency.
2, 2, 3, 3 35 ACCEPTABLE Sequential consistency.
2, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 3, 3, 1 6 ACCEPTABLE Sequential consistency.
2, 3, 3, 3 7 ACCEPTABLE Sequential consistency.
3, 1, 1, 1 1 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 2, 2 9 ACCEPTABLE Sequential consistency.
3, 3, 1, 1 2 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 1 ACCEPTABLE Sequential consistency.
3, 3, 2, 1 2 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 24 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 329 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 3574 ACCEPTABLE Sequential consistency.
3, 3, 3, 3 2171 ACCEPTABLE Sequential consistency.

JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 204441 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 182320 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 214450 ACCEPTABLE Sequential consistency.
0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 833 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 539 ACCEPTABLE Sequential consistency.
0, 0, 2, 1 1100 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 23 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 930 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 411 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 419 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 1 2 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 2119 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 559 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 6 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 5 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 1 2 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 3 ACCEPTABLE Sequential consistency.
0, 2, 2, 1 2197 ACCEPTABLE Sequential consistency.
0, 2, 2, 2 70 ACCEPTABLE Sequential consistency.
0, 2, 2, 3 1969 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 1 1 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 9 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 614 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 1347 ACCEPTABLE Sequential consistency.
0, 3, 3, 3 3 ACCEPTABLE Sequential consistency.
1, 1, 1, 1 4888 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 43958 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 12159 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 916 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 193 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 24 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 9 ACCEPTABLE Sequential consistency.
1, 2, 2, 2 2161 ACCEPTABLE Sequential consistency.
1, 2, 2, 3 232 ACCEPTABLE Sequential consistency.
1, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 53 ACCEPTABLE Sequential consistency.
1, 3, 3, 3 38 ACCEPTABLE Sequential consistency.
2, 1, 1, 1 543 ACCEPTABLE Sequential consistency.
2, 1, 1, 3 148 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1 243 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 125 ACCEPTABLE Sequential consistency.
2, 2, 2, 1 31492 ACCEPTABLE Sequential consistency.
2, 2, 2, 2 20531 ACCEPTABLE Sequential consistency.
2, 2, 2, 3 32091 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 62 ACCEPTABLE Sequential consistency.
2, 2, 3, 3 137 ACCEPTABLE Sequential consistency.
2, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 3, 3, 1 106 ACCEPTABLE Sequential consistency.
2, 3, 3, 3 390 ACCEPTABLE Sequential consistency.
3, 1, 1, 1 39 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 62 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 1 ACCEPTABLE Sequential consistency.
3, 2, 1, 1 2 ACCEPTABLE Sequential consistency.
3, 2, 2, 1 253 ACCEPTABLE Sequential consistency.
3, 2, 2, 2 2553 ACCEPTABLE Sequential consistency.
3, 3, 1, 1 52 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 157 ACCEPTABLE Sequential consistency.
3, 3, 2, 1 185 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 1280 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 8804 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 29068 ACCEPTABLE Sequential consistency.
3, 3, 3, 3 4493 ACCEPTABLE Sequential consistency.

JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 27869 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 65929 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 26672 ACCEPTABLE Sequential consistency.
0, 0, 1, 1 60 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 524 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 57 ACCEPTABLE Sequential consistency.
0, 0, 2, 1 1591 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 80 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 1083 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 77 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 753 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 85 ACCEPTABLE Sequential consistency.
0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 1438 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 498 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 1 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 1 3 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 1 ACCEPTABLE Sequential consistency.
0, 2, 2, 1 10357 ACCEPTABLE Sequential consistency.
0, 2, 2, 2 127 ACCEPTABLE Sequential consistency.
0, 2, 2, 3 9424 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 1 ACCEPTABLE Sequential consistency.
0, 2, 3, 3 3 ACCEPTABLE Sequential consistency.
0, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 1 1 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 1 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 626 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 1543 ACCEPTABLE Sequential consistency.
0, 3, 3, 3 2 ACCEPTABLE Sequential consistency.
1, 1, 1, 1 56141 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 13161 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 5383 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 11003 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 3576 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 328 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 210 ACCEPTABLE Sequential consistency.
1, 2, 2, 2 3601 ACCEPTABLE Sequential consistency.
1, 2, 2, 3 930 ACCEPTABLE Sequential consistency.
1, 2, 3, 3 10 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 168 ACCEPTABLE Sequential consistency.
1, 3, 3, 3 18 ACCEPTABLE Sequential consistency.
2, 1, 1, 1 4678 ACCEPTABLE Sequential consistency.
2, 1, 1, 3 817 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1 2329 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 34 ACCEPTABLE Sequential consistency.
2, 2, 2, 1 73979 ACCEPTABLE Sequential consistency.
2, 2, 2, 2 47981 ACCEPTABLE Sequential consistency.
2, 2, 2, 3 62012 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 30 ACCEPTABLE Sequential consistency.
2, 2, 3, 3 1913 ACCEPTABLE Sequential consistency.
2, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 3, 3, 1 906 ACCEPTABLE Sequential consistency.
2, 3, 3, 3 4197 ACCEPTABLE Sequential consistency.
3, 1, 1, 1 30 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 69 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 1 ACCEPTABLE Sequential consistency.
3, 2, 1, 1 15 ACCEPTABLE Sequential consistency.
3, 2, 2, 1 964 ACCEPTABLE Sequential consistency.
3, 2, 2, 2 3553 ACCEPTABLE Sequential consistency.
3, 3, 1, 1 257 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 656 ACCEPTABLE Sequential consistency.
3, 3, 2, 1 5321 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 10725 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 6335 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 12669 ACCEPTABLE Sequential consistency.
3, 3, 3, 3 50224 ACCEPTABLE Sequential consistency.

JVM options: [-server] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 56943 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 91531 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 74373 ACCEPTABLE Sequential consistency.
0, 0, 1, 1 1 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 106 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 157 ACCEPTABLE Sequential consistency.
0, 0, 2, 1 198 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 12 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 257 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 242 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 375 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 1 3 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 792 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 340 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 6 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 3 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 2 ACCEPTABLE Sequential consistency.
0, 2, 1, 1 1 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1 5797 ACCEPTABLE Sequential consistency.
0, 2, 2, 2 19 ACCEPTABLE Sequential consistency.
0, 2, 2, 3 6030 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 3 1 ACCEPTABLE Sequential consistency.
0, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 1 5 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 8 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 452 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 1135 ACCEPTABLE Sequential consistency.
0, 3, 3, 3 1 ACCEPTABLE Sequential consistency.
1, 1, 1, 1 9214 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 6813 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 5479 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 703 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 259 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 128 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 250 ACCEPTABLE Sequential consistency.
1, 2, 2, 2 3067 ACCEPTABLE Sequential consistency.
1, 2, 2, 3 732 ACCEPTABLE Sequential consistency.
1, 2, 3, 3 1 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 41 ACCEPTABLE Sequential consistency.
1, 3, 3, 3 288 ACCEPTABLE Sequential consistency.
2, 1, 1, 1 1488 ACCEPTABLE Sequential consistency.
2, 1, 1, 3 274 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1 126 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 138 ACCEPTABLE Sequential consistency.
2, 2, 2, 1 43731 ACCEPTABLE Sequential consistency.
2, 2, 2, 2 17397 ACCEPTABLE Sequential consistency.
2, 2, 2, 3 51291 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 114 ACCEPTABLE Sequential consistency.
2, 2, 3, 3 239 ACCEPTABLE Sequential consistency.
2, 3, 1, 1 1 ACCEPTABLE Sequential consistency.
2, 3, 3, 1 180 ACCEPTABLE Sequential consistency.
2, 3, 3, 3 1674 ACCEPTABLE Sequential consistency.
3, 1, 1, 1 125 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 117 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 1 ACCEPTABLE Sequential consistency.
3, 2, 1, 1 1 ACCEPTABLE Sequential consistency.
3, 2, 2, 1 611 ACCEPTABLE Sequential consistency.
3, 2, 2, 2 3839 ACCEPTABLE Sequential consistency.
3, 3, 1, 1 270 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 256 ACCEPTABLE Sequential consistency.
3, 3, 2, 1 422 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 1374 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 6476 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 12730 ACCEPTABLE Sequential consistency.
3, 3, 3, 3 11030 ACCEPTABLE Sequential consistency.

JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 1508 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 2353 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 1412 ACCEPTABLE Sequential consistency.
0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 26 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 1 ACCEPTABLE Sequential consistency.
0, 0, 2, 1 37 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 1 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 53 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 3 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 23 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 42 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 3 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1 53 ACCEPTABLE Sequential consistency.
0, 2, 2, 2 6 ACCEPTABLE Sequential consistency.
0, 2, 2, 3 54 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 1 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 43 ACCEPTABLE Sequential consistency.
0, 3, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 1 140 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 1104 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 387 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 66 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 11 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 3 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 2, 2 49 ACCEPTABLE Sequential consistency.
1, 2, 2, 3 6 ACCEPTABLE Sequential consistency.
1, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 4 ACCEPTABLE Sequential consistency.
1, 3, 3, 3 1 ACCEPTABLE Sequential consistency.
2, 1, 1, 1 47 ACCEPTABLE Sequential consistency.
2, 1, 1, 3 3 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1 68 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 13 ACCEPTABLE Sequential consistency.
2, 2, 2, 1 2295 ACCEPTABLE Sequential consistency.
2, 2, 2, 2 1024 ACCEPTABLE Sequential consistency.
2, 2, 2, 3 2150 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 10 ACCEPTABLE Sequential consistency.
2, 2, 3, 3 85 ACCEPTABLE Sequential consistency.
2, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 3, 3, 1 5 ACCEPTABLE Sequential consistency.
2, 3, 3, 3 61 ACCEPTABLE Sequential consistency.
3, 1, 1, 1 2 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 7 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 2, 1 8 ACCEPTABLE Sequential consistency.
3, 2, 2, 2 25 ACCEPTABLE Sequential consistency.
3, 3, 1, 1 3 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 3 ACCEPTABLE Sequential consistency.
3, 3, 2, 1 16 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 63 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 298 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 1372 ACCEPTABLE Sequential consistency.
3, 3, 3, 3 172 ACCEPTABLE Sequential consistency.

JVM options: [-client] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 12422 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 12294 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 7734 ACCEPTABLE Sequential consistency.
0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 34 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 15 ACCEPTABLE Sequential consistency.
0, 0, 2, 1 25 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 17 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 33 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 15 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 1 5 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 34 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 20 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1 56 ACCEPTABLE Sequential consistency.
0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 3 36 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 44 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 25 ACCEPTABLE Sequential consistency.
0, 3, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 1 1010 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 1180 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 682 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 37 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 8 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 19 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 25 ACCEPTABLE Sequential consistency.
1, 2, 2, 2 81 ACCEPTABLE Sequential consistency.
1, 2, 2, 3 13 ACCEPTABLE Sequential consistency.
1, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 30 ACCEPTABLE Sequential consistency.
1, 3, 3, 3 58 ACCEPTABLE Sequential consistency.
2, 1, 1, 1 44 ACCEPTABLE Sequential consistency.
2, 1, 1, 3 17 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1 30 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 9 ACCEPTABLE Sequential consistency.
2, 2, 2, 1 4163 ACCEPTABLE Sequential consistency.
2, 2, 2, 2 1557 ACCEPTABLE Sequential consistency.
2, 2, 2, 3 2157 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 95 ACCEPTABLE Sequential consistency.
2, 2, 3, 3 21 ACCEPTABLE Sequential consistency.
2, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 3, 3, 1 84 ACCEPTABLE Sequential consistency.
2, 3, 3, 3 12 ACCEPTABLE Sequential consistency.
3, 1, 1, 1 77 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 27 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 2, 1 47 ACCEPTABLE Sequential consistency.
3, 2, 2, 2 58 ACCEPTABLE Sequential consistency.
3, 3, 1, 1 23 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 10 ACCEPTABLE Sequential consistency.
3, 3, 2, 1 51 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 41 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 2061 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 1057 ACCEPTABLE Sequential consistency.
3, 3, 3, 3 957 ACCEPTABLE Sequential consistency.

JVM options: [-Xint] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 27 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 18 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 15 ACCEPTABLE Sequential consistency.
0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 1 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 1 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 2 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 1 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 1 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1 2 ACCEPTABLE Sequential consistency.
0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 1 ACCEPTABLE Sequential consistency.
0, 3, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 1 41 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 20 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 11 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 2 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 1 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 1, 1 2 ACCEPTABLE Sequential consistency.
2, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1 1 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 1 ACCEPTABLE Sequential consistency.
2, 2, 2, 1 18 ACCEPTABLE Sequential consistency.
2, 2, 2, 2 24 ACCEPTABLE Sequential consistency.
2, 2, 2, 3 41 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 1 ACCEPTABLE Sequential consistency.
2, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 3, 3, 1 0 ACCEPTABLE Sequential consistency.
2, 3, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 1, 1, 1 1 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 1 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 2 ACCEPTABLE Sequential consistency.
3, 3, 2, 1 3 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 25 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 27 ACCEPTABLE Sequential consistency.
3, 3, 3, 3 39 ACCEPTABLE Sequential consistency.

JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 149172 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 352989 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 168461 ACCEPTABLE Sequential consistency.
0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 728 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 19 ACCEPTABLE Sequential consistency.
0, 0, 2, 1 285 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 299 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 123 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 178 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 1 1 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 768 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 11 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1 272 ACCEPTABLE Sequential consistency.
0, 2, 2, 2 1 ACCEPTABLE Sequential consistency.
0, 2, 2, 3 293 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 158 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 153 ACCEPTABLE Sequential consistency.
0, 3, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 1 20310 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 16232 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 1556 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 19 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 5 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 3 ACCEPTABLE Sequential consistency.
1, 2, 2, 2 6 ACCEPTABLE Sequential consistency.
1, 2, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 3 ACCEPTABLE Sequential consistency.
1, 3, 3, 3 4 ACCEPTABLE Sequential consistency.
2, 1, 1, 1 52 ACCEPTABLE Sequential consistency.
2, 1, 1, 3 15 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1 46 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 39 ACCEPTABLE Sequential consistency.
2, 2, 2, 1 12500 ACCEPTABLE Sequential consistency.
2, 2, 2, 2 27815 ACCEPTABLE Sequential consistency.
2, 2, 2, 3 12313 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 3 ACCEPTABLE Sequential consistency.
2, 2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 3, 3, 1 1 ACCEPTABLE Sequential consistency.
2, 3, 3, 3 2 ACCEPTABLE Sequential consistency.
3, 1, 1, 1 61 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 54 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 2, 1 1 ACCEPTABLE Sequential consistency.
3, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 1, 1 26 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 96 ACCEPTABLE Sequential consistency.
3, 3, 2, 1 1 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 3 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 6778 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 9474 ACCEPTABLE Sequential consistency.
3, 3, 3, 3 14731 ACCEPTABLE Sequential consistency.