null
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 2817670 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 178660 | 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 | 1656658 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 228902 | 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 | 1346674 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 1216936 | 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 | 1025674 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 46486 | 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 | 90327 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 130653 | 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 | 310977 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 269113 | 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 | 230627 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 482353 | 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 | 1011785 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 469665 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |