null
JVM options: [-Xint] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 177712 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 44418 | 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 | 1153256 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 216234 | 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 | 1883696 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 127884 | 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 | 554678 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 16712 | 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 | 404448 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 125202 | 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 | 738709 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 131341 | 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 | 919474 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 236526 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
Observed state | Occurrence | Expectation | Interpretation |
---|---|---|---|
-1 | 2127443 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
0 | 62127 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |