null
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 818235 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. | |
| A | 2463585 | 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 |
|---|---|---|---|
| 49667 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. | |
| A | 1685273 | 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 |
|---|---|---|---|
| 1053075 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. | |
| A | 1879205 | 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 |
|---|---|---|---|
| 236953 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. | |
| A | 1278277 | 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 |
|---|---|---|---|
| 191322 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. | |
| A | 548998 | 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 |
|---|---|---|---|
| 89929 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. | |
| A | 219171 | 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 |
|---|---|---|---|
| 183241 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. | |
| A | 102819 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 37771 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. | |
| A | 120309 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |