null
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false | 910504 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 1808236 | 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 | 13846 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 105004 | 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 | 60762 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 41838 | 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 | 12260 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 2716280 | 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 | 183381 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 571029 | 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 | 196211 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 494099 | 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 | 483904 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 1420606 | 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 | 1055282 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 864998 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |