null
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 807144 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 616556 | 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 | 438947 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 46113 | 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 | 289091 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 44819 | 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 | 13119 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 5121 | 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 | 146865 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 104995 | 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 | 896 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 30304 | 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 | 1159608 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 309772 | 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 | 173672 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 60618 | ACCEPTABLE | Default value for the field. Allowed to see this: data race. |