null
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false | 117423 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 2423667 | 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 | 497180 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 1112810 | 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 |
---|---|---|---|
false | 1320020 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 1561400 | 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 | 2934991 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 130089 | 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 | 39200 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 51760 | 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 | 242160 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 618880 | 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 | 135977 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 449223 | 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 | 850345 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 1267565 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |