null
JVM options: [-client] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false | 1043484 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 1044816 | 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 |
---|---|---|---|
false | 238019 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 1349131 | 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 |
---|---|---|---|
false | 290104 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 960466 | 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 |
---|---|---|---|
false | 52070 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 33730 | 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 |
---|---|---|---|
false | 729492 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 980198 | 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 |
---|---|---|---|
false | 509455 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 1094665 | 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 |
---|---|---|---|
false | 318337 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 271403 | 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 |
---|---|---|---|
false | 637204 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 1239256 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |