null
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false | 46770 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| true | 96850 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false | 141632 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| true | 655358 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false | 154592 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| true | 1053118 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false | 294913 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| true | 2388137 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false | 1348124 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| true | 2064766 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false | 304970 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| true | 1616760 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false | 73919 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| true | 2491021 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| false | 660692 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| true | 2385128 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |