org.openjdk.jcstress.tests.seqcst.sync.L1_L1__L1_L1__S1__S1_Test

null

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 0, 1 47873 ACCEPTABLE Sequential consistency.
0, 0, 0, 0, 2 41645 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 1 4106 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 2 7208 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 1 11251 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 2 3173 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 1 6868 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 2 22696 ACCEPTABLE Sequential consistency.
1, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 1 28170 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 2 36200 ACCEPTABLE Sequential consistency.
1, 1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 1 6802 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 2 10172 ACCEPTABLE Sequential consistency.
1, 2, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 1 18079 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 2 18019 ACCEPTABLE Sequential consistency.
2, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 1 8325 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 2 10086 ACCEPTABLE Sequential consistency.
2, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 1 43934 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 2 30743 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 0, 1 3 ACCEPTABLE Sequential consistency.
0, 0, 0, 0, 2 28 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 1 1 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 1 1 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 1 9 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 2 2 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 0, 1 1 ACCEPTABLE Sequential consistency.
0, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 1 1 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 2 1 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 1 1 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 2 1 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 1 7 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 2 3 ACCEPTABLE Sequential consistency.
1, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 2 1 ACCEPTABLE Sequential consistency.
1, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 1 3 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 1 18 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 2 19 ACCEPTABLE Sequential consistency.
1, 1, 1, 2, 2 1 ACCEPTABLE Sequential consistency.
1, 1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 1 28 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 2 12 ACCEPTABLE Sequential consistency.
1, 2, 2, 2, 2 1 ACCEPTABLE Sequential consistency.
2, 0, 0, 1, 1 2 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 1 8 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 1, 1, 1 3 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 1 27 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 2 4 ACCEPTABLE Sequential consistency.
2, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 2, 1 2 ACCEPTABLE Sequential consistency.
2, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 1 47 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 2 55 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 0, 1 3492 ACCEPTABLE Sequential consistency.
0, 0, 0, 0, 2 5345 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 1 1174 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 2 1810 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 1 822 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 2 1685 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 1 1793 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 2 2132 ACCEPTABLE Sequential consistency.
1, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 1 20894 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 2 5963 ACCEPTABLE Sequential consistency.
1, 1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 1 21116 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 2 2365 ACCEPTABLE Sequential consistency.
1, 2, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 1 2069 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 2 1785 ACCEPTABLE Sequential consistency.
2, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 1 20498 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 2 2188 ACCEPTABLE Sequential consistency.
2, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 1 39075 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 2 8154 ACCEPTABLE 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, 0, 1 64276 ACCEPTABLE Sequential consistency.
0, 0, 0, 0, 2 68921 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 1 34909 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 2 28587 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 1 29832 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 2 40743 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 1 36898 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 2 28681 ACCEPTABLE Sequential consistency.
1, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 1 94178 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 2 31674 ACCEPTABLE Sequential consistency.
1, 1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 1 29996 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 2 16768 ACCEPTABLE Sequential consistency.
1, 2, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 1 30110 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 2 34889 ACCEPTABLE Sequential consistency.
2, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 1 18070 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 2 15770 ACCEPTABLE Sequential consistency.
2, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 1 42567 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 2 67931 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 0, 1 125 ACCEPTABLE Sequential consistency.
0, 0, 0, 0, 2 27 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 2 1 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 2 1 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 1 1 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 2 29 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 2 1 ACCEPTABLE Sequential consistency.
0, 1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 1, 2 1 ACCEPTABLE Sequential consistency.
0, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 1 78 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 2 90 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 1 65 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 2 32 ACCEPTABLE Sequential consistency.
1, 0, 0, 2, 2 1 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 1 72 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 2 60 ACCEPTABLE Sequential consistency.
1, 1, 1, 2, 2 1 ACCEPTABLE Sequential consistency.
1, 1, 2, 1, 2 1 ACCEPTABLE Sequential consistency.
1, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 1 38 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 2 33 ACCEPTABLE Sequential consistency.
1, 2, 2, 2, 2 1 ACCEPTABLE Sequential consistency.
2, 0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 1 48 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 2 21 ACCEPTABLE Sequential consistency.
2, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 2 2 ACCEPTABLE Sequential consistency.
2, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 1, 1, 1 1 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 1 20 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 2 40 ACCEPTABLE Sequential consistency.
2, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 1 63 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 2 107 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 0, 1 1496 ACCEPTABLE Sequential consistency.
0, 0, 0, 0, 2 1510 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 1 22 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 2 80 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 1 120 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 2 10 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 1 18 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 2 89 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 1 71 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 2 107 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 1 37 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 2 20 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 1 92 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 2 16 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 1 47 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 2 37 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 1 128 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 2 95 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 1 150 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 2 285 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 1 107 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 2 153 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 1 84 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 2 2 ACCEPTABLE Sequential consistency.
0, 1, 2, 0, 2 14 ACCEPTABLE Sequential consistency.
0, 1, 2, 1, 2 54 ACCEPTABLE Sequential consistency.
0, 1, 2, 2, 2 50 ACCEPTABLE Sequential consistency.
0, 2, 1, 0, 1 17 ACCEPTABLE Sequential consistency.
0, 2, 1, 1, 1 60 ACCEPTABLE Sequential consistency.
0, 2, 1, 2, 1 27 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 1 475 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 2 161 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 1 4 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 2 165 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 1 141 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 2 143 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 1 317 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 2 362 ACCEPTABLE Sequential consistency.
1, 0, 0, 2, 2 18 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 1 282 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 2 155 ACCEPTABLE Sequential consistency.
1, 0, 1, 2, 2 69 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 1 359 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 2 6 ACCEPTABLE Sequential consistency.
1, 0, 2, 2, 2 71 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 1 15770 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 2 4126 ACCEPTABLE Sequential consistency.
1, 1, 1, 2, 2 124 ACCEPTABLE Sequential consistency.
1, 1, 2, 1, 2 150 ACCEPTABLE Sequential consistency.
1, 1, 2, 2, 2 80 ACCEPTABLE Sequential consistency.
1, 2, 1, 1, 1 700 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 1 4494 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 2 2685 ACCEPTABLE Sequential consistency.
1, 2, 2, 2, 2 222 ACCEPTABLE Sequential consistency.
2, 0, 0, 1, 1 38 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 1 511 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 2 186 ACCEPTABLE Sequential consistency.
2, 0, 1, 1, 1 129 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 1 9 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 2 138 ACCEPTABLE Sequential consistency.
2, 0, 2, 1, 1 181 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 1 290 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 2 137 ACCEPTABLE Sequential consistency.
2, 1, 1, 1, 1 272 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 1 1173 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 2 1670 ACCEPTABLE Sequential consistency.
2, 1, 2, 2, 2 321 ACCEPTABLE Sequential consistency.
2, 2, 1, 1, 1 121 ACCEPTABLE Sequential consistency.
2, 2, 1, 2, 1 106 ACCEPTABLE Sequential consistency.
2, 2, 2, 1, 1 369 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 1 4330 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 2 11602 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 0, 1 54540 ACCEPTABLE Sequential consistency.
0, 0, 0, 0, 2 49566 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 1 13284 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 2 22379 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 1 29789 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 2 19268 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 1 15162 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 2 26511 ACCEPTABLE Sequential consistency.
1, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 1 15539 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 2 26930 ACCEPTABLE Sequential consistency.
1, 1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 1 11671 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 2 17892 ACCEPTABLE Sequential consistency.
1, 2, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 1 24025 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 2 16828 ACCEPTABLE Sequential consistency.
2, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 1 12457 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 2 5633 ACCEPTABLE Sequential consistency.
2, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 1 35847 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 2 13259 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 0, 0, 1 10261 ACCEPTABLE Sequential consistency.
0, 0, 0, 0, 2 8393 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 1 3216 ACCEPTABLE Sequential consistency.
0, 1, 1, 0, 2 3384 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 1 1743 ACCEPTABLE Sequential consistency.
0, 2, 2, 0, 2 3355 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 1 3279 ACCEPTABLE Sequential consistency.
1, 0, 0, 1, 2 3189 ACCEPTABLE Sequential consistency.
1, 0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 1 15547 ACCEPTABLE Sequential consistency.
1, 1, 1, 1, 2 100025 ACCEPTABLE Sequential consistency.
1, 1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 1 3455 ACCEPTABLE Sequential consistency.
1, 2, 2, 1, 2 27084 ACCEPTABLE Sequential consistency.
1, 2, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 0, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 1 3579 ACCEPTABLE Sequential consistency.
2, 0, 0, 2, 2 4620 ACCEPTABLE Sequential consistency.
2, 0, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 1 10867 ACCEPTABLE Sequential consistency.
2, 1, 1, 2, 2 90957 ACCEPTABLE Sequential consistency.
2, 1, 2, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 1, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 1 9830 ACCEPTABLE Sequential consistency.
2, 2, 2, 2, 2 40346 ACCEPTABLE Sequential consistency.