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 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 32 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 21 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 4 ACCEPTABLE Sequential consistency.
0, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 0, 1 19 ACCEPTABLE Sequential consistency.
1, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 0, 3 10 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 99 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 25 ACCEPTABLE Sequential consistency.
1, 1, 3, 1 61 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 0, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 0, 1 15 ACCEPTABLE Sequential consistency.
2, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
2, 2, 0, 3 11 ACCEPTABLE Sequential consistency.
2, 2, 1, 2 4 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 87 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 117 ACCEPTABLE Sequential consistency.
2, 2, 3, 2 6 ACCEPTABLE Sequential consistency.
2, 3, 0, 1 0 ACCEPTABLE Sequential consistency.
2, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
3, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
3, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 0, 1 58 ACCEPTABLE Sequential consistency.
3, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 0 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 181 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 7 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 1 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 19 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 15 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 1 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 13 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 37 ACCEPTABLE Sequential consistency.
0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 1 ACCEPTABLE Sequential consistency.
0, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 1 ACCEPTABLE Sequential consistency.
0, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 0, 3 2 ACCEPTABLE Sequential consistency.
0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 1 4 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 2 ACCEPTABLE Sequential consistency.
0, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 0, 1 6 ACCEPTABLE Sequential consistency.
1, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 0, 3 15 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 38 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 16 ACCEPTABLE Sequential consistency.
1, 1, 3, 1 24 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 46 ACCEPTABLE Sequential consistency.
1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 0, 3 1 ACCEPTABLE Sequential consistency.
1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 1 ACCEPTABLE Sequential consistency.
2, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 0, 3 1 ACCEPTABLE Sequential consistency.
2, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 0, 1 9 ACCEPTABLE Sequential consistency.
2, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
2, 2, 0, 3 16 ACCEPTABLE Sequential consistency.
2, 2, 1, 2 1 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 15 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 44 ACCEPTABLE Sequential consistency.
2, 2, 3, 2 50 ACCEPTABLE Sequential consistency.
2, 3, 0, 1 0 ACCEPTABLE Sequential consistency.
2, 3, 0, 3 1 ACCEPTABLE Sequential consistency.
2, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
3, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
3, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 0, 1 1 ACCEPTABLE Sequential consistency.
3, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 0, 1 14 ACCEPTABLE Sequential consistency.
3, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 0, 3 5 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 5 ACCEPTABLE Sequential consistency.
3, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 4 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 34 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 518 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 70 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 346 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 482 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 130 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 115 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 785 ACCEPTABLE Sequential consistency.
0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 6 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 3 ACCEPTABLE Sequential consistency.
0, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 2 ACCEPTABLE Sequential consistency.
0, 2, 0, 1 9 ACCEPTABLE Sequential consistency.
0, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 0, 3 3 ACCEPTABLE Sequential consistency.
0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 1 ACCEPTABLE Sequential consistency.
0, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 1 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 3 ACCEPTABLE Sequential consistency.
1, 1, 0, 1 51 ACCEPTABLE Sequential consistency.
1, 1, 0, 2 3 ACCEPTABLE Sequential consistency.
1, 1, 0, 3 80 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 386 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 129 ACCEPTABLE Sequential consistency.
1, 1, 3, 1 7 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 318 ACCEPTABLE Sequential consistency.
1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 0, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 2 2 ACCEPTABLE Sequential consistency.
1, 2, 1, 3 1 ACCEPTABLE Sequential consistency.
1, 2, 3, 2 2 ACCEPTABLE Sequential consistency.
1, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 1 ACCEPTABLE Sequential consistency.
1, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 2 ACCEPTABLE Sequential consistency.
2, 1, 0, 1 4 ACCEPTABLE Sequential consistency.
2, 1, 0, 3 9 ACCEPTABLE Sequential consistency.
2, 1, 3, 1 2 ACCEPTABLE Sequential consistency.
2, 2, 0, 1 252 ACCEPTABLE Sequential consistency.
2, 2, 0, 2 52 ACCEPTABLE Sequential consistency.
2, 2, 0, 3 300 ACCEPTABLE Sequential consistency.
2, 2, 1, 2 105 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 12 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 12 ACCEPTABLE Sequential consistency.
2, 2, 3, 2 86 ACCEPTABLE Sequential consistency.
2, 3, 0, 1 9 ACCEPTABLE Sequential consistency.
2, 3, 0, 3 6 ACCEPTABLE Sequential consistency.
2, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
3, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
3, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 3 ACCEPTABLE Sequential consistency.
3, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 1 ACCEPTABLE Sequential consistency.
3, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 3, 2 2 ACCEPTABLE Sequential consistency.
3, 3, 0, 1 35 ACCEPTABLE Sequential consistency.
3, 3, 0, 2 5 ACCEPTABLE Sequential consistency.
3, 3, 0, 3 124 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 162 ACCEPTABLE Sequential consistency.
3, 3, 1, 3 6 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 61 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 366 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 80027 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 3006 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 238442 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 164628 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 9468 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 11884 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 233839 ACCEPTABLE Sequential consistency.
0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 8 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 44 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 7 ACCEPTABLE Sequential consistency.
0, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 17 ACCEPTABLE Sequential consistency.
0, 2, 0, 1 59 ACCEPTABLE Sequential consistency.
0, 2, 0, 2 1 ACCEPTABLE Sequential consistency.
0, 2, 0, 3 44 ACCEPTABLE Sequential consistency.
0, 2, 1, 2 1 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 1 21 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 14 ACCEPTABLE Sequential consistency.
0, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 31 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 106 ACCEPTABLE Sequential consistency.
1, 1, 0, 1 2101 ACCEPTABLE Sequential consistency.
1, 1, 0, 2 9 ACCEPTABLE Sequential consistency.
1, 1, 0, 3 5024 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 2774 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 1724 ACCEPTABLE Sequential consistency.
1, 1, 3, 1 243 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 1700 ACCEPTABLE Sequential consistency.
1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 0, 3 1 ACCEPTABLE Sequential consistency.
1, 2, 1, 2 8 ACCEPTABLE Sequential consistency.
1, 2, 1, 3 11 ACCEPTABLE Sequential consistency.
1, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 3 9 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 81 ACCEPTABLE Sequential consistency.
1, 3, 1, 3 6 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 29 ACCEPTABLE Sequential consistency.
2, 1, 0, 1 2 ACCEPTABLE Sequential consistency.
2, 1, 0, 3 8 ACCEPTABLE Sequential consistency.
2, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 0, 1 13059 ACCEPTABLE Sequential consistency.
2, 2, 0, 2 56 ACCEPTABLE Sequential consistency.
2, 2, 0, 3 19521 ACCEPTABLE Sequential consistency.
2, 2, 1, 2 470 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 790 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 341 ACCEPTABLE Sequential consistency.
2, 2, 3, 2 1661 ACCEPTABLE Sequential consistency.
2, 3, 0, 1 56 ACCEPTABLE Sequential consistency.
2, 3, 0, 3 22 ACCEPTABLE Sequential consistency.
2, 3, 1, 3 6 ACCEPTABLE Sequential consistency.
3, 1, 0, 1 2 ACCEPTABLE Sequential consistency.
3, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 4 ACCEPTABLE Sequential consistency.
3, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 0, 1 2 ACCEPTABLE Sequential consistency.
3, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 1, 2 33 ACCEPTABLE Sequential consistency.
3, 2, 3, 1 1 ACCEPTABLE Sequential consistency.
3, 2, 3, 2 12 ACCEPTABLE Sequential consistency.
3, 3, 0, 1 4183 ACCEPTABLE Sequential consistency.
3, 3, 0, 2 18 ACCEPTABLE Sequential consistency.
3, 3, 0, 3 1471 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 643 ACCEPTABLE Sequential consistency.
3, 3, 1, 3 185 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 1268 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 6309 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 14329 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 2317 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 15381 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 11404 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 1333 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 1893 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 11369 ACCEPTABLE Sequential consistency.
0, 1, 0, 1 2 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 5 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 757 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 703 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 147 ACCEPTABLE Sequential consistency.
0, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 787 ACCEPTABLE Sequential consistency.
0, 2, 0, 1 406 ACCEPTABLE Sequential consistency.
0, 2, 0, 2 16 ACCEPTABLE Sequential consistency.
0, 2, 0, 3 96 ACCEPTABLE Sequential consistency.
0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 1 198 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 3 ACCEPTABLE Sequential consistency.
0, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 401 ACCEPTABLE Sequential consistency.
0, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 375 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 302 ACCEPTABLE Sequential consistency.
1, 1, 0, 1 1547 ACCEPTABLE Sequential consistency.
1, 1, 0, 2 55 ACCEPTABLE Sequential consistency.
1, 1, 0, 3 1485 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 3658 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 1347 ACCEPTABLE Sequential consistency.
1, 1, 3, 1 342 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 4520 ACCEPTABLE Sequential consistency.
1, 2, 0, 2 4 ACCEPTABLE Sequential consistency.
1, 2, 0, 3 70 ACCEPTABLE Sequential consistency.
1, 2, 1, 2 283 ACCEPTABLE Sequential consistency.
1, 2, 1, 3 11 ACCEPTABLE Sequential consistency.
1, 2, 3, 2 171 ACCEPTABLE Sequential consistency.
1, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 3 669 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 131 ACCEPTABLE Sequential consistency.
1, 3, 1, 3 92 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 1991 ACCEPTABLE Sequential consistency.
2, 1, 0, 1 1470 ACCEPTABLE Sequential consistency.
2, 1, 0, 3 563 ACCEPTABLE Sequential consistency.
2, 1, 3, 1 108 ACCEPTABLE Sequential consistency.
2, 2, 0, 1 5980 ACCEPTABLE Sequential consistency.
2, 2, 0, 2 492 ACCEPTABLE Sequential consistency.
2, 2, 0, 3 6128 ACCEPTABLE Sequential consistency.
2, 2, 1, 2 625 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 565 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 619 ACCEPTABLE Sequential consistency.
2, 2, 3, 2 562 ACCEPTABLE Sequential consistency.
2, 3, 0, 1 1012 ACCEPTABLE Sequential consistency.
2, 3, 0, 3 141 ACCEPTABLE Sequential consistency.
2, 3, 1, 3 307 ACCEPTABLE Sequential consistency.
3, 1, 0, 1 2719 ACCEPTABLE Sequential consistency.
3, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 5433 ACCEPTABLE Sequential consistency.
3, 1, 3, 1 1334 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 2320 ACCEPTABLE Sequential consistency.
3, 2, 0, 1 14 ACCEPTABLE Sequential consistency.
3, 2, 0, 2 1 ACCEPTABLE Sequential consistency.
3, 2, 1, 2 2 ACCEPTABLE Sequential consistency.
3, 2, 3, 1 170 ACCEPTABLE Sequential consistency.
3, 2, 3, 2 145 ACCEPTABLE Sequential consistency.
3, 3, 0, 1 2321 ACCEPTABLE Sequential consistency.
3, 3, 0, 2 106 ACCEPTABLE Sequential consistency.
3, 3, 0, 3 1739 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 4095 ACCEPTABLE Sequential consistency.
3, 3, 1, 3 557 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 1119 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 3533 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 12 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 11 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 3 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 27 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 4 ACCEPTABLE Sequential consistency.
0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 0, 1 12 ACCEPTABLE Sequential consistency.
1, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 25 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 27 ACCEPTABLE Sequential consistency.
1, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 3 ACCEPTABLE Sequential consistency.
1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 0, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 3 1 ACCEPTABLE Sequential consistency.
1, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 3 ACCEPTABLE Sequential consistency.
2, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 0, 3 3 ACCEPTABLE Sequential consistency.
2, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 0, 1 20 ACCEPTABLE Sequential consistency.
2, 2, 0, 2 1 ACCEPTABLE Sequential consistency.
2, 2, 0, 3 1 ACCEPTABLE Sequential consistency.
2, 2, 1, 2 24 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 20 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 3 ACCEPTABLE Sequential consistency.
2, 2, 3, 2 22 ACCEPTABLE Sequential consistency.
2, 3, 0, 1 2 ACCEPTABLE Sequential consistency.
2, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
3, 1, 0, 1 1 ACCEPTABLE Sequential consistency.
3, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 3, 1 1 ACCEPTABLE Sequential consistency.
3, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 0, 1 2 ACCEPTABLE Sequential consistency.
3, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 0, 3 12 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 23 ACCEPTABLE Sequential consistency.
3, 3, 1, 3 7 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 15 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 15 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 29 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 10 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 102 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 676 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 1165 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 119 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 962 ACCEPTABLE Sequential consistency.
0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 27 ACCEPTABLE Sequential consistency.
0, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 2 ACCEPTABLE Sequential consistency.
0, 2, 0, 1 1 ACCEPTABLE Sequential consistency.
0, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 0, 3 1 ACCEPTABLE Sequential consistency.
0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 3 ACCEPTABLE Sequential consistency.
0, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 1 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 1 ACCEPTABLE Sequential consistency.
1, 1, 0, 1 59 ACCEPTABLE Sequential consistency.
1, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 0, 3 122 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 89 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 394 ACCEPTABLE Sequential consistency.
1, 1, 3, 1 52 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 461 ACCEPTABLE Sequential consistency.
1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 0, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 3 1 ACCEPTABLE Sequential consistency.
1, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 3 1 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 1 ACCEPTABLE Sequential consistency.
2, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 0, 3 19 ACCEPTABLE Sequential consistency.
2, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 0, 1 96 ACCEPTABLE Sequential consistency.
2, 2, 0, 2 28 ACCEPTABLE Sequential consistency.
2, 2, 0, 3 1096 ACCEPTABLE Sequential consistency.
2, 2, 1, 2 152 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 79 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 26 ACCEPTABLE Sequential consistency.
2, 2, 3, 2 76 ACCEPTABLE Sequential consistency.
2, 3, 0, 1 3 ACCEPTABLE Sequential consistency.
2, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 1, 3 2 ACCEPTABLE Sequential consistency.
3, 1, 0, 1 2 ACCEPTABLE Sequential consistency.
3, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 1 ACCEPTABLE Sequential consistency.
3, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 0, 2 1 ACCEPTABLE Sequential consistency.
3, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 0, 1 154 ACCEPTABLE Sequential consistency.
3, 3, 0, 2 3 ACCEPTABLE Sequential consistency.
3, 3, 0, 3 90 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 330 ACCEPTABLE Sequential consistency.
3, 3, 1, 3 161 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 141 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 41 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 1 9715 ACCEPTABLE Sequential consistency.
0, 0, 0, 2 293 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 1203 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 2879 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 308 ACCEPTABLE Sequential consistency.
0, 0, 3, 1 8192 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 3546 ACCEPTABLE Sequential consistency.
0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 2 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 6 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 1 ACCEPTABLE Sequential consistency.
0, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 0, 1 8 ACCEPTABLE Sequential consistency.
0, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 0, 3 6 ACCEPTABLE Sequential consistency.
0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 1 1 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 6 ACCEPTABLE Sequential consistency.
0, 3, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 1 105 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 14 ACCEPTABLE Sequential consistency.
1, 1, 0, 1 206 ACCEPTABLE Sequential consistency.
1, 1, 0, 2 11 ACCEPTABLE Sequential consistency.
1, 1, 0, 3 441 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 585 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 258 ACCEPTABLE Sequential consistency.
1, 1, 3, 1 54 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 821 ACCEPTABLE Sequential consistency.
1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 0, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 2 1 ACCEPTABLE Sequential consistency.
1, 2, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 0, 3 11 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 2 ACCEPTABLE Sequential consistency.
1, 3, 1, 3 1 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 12 ACCEPTABLE Sequential consistency.
2, 1, 0, 1 2 ACCEPTABLE Sequential consistency.
2, 1, 0, 3 2 ACCEPTABLE Sequential consistency.
2, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 0, 1 2079 ACCEPTABLE Sequential consistency.
2, 2, 0, 2 77 ACCEPTABLE Sequential consistency.
2, 2, 0, 3 1148 ACCEPTABLE Sequential consistency.
2, 2, 1, 2 105 ACCEPTABLE Sequential consistency.
2, 2, 1, 3 1216 ACCEPTABLE Sequential consistency.
2, 2, 3, 1 200 ACCEPTABLE Sequential consistency.
2, 2, 3, 2 116 ACCEPTABLE Sequential consistency.
2, 3, 0, 1 2 ACCEPTABLE Sequential consistency.
2, 3, 0, 3 5 ACCEPTABLE Sequential consistency.
2, 3, 1, 3 12 ACCEPTABLE Sequential consistency.
3, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
3, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 1, 2 3 ACCEPTABLE Sequential consistency.
3, 1, 3, 1 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 0, 1 1 ACCEPTABLE Sequential consistency.
3, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 1, 2 2 ACCEPTABLE Sequential consistency.
3, 2, 3, 1 0 ACCEPTABLE Sequential consistency.
3, 2, 3, 2 1 ACCEPTABLE Sequential consistency.
3, 3, 0, 1 889 ACCEPTABLE Sequential consistency.
3, 3, 0, 2 23 ACCEPTABLE Sequential consistency.
3, 3, 0, 3 320 ACCEPTABLE Sequential consistency.
3, 3, 1, 2 367 ACCEPTABLE Sequential consistency.
3, 3, 1, 3 141 ACCEPTABLE Sequential consistency.
3, 3, 3, 1 1255 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 936 ACCEPTABLE Sequential consistency.