faulty jcstress sample

Vladimir Sitnikov sitnikov.vladimir at gmail.com
Thu Aug 30 09:47:01 UTC 2018


Felix>I was tinkering with jcstress and had a look at the samples, and
found one outcome declared as acceptable which as far as I understand
shouldn't be.

+1.

(0,1) should be forbidden there

Felix>I can't link to the sources right now

This link works for me
http://hg.openjdk.java.net/code-tools/jcstress/file/64f2cf32fa0a/jcstress-samples/src/main/java/org/openjdk/jcstress/samples/JMMSample_04_PartialOrder.java#l189


Vladimir

>


More information about the jcstress-dev mailing list