null
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 588391 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 76909 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 2722637 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 218403 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 3165244 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 62616 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 208431 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 531099 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 1412281 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 213419 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 1848433 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 311737 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-Xint] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 21598 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 80692 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-client] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 255931 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 201559 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |