null
JVM options: [-client] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
null | 55128 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 338752 | 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 |
---|---|---|---|
null | 416165 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 907425 | 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 | 383456 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 746824 | 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 | 1357312 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 801648 | 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 | 6636 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 104184 | 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 | 482683 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 1071647 | 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 | 58080 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 16130 | 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 | 1492287 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
object | 708333 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |