null
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
false | 108263 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 175117 | 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 | 910091 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 2137229 | 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 | 9139 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 46031 | 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 | 179642 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 945458 | 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 | 384438 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 381352 | 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 | 1379730 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 929180 | 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 | 281404 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 434346 | 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 | 695337 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
true | 968173 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |