null
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1 | 1626800 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 326250 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1 | 725843 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 651337 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1 | 16538 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 31482 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1 | 885344 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 198956 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1 | 569136 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 38444 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1 | 1131214 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 238276 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1 | 1800324 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 100876 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1 | 688078 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 105742 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |