null
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 302621 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 72589 | 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 | 325930 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 275440 | 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 | 840880 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 313400 | 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 | 640653 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 165787 | 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 | 152032 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 55128 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 577582 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 54898 | 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 | 3385 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 48755 | 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 | 124455 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 4835 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |