null
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0 | 511326 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 1 | 0 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 2 | 5109 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 3 | 43984 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
1, 0 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 1 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 2 | 2 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
1, 3 | 1946769 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0 | 199145 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 1 | 0 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 2 | 1362 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 3 | 6423 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
1, 0 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 1 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 2 | 0 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
1, 3 | 787660 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
JVM options: [-client] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0 | 21530 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 1 | 0 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 2 | 694 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 3 | 2342 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
1, 0 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 1 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 2 | 0 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
1, 3 | 2246474 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
JVM options: [-Xint] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0 | 50298 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 1 | 0 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 2 | 10990 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 3 | 4787 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
1, 0 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 1 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 2 | 0 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
1, 3 | 12745 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0 | 701158 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 1 | 2 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 2 | 3700 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 3 | 19499 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
1, 0 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 1 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 2 | 0 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
1, 3 | 2418311 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0 | 613452 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 1 | 0 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 2 | 5724 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 3 | 36406 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
1, 0 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 1 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 2 | 0 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
1, 3 | 2235798 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0 | 57596 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 1 | 0 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 2 | 89 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 3 | 2081 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
1, 0 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 1 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 2 | 0 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
1, 3 | 945074 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0, 0 | 79079 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 1 | 0 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 2 | 1419 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
0, 3 | 10150 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
1, 0 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 1 | 0 | FORBIDDEN | Can not read the default or old value for $x after $y is observed. |
1, 2 | 1 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
1, 3 | 2540371 | ACCEPTABLE | Can see a released value of $x if $y is observed. |