null
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0, 0 | 204300 | ACCEPTABLE | Legal: No updates had occured. |
| 0, 0, 1 | 3551 | ACCEPTABLE | Legal: Seeing the update for $guard2, but no other updates. |
| 0, 1, 0 | 306 | ACCEPTABLE | Legal: Seeing the early update for $data, while no updates for guards are visible. |
| 0, 1, 1 | 12938 | ACCEPTABLE | Legal: Seeing the update for $data and $guard2. |
| 1, 0, 0 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 0, 1 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 1, 1 | 609685 | ACCEPTABLE | Legal: Seeing all updates. |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0, 0 | 121290 | ACCEPTABLE | Legal: No updates had occured. |
| 0, 0, 1 | 1473 | ACCEPTABLE | Legal: Seeing the update for $guard2, but no other updates. |
| 0, 1, 0 | 160 | ACCEPTABLE | Legal: Seeing the early update for $data, while no updates for guards are visible. |
| 0, 1, 1 | 5582 | ACCEPTABLE | Legal: Seeing the update for $data and $guard2. |
| 1, 0, 0 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 0, 1 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 1, 1 | 358655 | ACCEPTABLE | Legal: Seeing all updates. |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0, 0 | 1258404 | ACCEPTABLE | Legal: No updates had occured. |
| 0, 0, 1 | 7627 | ACCEPTABLE | Legal: Seeing the update for $guard2, but no other updates. |
| 0, 1, 0 | 1901 | ACCEPTABLE | Legal: Seeing the early update for $data, while no updates for guards are visible. |
| 0, 1, 1 | 31435 | ACCEPTABLE | Legal: Seeing the update for $data and $guard2. |
| 1, 0, 0 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 0, 1 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 1, 1 | 1232433 | ACCEPTABLE | Legal: Seeing all updates. |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0, 0 | 10687 | ACCEPTABLE | Legal: No updates had occured. |
| 0, 0, 1 | 8 | ACCEPTABLE | Legal: Seeing the update for $guard2, but no other updates. |
| 0, 1, 0 | 0 | ACCEPTABLE | Legal: Seeing the early update for $data, while no updates for guards are visible. |
| 0, 1, 1 | 38 | ACCEPTABLE | Legal: Seeing the update for $data and $guard2. |
| 1, 0, 0 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 0, 1 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 1, 1 | 11277 | ACCEPTABLE | Legal: Seeing all updates. |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0, 0 | 242595 | ACCEPTABLE | Legal: No updates had occured. |
| 0, 0, 1 | 3156 | ACCEPTABLE | Legal: Seeing the update for $guard2, but no other updates. |
| 0, 1, 0 | 666 | ACCEPTABLE | Legal: Seeing the early update for $data, while no updates for guards are visible. |
| 0, 1, 1 | 17371 | ACCEPTABLE | Legal: Seeing the update for $data and $guard2. |
| 1, 0, 0 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 0, 1 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 1, 1 | 1006452 | ACCEPTABLE | Legal: Seeing all updates. |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0, 0 | 32577 | ACCEPTABLE | Legal: No updates had occured. |
| 0, 0, 1 | 2422 | ACCEPTABLE | Legal: Seeing the update for $guard2, but no other updates. |
| 0, 1, 0 | 0 | ACCEPTABLE | Legal: Seeing the early update for $data, while no updates for guards are visible. |
| 0, 1, 1 | 9091 | ACCEPTABLE | Legal: Seeing the update for $data and $guard2. |
| 1, 0, 0 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 0, 1 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 1, 1 | 1877130 | ACCEPTABLE | Legal: Seeing all updates. |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0, 0 | 579300 | ACCEPTABLE | Legal: No updates had occured. |
| 0, 0, 1 | 6845 | ACCEPTABLE | Legal: Seeing the update for $guard2, but no other updates. |
| 0, 1, 0 | 777 | ACCEPTABLE | Legal: Seeing the early update for $data, while no updates for guards are visible. |
| 0, 1, 1 | 21870 | ACCEPTABLE | Legal: Seeing the update for $data and $guard2. |
| 1, 0, 0 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 0, 1 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 1, 1 | 949858 | ACCEPTABLE | Legal: Seeing all updates. |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 0, 0, 0 | 450268 | ACCEPTABLE | Legal: No updates had occured. |
| 0, 0, 1 | 4985 | ACCEPTABLE | Legal: Seeing the update for $guard2, but no other updates. |
| 0, 1, 0 | 942 | ACCEPTABLE | Legal: Seeing the early update for $data, while no updates for guards are visible. |
| 0, 1, 1 | 52270 | ACCEPTABLE | Legal: Seeing the update for $data and $guard2. |
| 1, 0, 0 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 0, 1 | 0 | FORBIDDEN | Illegal to see the stale $data once $guard1 is visible |
| 1, 1, 1 | 715685 | ACCEPTABLE | Legal: Seeing all updates. |