Tests VarHandle methods which take effect of store load fence.
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, -1 | 7725 | ACCEPTABLE | both actor1 and actor2 observe each other update |
| -1, 0 | 209253 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| 0, -1 | 265882 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| 0, 0 | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, -1 | 4386 | ACCEPTABLE | both actor1 and actor2 observe each other update |
| -1, 0 | 1417484 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| 0, -1 | 1034660 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| 0, 0 | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, -1 | 1409 | ACCEPTABLE | both actor1 and actor2 observe each other update |
| -1, 0 | 24391 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| 0, -1 | 61480 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| 0, 0 | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, -1 | 807 | ACCEPTABLE | both actor1 and actor2 observe each other update |
| -1, 0 | 825058 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| 0, -1 | 453565 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| 0, 0 | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, -1 | 36 | ACCEPTABLE | both actor1 and actor2 observe each other update |
| -1, 0 | 133380 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| 0, -1 | 252744 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| 0, 0 | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, -1 | 271 | ACCEPTABLE | both actor1 and actor2 observe each other update |
| -1, 0 | 874689 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| 0, -1 | 1223650 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| 0, 0 | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, -1 | 166 | ACCEPTABLE | both actor1 and actor2 observe each other update |
| -1, 0 | 747093 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| 0, -1 | 1635781 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| 0, 0 | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1, -1 | 178 | ACCEPTABLE | both actor1 and actor2 observe each other update |
| -1, 0 | 296221 | ACCEPTABLE | actor1 observe actor2 update, actor2 not yet observe actor1 update |
| 0, -1 | 400011 | ACCEPTABLE | actor2 observe actor1 update, actor1 not yet observe actor2 update |
| 0, 0 | 0 | FORBIDDEN | if r1 = 0, store var must be submitted already before fullFence in actor2, r2 must get the update |