null
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| -1 | 1780395 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 36485 | 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 | 733924 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 334036 | 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 | 2299122 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 766318 | 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 | 1296648 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 443392 | 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 | 1803744 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 513646 | 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 | 62496 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 2464 | 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 | 32329 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 82741 | 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 | 1128231 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
| 0 | 450529 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |