org.openjdk.jcstress.tests.fences.UnfencedDekkerTest

Description and references

Tests the sequential consistency on Dekker-like construction using explicit fences, not volatiles

Environment

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

Test configurations

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 states

Observed state TC 1 TC 2 TC 3 TC 4 TC 5 TC 6 Expectation Interpretation
0, 0 26760 432853 11071 29151 13998 8 ACCEPTABLE_INTERESTING Acceptable with no sequential consistency enforced
0, 1 717762 7383197 1048607 1848065 5802874 124320 ACCEPTABLE Acceptable under sequential consistency
1, 0 439606 1489855 861220 4120861 3098486 76188 ACCEPTABLE Acceptable under sequential consistency
1, 1 0 3 0 1 0 2 ACCEPTABLE Acceptable under sequential consistency
OK OK OK OK OK OK

Auxiliary data