null
[1]JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 1358715 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 66095 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
JVM options: [-server] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 1402195 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 405955 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
JVM options: [-client] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 1025751 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 142209 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 1152265 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 195355 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 1124251 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 354759 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
JVM options: [-Xint] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 101902 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 37348 | ACCEPTABLE | Default value for the element. 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 | 736354 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 169386 | ACCEPTABLE | Default value for the element. 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 | 1207747 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 144873 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |