null
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 85650 | 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 | 0 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 0, 3 | 2072 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 1, 0 | 522 | ACCEPTABLE_INTERESTING | Without fence or volatile can read the default or old value for $x after $y is observed. |
| 1, 1 | 0 | ACCEPTABLE_INTERESTING | Without fence or volatile can 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 | 1350506 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0 | 142464 | 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 | 0 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 0, 3 | 4786 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 1, 0 | 275 | ACCEPTABLE_INTERESTING | Without fence or volatile can read the default or old value for $x after $y is observed. |
| 1, 1 | 0 | ACCEPTABLE_INTERESTING | Without fence or volatile can 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 | 2551745 | 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 | 173700 | 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 | 0 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 0, 3 | 45 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 1, 0 | 58 | ACCEPTABLE_INTERESTING | Without fence or volatile can read the default or old value for $x after $y is observed. |
| 1, 1 | 0 | ACCEPTABLE_INTERESTING | Without fence or volatile can 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 | 3426627 | 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 | 283357 | 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 | 0 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 0, 3 | 367 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 1, 0 | 147 | ACCEPTABLE_INTERESTING | Without fence or volatile can read the default or old value for $x after $y is observed. |
| 1, 1 | 0 | ACCEPTABLE_INTERESTING | Without fence or volatile can 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 | 265129 | 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 | 4900 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 0, 1 | 9 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 0, 2 | 10 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 0, 3 | 12 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 1, 0 | 4 | ACCEPTABLE_INTERESTING | Without fence or volatile can read the default or old value for $x after $y is observed. |
| 1, 1 | 0 | ACCEPTABLE_INTERESTING | Without fence or volatile can read the default or old value for $x after $y is observed. |
| 1, 2 | 3 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
| 1, 3 | 2458682 | 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 | 292387 | 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 | 0 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 0, 3 | 862 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 1, 0 | 469 | ACCEPTABLE_INTERESTING | Without fence or volatile can read the default or old value for $x after $y is observed. |
| 1, 1 | 0 | ACCEPTABLE_INTERESTING | Without fence or volatile can 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 | 4076582 | 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 | 41454 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 0, 1 | 1 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 0, 2 | 58 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 0, 3 | 68 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 1, 0 | 0 | ACCEPTABLE_INTERESTING | Without fence or volatile can read the default or old value for $x after $y is observed. |
| 1, 1 | 0 | ACCEPTABLE_INTERESTING | Without fence or volatile can read the default or old value for $x after $y is observed. |
| 1, 2 | 4 | ACCEPTABLE | Can see a released value of $x if $y is observed. |
| 1, 3 | 48215 | 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 | 96614 | 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 | 1 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 0, 3 | 1481 | ACCEPTABLE | Before observing releasing write to, any value is OK for $x. |
| 1, 0 | 666 | ACCEPTABLE_INTERESTING | Without fence or volatile can read the default or old value for $x after $y is observed. |
| 1, 1 | 0 | ACCEPTABLE_INTERESTING | Without fence or volatile can 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 | 769898 | ACCEPTABLE | Can see a released value of $x if $y is observed. |