null
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1 | 540481 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 254839 | 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 | 30261 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 48989 | 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 | 860736 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 1246894 | 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 | 679192 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 431518 | 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 | 1748017 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 131293 | 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 | 165889 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 129161 | 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 | 266763 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 65017 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1 | 841647 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 1083013 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |