null
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
null | 275561 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 4693719 | 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 |
---|---|---|---|
null | 495127 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 3194503 | 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 |
---|---|---|---|
null | 317689 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 2044931 | 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 |
---|---|---|---|
null | 649124 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 700556 | 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 |
---|---|---|---|
null | 120905 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 2785995 | 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 |
---|---|---|---|
null | 16742 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 108818 | 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 |
---|---|---|---|
null | 103361 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 1212189 | 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 |
---|---|---|---|
null | 178517 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 901453 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |