null
JVM options: [-client] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
0.0 | 117884 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
2.3509528E-38 | 277986 | 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 |
---|---|---|---|
0.0 | 38937 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
2.3509528E-38 | 101363 | 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 |
---|---|---|---|
0.0 | 97880 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
2.3509528E-38 | 247550 | 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 |
---|---|---|---|
0.0 | 84737 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
2.3509528E-38 | 70933 | 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 |
---|---|---|---|
0.0 | 116137 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
2.3509528E-38 | 277343 | 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 |
---|---|---|---|
0.0 | 8149 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
2.3509528E-38 | 241 | 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 |
---|---|---|---|
0.0 | 213506 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
2.3509528E-38 | 76604 | 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 |
---|---|---|---|
0.0 | 32213 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
2.3509528E-38 | 220017 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |