null
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 436098 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 1418142 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| 1535395 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 1291195 | 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 |
|---|---|---|---|
| 1485932 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 1196818 | 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 |
|---|---|---|---|
| 234944 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 642906 | 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 |
|---|---|---|---|
| 73119 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 1289191 | 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 |
|---|---|---|---|
| 2776425 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 1085455 | 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 |
|---|---|---|---|
| 844180 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 1212420 | 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 |
|---|---|---|---|
| 89142 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. | |
| A | 154168 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |