null
| java.specification.name | Java Platform API Specification |
| java.specification.vendor | Oracle Corporation |
| java.specification.version | 10 |
| java.vendor | Oracle Corporation |
| java.version | 10-internal |
| java.vm.name | OpenJDK 64-Bit Server VM |
| java.vm.vendor | Oracle Corporation |
| java.vm.version | 10-internal+0-adhoc.buildslave.jdk10 |
| os.arch | aarch64 |
| os.name | Linux |
| os.version | 4.4.0-63-generic |
| TC 1 | JVM options: [] Iterations: 5 Time: 200 |
| TC 2 | JVM options: [-XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200 |
| TC 3 | JVM options: [-XX:-TieredCompilation] Iterations: 5 Time: 200 |
| TC 4 | JVM options: [-XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200 |
| TC 5 | JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200 |
| TC 6 | JVM options: [-Xint] Iterations: 5 Time: 200 |
| Observed state | TC 1 | TC 2 | TC 3 | TC 4 | TC 5 | TC 6 | Expectation | Interpretation |
|---|---|---|---|---|---|---|---|---|
| 0.0, 0.0 | 11045 | 7169 | 359702 | 228774 | 22128 | 433 | ACCEPTABLE | Default value for the fields. Allowed to see this: data race. |
| 0.0, 1.39067116124321E-309 | 2724 | 2864 | 11080 | 530 | 3558 | 1048 | ACCEPTABLE | Observe second read, but not first: sequential consistency. |
| 1.39067116124321E-309, 1.39067116124321E-309 | 1066979 | 1686045 | 3527556 | 2237394 | 2840072 | 63447 | ACCEPTABLE | Observers sees both read. |
| OK | OK | OK | OK | OK | OK |