Tests VarHandle methods which take effect of store load fence.
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
| , A | 118741 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| A, | 119875 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| A, A | 454 | ACCEPTABLE | both actor1 and actor2 observe each other update |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
| , A | 275550 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| A, | 625352 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| A, A | 2348 | ACCEPTABLE | both actor1 and actor2 observe each other update |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
| , A | 1021605 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| A, | 1317737 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| A, A | 1008 | ACCEPTABLE | both actor1 and actor2 observe each other update |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
| , A | 659848 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| A, | 1356054 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| A, A | 618 | ACCEPTABLE | both actor1 and actor2 observe each other update |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
| , A | 727255 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| A, | 658657 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| A, A | 318 | ACCEPTABLE | both actor1 and actor2 observe each other update |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
| , A | 291150 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| A, | 361101 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| A, A | 9 | ACCEPTABLE | both actor1 and actor2 observe each other update |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
| , A | 41814 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| A, | 73426 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| A, A | 2990 | ACCEPTABLE | both actor1 and actor2 observe each other update |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| , | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
| , A | 782454 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| A, | 805277 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| A, A | 4509 | ACCEPTABLE | both actor1 and actor2 observe each other update |