null
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 102013 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 1 | 0 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 2 | 4297 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 3 | 730 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 1, 0 | 0 | FORBIDDEN | Can't read the default value for $x after $y is effective. |
| 1, 1 | 0 | FORBIDDEN | Can't read the stale value for $x after $y is effective. |
| 1, 2 | 502 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
| 1, 3 | 743018 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 53633 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 1 | 0 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 2 | 3 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 3 | 3 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 1, 0 | 0 | FORBIDDEN | Can't read the default value for $x after $y is effective. |
| 1, 1 | 0 | FORBIDDEN | Can't read the stale value for $x after $y is effective. |
| 1, 2 | 0 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
| 1, 3 | 20021 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 212629 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 1 | 0 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 2 | 9185 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 3 | 2209 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 1, 0 | 0 | FORBIDDEN | Can't read the default value for $x after $y is effective. |
| 1, 1 | 0 | FORBIDDEN | Can't read the stale value for $x after $y is effective. |
| 1, 2 | 6291 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
| 1, 3 | 543796 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 64849 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 1 | 0 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 2 | 1446 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 3 | 831 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 1, 0 | 0 | FORBIDDEN | Can't read the default value for $x after $y is effective. |
| 1, 1 | 0 | FORBIDDEN | Can't read the stale value for $x after $y is effective. |
| 1, 2 | 324 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
| 1, 3 | 175020 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 388259 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 1 | 0 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 2 | 19645 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 3 | 3122 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 1, 0 | 0 | FORBIDDEN | Can't read the default value for $x after $y is effective. |
| 1, 1 | 0 | FORBIDDEN | Can't read the stale value for $x after $y is effective. |
| 1, 2 | 416 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
| 1, 3 | 1515048 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 378312 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 1 | 0 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 2 | 24577 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 3 | 3066 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 1, 0 | 0 | FORBIDDEN | Can't read the default value for $x after $y is effective. |
| 1, 1 | 0 | FORBIDDEN | Can't read the stale value for $x after $y is effective. |
| 1, 2 | 5526 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
| 1, 3 | 760269 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 5860 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 1 | 0 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 2 | 150 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 3 | 560 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 1, 0 | 0 | FORBIDDEN | Can't read the default value for $x after $y is effective. |
| 1, 1 | 0 | FORBIDDEN | Can't read the stale value for $x after $y is effective. |
| 1, 2 | 152 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
| 1, 3 | 2270728 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 158222 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 1 | 0 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 2 | 10532 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 0, 3 | 2408 | ACCEPTABLE | Volatile write to $y did not yet happened, the observer is allowed to see any value for $x. |
| 1, 0 | 0 | FORBIDDEN | Can't read the default value for $x after $y is effective. |
| 1, 1 | 0 | FORBIDDEN | Can't read the stale value for $x after $y is effective. |
| 1, 2 | 258 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |
| 1, 3 | 770100 | ACCEPTABLE | Can see either after volatile write to $y is in effect. |