null
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 34951 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 534029 | 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 |
|---|---|---|---|
| 63527 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 1343633 | 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 |
|---|---|---|---|
| 300958 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 1985332 | 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 |
|---|---|---|---|
| 62506 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 28664 | 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 |
|---|---|---|---|
| 56283 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 1019577 | 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 |
|---|---|---|---|
| 20568 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 193262 | 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 |
|---|---|---|---|
| 159048 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 830152 | 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 |
|---|---|---|---|
| 47990 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 2767360 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |