org.openjdk.jcstress.tests.seqcst.sync.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, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 2212 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 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, 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, 3, 0, 2 3730 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 1429 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 711 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 4236 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 782 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 126541 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 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, 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, 3, 0, 2 140500 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 85826 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 249506 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 66851 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 157416 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 18950 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 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, 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, 3, 0, 2 18734 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 29841 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 35883 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 20975 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 59167 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 38 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 6949 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 171 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 191 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 2 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 293 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 141 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 1660 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 3 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 246 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 57 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 222 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 1 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 56 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 1 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 7020 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 1526 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 4 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 2 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 38 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 12 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 74 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 1098 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 69 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 109 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 119 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 125 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 130 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 115 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 5 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 46 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 1248 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 1582 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 1 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 4016 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 102 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 1350 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 1 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 4 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 11301 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 1 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 8164 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 200 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 45 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 2 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 1041 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 10909 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 4060 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 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, 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, 3, 0, 2 3111 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 8686 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 15221 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 5743 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 20169 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 125043 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 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, 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, 3, 0, 2 95735 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 257776 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 139673 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 178607 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 151236 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 2 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 91 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 1 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 1 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 1 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 1 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, 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 1 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 117 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 2 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 1 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 1 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 1 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 1 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 1 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 145 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 68 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 1 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 115 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 3 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 36 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 14251 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 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, 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, 3, 0, 2 11353 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 9913 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 8454 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 9975 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 6564 ACCEPTABLE Sequential consistency.