null
JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| null | 499431 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| object | 1004099 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| null | 210890 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| object | 1233740 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-server] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| null | 405788 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| object | 2036622 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| null | 142761 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| object | 2045399 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| null | 97657 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| object | 281083 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| null | 92528 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| object | 787242 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-client] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| null | 57372 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| object | 2153498 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |
JVM options: [-Xint] Iterations: 5 Time: 200
| Observed state | Occurrence | Expectation | Interpretation |
|---|---|---|---|
| null | 53340 | ACCEPTABLE | Default value for the element. Allowed to see this: data race. |
| object | 103300 | ACCEPTABLE | The value set by the actor thread. Observer sees the complete update. |