org.openjdk.jcstress.tests.seqcst.volatiles.L1_L1__S1__S1__S1_S1_Test

null

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

Observed state Occurrence Expectation Interpretation
0, 0, 1 0 ACCEPTABLE Sequential consistency.
0, 0, 3 10 ACCEPTABLE Sequential consistency.
0, 0, 4 22 ACCEPTABLE Sequential consistency.
0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 4 2 ACCEPTABLE Sequential consistency.
0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 0 ACCEPTABLE Sequential consistency.
0, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 4 0 ACCEPTABLE Sequential consistency.
0, 4, 1 0 ACCEPTABLE Sequential consistency.
0, 4, 3 0 ACCEPTABLE Sequential consistency.
0, 4, 4 0 ACCEPTABLE Sequential consistency.
1, 1, 1 27 ACCEPTABLE Sequential consistency.
1, 1, 3 9 ACCEPTABLE Sequential consistency.
1, 1, 4 70 ACCEPTABLE Sequential consistency.
1, 2, 3 1 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 3 1 ACCEPTABLE Sequential consistency.
1, 3, 4 0 ACCEPTABLE Sequential consistency.
1, 4, 3 0 ACCEPTABLE Sequential consistency.
1, 4, 4 0 ACCEPTABLE Sequential consistency.
2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 4 0 ACCEPTABLE Sequential consistency.
2, 3, 1 2 ACCEPTABLE Sequential consistency.
2, 3, 3 6 ACCEPTABLE Sequential consistency.
2, 3, 4 1 ACCEPTABLE Sequential consistency.
2, 4, 1 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 0 ACCEPTABLE Sequential consistency.
3, 1, 1 0 ACCEPTABLE Sequential consistency.
3, 1, 4 1 ACCEPTABLE Sequential consistency.
3, 3, 1 20 ACCEPTABLE Sequential consistency.
3, 3, 3 72 ACCEPTABLE Sequential consistency.
3, 3, 4 39 ACCEPTABLE Sequential consistency.
3, 4, 1 2 ACCEPTABLE Sequential consistency.
3, 4, 4 1 ACCEPTABLE Sequential consistency.
4, 1, 1 0 ACCEPTABLE Sequential consistency.
4, 1, 3 2 ACCEPTABLE Sequential consistency.
4, 2, 1 1 ACCEPTABLE Sequential consistency.
4, 2, 3 2 ACCEPTABLE Sequential consistency.
4, 3, 1 0 ACCEPTABLE Sequential consistency.
4, 3, 3 1 ACCEPTABLE Sequential consistency.
4, 4, 1 16 ACCEPTABLE Sequential consistency.
4, 4, 3 15 ACCEPTABLE Sequential consistency.
4, 4, 4 77 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 1 86574 ACCEPTABLE Sequential consistency.
0, 0, 3 219110 ACCEPTABLE Sequential consistency.
0, 0, 4 218784 ACCEPTABLE Sequential consistency.
0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 3 308 ACCEPTABLE Sequential consistency.
0, 1, 4 153 ACCEPTABLE Sequential consistency.
0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 0 ACCEPTABLE Sequential consistency.
0, 3, 1 200 ACCEPTABLE Sequential consistency.
0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 4 291 ACCEPTABLE Sequential consistency.
0, 4, 1 67 ACCEPTABLE Sequential consistency.
0, 4, 3 83 ACCEPTABLE Sequential consistency.
0, 4, 4 2 ACCEPTABLE Sequential consistency.
1, 1, 1 2783 ACCEPTABLE Sequential consistency.
1, 1, 3 7776 ACCEPTABLE Sequential consistency.
1, 1, 4 3344 ACCEPTABLE Sequential consistency.
1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 3 1 ACCEPTABLE Sequential consistency.
1, 3, 4 28 ACCEPTABLE Sequential consistency.
1, 4, 3 10 ACCEPTABLE Sequential consistency.
1, 4, 4 0 ACCEPTABLE Sequential consistency.
2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 1 57 ACCEPTABLE Sequential consistency.
2, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 4 54 ACCEPTABLE Sequential consistency.
2, 3, 1 2 ACCEPTABLE Sequential consistency.
2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 4 0 ACCEPTABLE Sequential consistency.
2, 4, 1 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 0 ACCEPTABLE Sequential consistency.
3, 1, 1 9 ACCEPTABLE Sequential consistency.
3, 1, 4 2 ACCEPTABLE Sequential consistency.
3, 3, 1 4093 ACCEPTABLE Sequential consistency.
3, 3, 3 3914 ACCEPTABLE Sequential consistency.
3, 3, 4 4625 ACCEPTABLE Sequential consistency.
3, 4, 1 3 ACCEPTABLE Sequential consistency.
3, 4, 4 6 ACCEPTABLE Sequential consistency.
4, 1, 1 2 ACCEPTABLE Sequential consistency.
4, 1, 3 100 ACCEPTABLE Sequential consistency.
4, 2, 1 0 ACCEPTABLE Sequential consistency.
4, 2, 3 0 ACCEPTABLE Sequential consistency.
4, 3, 1 34 ACCEPTABLE Sequential consistency.
4, 3, 3 3 ACCEPTABLE Sequential consistency.
4, 4, 1 2849 ACCEPTABLE Sequential consistency.
4, 4, 3 8299 ACCEPTABLE Sequential consistency.
4, 4, 4 3234 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 1 21621 ACCEPTABLE Sequential consistency.
0, 0, 3 17078 ACCEPTABLE Sequential consistency.
0, 0, 4 19758 ACCEPTABLE Sequential consistency.
0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 3 905 ACCEPTABLE Sequential consistency.
0, 1, 4 347 ACCEPTABLE Sequential consistency.
0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 0 ACCEPTABLE Sequential consistency.
0, 3, 1 2809 ACCEPTABLE Sequential consistency.
0, 3, 3 49 ACCEPTABLE Sequential consistency.
0, 3, 4 2795 ACCEPTABLE Sequential consistency.
0, 4, 1 361 ACCEPTABLE Sequential consistency.
0, 4, 3 1069 ACCEPTABLE Sequential consistency.
0, 4, 4 1 ACCEPTABLE Sequential consistency.
1, 1, 1 1478 ACCEPTABLE Sequential consistency.
1, 1, 3 4367 ACCEPTABLE Sequential consistency.
1, 1, 4 1718 ACCEPTABLE Sequential consistency.
1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 3 3631 ACCEPTABLE Sequential consistency.
1, 3, 4 519 ACCEPTABLE Sequential consistency.
1, 4, 3 33 ACCEPTABLE Sequential consistency.
1, 4, 4 157 ACCEPTABLE Sequential consistency.
2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 1 81 ACCEPTABLE Sequential consistency.
2, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 4 76 ACCEPTABLE Sequential consistency.
2, 3, 1 28 ACCEPTABLE Sequential consistency.
2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 4 26 ACCEPTABLE Sequential consistency.
2, 4, 1 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 0 ACCEPTABLE Sequential consistency.
3, 1, 1 405 ACCEPTABLE Sequential consistency.
3, 1, 4 323 ACCEPTABLE Sequential consistency.
3, 3, 1 4717 ACCEPTABLE Sequential consistency.
3, 3, 3 1282 ACCEPTABLE Sequential consistency.
3, 3, 4 5312 ACCEPTABLE Sequential consistency.
3, 4, 1 108 ACCEPTABLE Sequential consistency.
3, 4, 4 315 ACCEPTABLE Sequential consistency.
4, 1, 1 36 ACCEPTABLE Sequential consistency.
4, 1, 3 99 ACCEPTABLE Sequential consistency.
4, 2, 1 0 ACCEPTABLE Sequential consistency.
4, 2, 3 0 ACCEPTABLE Sequential consistency.
4, 3, 1 504 ACCEPTABLE Sequential consistency.
4, 3, 3 4223 ACCEPTABLE Sequential consistency.
4, 4, 1 1146 ACCEPTABLE Sequential consistency.
4, 4, 3 4890 ACCEPTABLE Sequential consistency.
4, 4, 4 1763 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 1 91282 ACCEPTABLE Sequential consistency.
0, 0, 3 244936 ACCEPTABLE Sequential consistency.
0, 0, 4 119191 ACCEPTABLE Sequential consistency.
0, 1, 1 54 ACCEPTABLE Sequential consistency.
0, 1, 3 15772 ACCEPTABLE Sequential consistency.
0, 1, 4 10229 ACCEPTABLE Sequential consistency.
0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 1 ACCEPTABLE Sequential consistency.
0, 3, 1 11728 ACCEPTABLE Sequential consistency.
0, 3, 3 361 ACCEPTABLE Sequential consistency.
0, 3, 4 10228 ACCEPTABLE Sequential consistency.
0, 4, 1 6712 ACCEPTABLE Sequential consistency.
0, 4, 3 9594 ACCEPTABLE Sequential consistency.
0, 4, 4 53 ACCEPTABLE Sequential consistency.
1, 1, 1 18867 ACCEPTABLE Sequential consistency.
1, 1, 3 113666 ACCEPTABLE Sequential consistency.
1, 1, 4 43781 ACCEPTABLE Sequential consistency.
1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 3 4264 ACCEPTABLE Sequential consistency.
1, 3, 4 1858 ACCEPTABLE Sequential consistency.
1, 4, 3 131 ACCEPTABLE Sequential consistency.
1, 4, 4 423 ACCEPTABLE Sequential consistency.
2, 1, 1 1 ACCEPTABLE Sequential consistency.
2, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 1 153 ACCEPTABLE Sequential consistency.
2, 2, 3 70 ACCEPTABLE Sequential consistency.
2, 2, 4 238 ACCEPTABLE Sequential consistency.
2, 3, 1 9 ACCEPTABLE Sequential consistency.
2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 4 9 ACCEPTABLE Sequential consistency.
2, 4, 1 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 3 ACCEPTABLE Sequential consistency.
3, 1, 1 6509 ACCEPTABLE Sequential consistency.
3, 1, 4 2632 ACCEPTABLE Sequential consistency.
3, 3, 1 87163 ACCEPTABLE Sequential consistency.
3, 3, 3 41122 ACCEPTABLE Sequential consistency.
3, 3, 4 125285 ACCEPTABLE Sequential consistency.
3, 4, 1 2142 ACCEPTABLE Sequential consistency.
3, 4, 4 7039 ACCEPTABLE Sequential consistency.
4, 1, 1 462 ACCEPTABLE Sequential consistency.
4, 1, 3 1096 ACCEPTABLE Sequential consistency.
4, 2, 1 0 ACCEPTABLE Sequential consistency.
4, 2, 3 0 ACCEPTABLE Sequential consistency.
4, 3, 1 1831 ACCEPTABLE Sequential consistency.
4, 3, 3 4851 ACCEPTABLE Sequential consistency.
4, 4, 1 29234 ACCEPTABLE Sequential consistency.
4, 4, 3 121081 ACCEPTABLE Sequential consistency.
4, 4, 4 31429 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, 1 373 ACCEPTABLE Sequential consistency.
0, 0, 3 268 ACCEPTABLE Sequential consistency.
0, 0, 4 559 ACCEPTABLE Sequential consistency.
0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 4 0 ACCEPTABLE Sequential consistency.
0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 0 ACCEPTABLE Sequential consistency.
0, 3, 1 0 ACCEPTABLE Sequential consistency.
0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 4 0 ACCEPTABLE Sequential consistency.
0, 4, 1 0 ACCEPTABLE Sequential consistency.
0, 4, 3 0 ACCEPTABLE Sequential consistency.
0, 4, 4 0 ACCEPTABLE Sequential consistency.
1, 1, 1 104 ACCEPTABLE Sequential consistency.
1, 1, 3 558 ACCEPTABLE Sequential consistency.
1, 1, 4 233 ACCEPTABLE Sequential consistency.
1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 4 0 ACCEPTABLE Sequential consistency.
1, 4, 3 0 ACCEPTABLE Sequential consistency.
1, 4, 4 0 ACCEPTABLE Sequential consistency.
2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 1 6 ACCEPTABLE Sequential consistency.
2, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 4 0 ACCEPTABLE Sequential consistency.
2, 3, 1 0 ACCEPTABLE Sequential consistency.
2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 4 0 ACCEPTABLE Sequential consistency.
2, 4, 1 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 0 ACCEPTABLE Sequential consistency.
3, 1, 1 0 ACCEPTABLE Sequential consistency.
3, 1, 4 0 ACCEPTABLE Sequential consistency.
3, 3, 1 321 ACCEPTABLE Sequential consistency.
3, 3, 3 285 ACCEPTABLE Sequential consistency.
3, 3, 4 135 ACCEPTABLE Sequential consistency.
3, 4, 1 0 ACCEPTABLE Sequential consistency.
3, 4, 4 0 ACCEPTABLE Sequential consistency.
4, 1, 1 0 ACCEPTABLE Sequential consistency.
4, 1, 3 0 ACCEPTABLE Sequential consistency.
4, 2, 1 0 ACCEPTABLE Sequential consistency.
4, 2, 3 0 ACCEPTABLE Sequential consistency.
4, 3, 1 0 ACCEPTABLE Sequential consistency.
4, 3, 3 0 ACCEPTABLE Sequential consistency.
4, 4, 1 125 ACCEPTABLE Sequential consistency.
4, 4, 3 350 ACCEPTABLE Sequential consistency.
4, 4, 4 93 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 1 3224 ACCEPTABLE Sequential consistency.
0, 0, 3 4839 ACCEPTABLE Sequential consistency.
0, 0, 4 3527 ACCEPTABLE Sequential consistency.
0, 1, 1 0 ACCEPTABLE Sequential consistency.
0, 1, 3 3 ACCEPTABLE Sequential consistency.
0, 1, 4 0 ACCEPTABLE Sequential consistency.
0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 0 ACCEPTABLE Sequential consistency.
0, 3, 1 6 ACCEPTABLE Sequential consistency.
0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 4 1 ACCEPTABLE Sequential consistency.
0, 4, 1 3 ACCEPTABLE Sequential consistency.
0, 4, 3 1 ACCEPTABLE Sequential consistency.
0, 4, 4 0 ACCEPTABLE Sequential consistency.
1, 1, 1 336 ACCEPTABLE Sequential consistency.
1, 1, 3 494 ACCEPTABLE Sequential consistency.
1, 1, 4 325 ACCEPTABLE Sequential consistency.
1, 2, 3 2 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 3 2 ACCEPTABLE Sequential consistency.
1, 3, 4 1 ACCEPTABLE Sequential consistency.
1, 4, 3 0 ACCEPTABLE Sequential consistency.
1, 4, 4 0 ACCEPTABLE Sequential consistency.
2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 1 0 ACCEPTABLE Sequential consistency.
2, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 4 0 ACCEPTABLE Sequential consistency.
2, 3, 1 0 ACCEPTABLE Sequential consistency.
2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 4 1 ACCEPTABLE Sequential consistency.
2, 4, 1 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 0 ACCEPTABLE Sequential consistency.
3, 1, 1 1 ACCEPTABLE Sequential consistency.
3, 1, 4 0 ACCEPTABLE Sequential consistency.
3, 3, 1 494 ACCEPTABLE Sequential consistency.
3, 3, 3 383 ACCEPTABLE Sequential consistency.
3, 3, 4 494 ACCEPTABLE Sequential consistency.
3, 4, 1 1 ACCEPTABLE Sequential consistency.
3, 4, 4 1 ACCEPTABLE Sequential consistency.
4, 1, 1 0 ACCEPTABLE Sequential consistency.
4, 1, 3 0 ACCEPTABLE Sequential consistency.
4, 2, 1 0 ACCEPTABLE Sequential consistency.
4, 2, 3 0 ACCEPTABLE Sequential consistency.
4, 3, 1 0 ACCEPTABLE Sequential consistency.
4, 3, 3 4 ACCEPTABLE Sequential consistency.
4, 4, 1 354 ACCEPTABLE Sequential consistency.
4, 4, 3 747 ACCEPTABLE Sequential consistency.
4, 4, 4 256 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 1 333389 ACCEPTABLE Sequential consistency.
0, 0, 3 407709 ACCEPTABLE Sequential consistency.
0, 0, 4 471653 ACCEPTABLE Sequential consistency.
0, 1, 1 28 ACCEPTABLE Sequential consistency.
0, 1, 3 5357 ACCEPTABLE Sequential consistency.
0, 1, 4 8938 ACCEPTABLE Sequential consistency.
0, 2, 1 8 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 7 ACCEPTABLE Sequential consistency.
0, 3, 1 3448 ACCEPTABLE Sequential consistency.
0, 3, 3 12 ACCEPTABLE Sequential consistency.
0, 3, 4 3893 ACCEPTABLE Sequential consistency.
0, 4, 1 5164 ACCEPTABLE Sequential consistency.
0, 4, 3 5194 ACCEPTABLE Sequential consistency.
0, 4, 4 5 ACCEPTABLE Sequential consistency.
1, 1, 1 8284 ACCEPTABLE Sequential consistency.
1, 1, 3 44426 ACCEPTABLE Sequential consistency.
1, 1, 4 46606 ACCEPTABLE Sequential consistency.
1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 3 589 ACCEPTABLE Sequential consistency.
1, 3, 4 3561 ACCEPTABLE Sequential consistency.
1, 4, 3 1363 ACCEPTABLE Sequential consistency.
1, 4, 4 6354 ACCEPTABLE Sequential consistency.
2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 4 18 ACCEPTABLE Sequential consistency.
2, 2, 1 27 ACCEPTABLE Sequential consistency.
2, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 4 64 ACCEPTABLE Sequential consistency.
2, 3, 1 1 ACCEPTABLE Sequential consistency.
2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 4 19 ACCEPTABLE Sequential consistency.
2, 4, 1 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 0 ACCEPTABLE Sequential consistency.
3, 1, 1 6651 ACCEPTABLE Sequential consistency.
3, 1, 4 3737 ACCEPTABLE Sequential consistency.
3, 3, 1 15657 ACCEPTABLE Sequential consistency.
3, 3, 3 3874 ACCEPTABLE Sequential consistency.
3, 3, 4 26731 ACCEPTABLE Sequential consistency.
3, 4, 1 225 ACCEPTABLE Sequential consistency.
3, 4, 4 730 ACCEPTABLE Sequential consistency.
4, 1, 1 4145 ACCEPTABLE Sequential consistency.
4, 1, 3 10162 ACCEPTABLE Sequential consistency.
4, 2, 1 0 ACCEPTABLE Sequential consistency.
4, 2, 3 0 ACCEPTABLE Sequential consistency.
4, 3, 1 209 ACCEPTABLE Sequential consistency.
4, 3, 3 153 ACCEPTABLE Sequential consistency.
4, 4, 1 25690 ACCEPTABLE Sequential consistency.
4, 4, 3 57300 ACCEPTABLE Sequential consistency.
4, 4, 4 8899 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 1 198354 ACCEPTABLE Sequential consistency.
0, 0, 3 161388 ACCEPTABLE Sequential consistency.
0, 0, 4 159084 ACCEPTABLE Sequential consistency.
0, 1, 1 17 ACCEPTABLE Sequential consistency.
0, 1, 3 233 ACCEPTABLE Sequential consistency.
0, 1, 4 10 ACCEPTABLE Sequential consistency.
0, 2, 1 0 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 0 ACCEPTABLE Sequential consistency.
0, 3, 1 781 ACCEPTABLE Sequential consistency.
0, 3, 3 15 ACCEPTABLE Sequential consistency.
0, 3, 4 679 ACCEPTABLE Sequential consistency.
0, 4, 1 14 ACCEPTABLE Sequential consistency.
0, 4, 3 213 ACCEPTABLE Sequential consistency.
0, 4, 4 12 ACCEPTABLE Sequential consistency.
1, 1, 1 15550 ACCEPTABLE Sequential consistency.
1, 1, 3 8891 ACCEPTABLE Sequential consistency.
1, 1, 4 706 ACCEPTABLE Sequential consistency.
1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 3 15 ACCEPTABLE Sequential consistency.
1, 3, 4 1 ACCEPTABLE Sequential consistency.
1, 4, 3 0 ACCEPTABLE Sequential consistency.
1, 4, 4 18 ACCEPTABLE Sequential consistency.
2, 1, 1 0 ACCEPTABLE Sequential consistency.
2, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 1 385 ACCEPTABLE Sequential consistency.
2, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 4 431 ACCEPTABLE Sequential consistency.
2, 3, 1 1 ACCEPTABLE Sequential consistency.
2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 4 0 ACCEPTABLE Sequential consistency.
2, 4, 1 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 0 ACCEPTABLE Sequential consistency.
3, 1, 1 18 ACCEPTABLE Sequential consistency.
3, 1, 4 10 ACCEPTABLE Sequential consistency.
3, 3, 1 21831 ACCEPTABLE Sequential consistency.
3, 3, 3 5656 ACCEPTABLE Sequential consistency.
3, 3, 4 20429 ACCEPTABLE Sequential consistency.
3, 4, 1 12 ACCEPTABLE Sequential consistency.
3, 4, 4 11 ACCEPTABLE Sequential consistency.
4, 1, 1 5 ACCEPTABLE Sequential consistency.
4, 1, 3 3 ACCEPTABLE Sequential consistency.
4, 2, 1 0 ACCEPTABLE Sequential consistency.
4, 2, 3 0 ACCEPTABLE Sequential consistency.
4, 3, 1 3 ACCEPTABLE Sequential consistency.
4, 3, 3 16 ACCEPTABLE Sequential consistency.
4, 4, 1 2506 ACCEPTABLE Sequential consistency.
4, 4, 3 5920 ACCEPTABLE Sequential consistency.
4, 4, 4 13382 ACCEPTABLE Sequential consistency.