faulty jcstress sample

Felix Riemann felix.riemann at andrena.de
Thu Aug 30 09:21:08 UTC 2018


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.
The sample is JMMSample_04_PartialOrder.LockGuard, which considers the outcome "0, 1" to be acceptable. This outcome also doesn't show up in the comment block. The @Outcome annotations are probably just copied from the previous sample.

I can't link to the sources right now as https://wiki.openjdk.java.net/display/CodeTools/jcstress is down.


andrena objects ag
Albert-Nestler-Str. 9
76131 Karlsruhe

t: +49 (0) 721 6105 122
f: +49 (0) 721 6105 140


Vorstand: Hagen Buchwald, Dr. Dieter Kuhn, Stefan Schürle
Aufsichtsratsvorsitzender: Rolf Hetzelberger

Sitz der Gesellschaft: Karlsruhe
Amtsgericht Mannheim, HRB 109694
USt-IdNr. DE174314824

More information about the jcstress-dev mailing list