org.openjdk.jcstress.tests.fences.FencedDekkerTest

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, 1 4608460 1674342 2351803 3371727 3070477 58501 ACCEPTABLE Acceptable under sequential consistency
1, 0 2070526 1188221 1398242 709096 2134778 40381 ACCEPTABLE Acceptable under sequential consistency
1, 1 59172 38115 65213 24185 27813 356 ACCEPTABLE Acceptable under sequential consistency
OK OK OK OK OK OK

Auxiliary data