Skip to content

Instantly share code, notes, and snippets.

@shipilev

shipilev/gist:9595796

Created March 17, 2014 08:33
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save shipilev/9595796 to your computer and use it in GitHub Desktop.
Save shipilev/9595796 to your computer and use it in GitHub Desktop.
Download ZIP
Quad-core Cortex-A9, jcstress/UnfencedAcquireReleaseTest
Raw
gistfile1.txt
$ jdk8b132/bin/java -server -XX:-RestrictContended -jar jcstress.jar -t ".*UnfencedAcquireReleaseTest.*" -v -f 0 -iters 1000
(ETA: n/a) (R: 5.82E+12) (T: 1/0) (F: 0/0) (I: 0/1000) [OK] o.o.j.t.fences.UnfencedAcquireReleaseTest
Observed state Occurrences Expectation Interpretation
[0, 0] ( 190,046,972) ACCEPTABLE Before observing releasing write to, any value is OK for ...
[0, 1] ( 234) ACCEPTABLE Before observing releasing write to, any value is OK for ...
[0, 2] ( 322) ACCEPTABLE Before observing releasing write to, any value is OK for ...
[0, 3] ( 178,121) ACCEPTABLE Before observing releasing write to, any value is OK for ...
[1, 0] ( 572) ACCEPTABLE_INTERESTING Without fence or volatile can read the default or old val...
[1, 2] ( 223) ACCEPTABLE Can see a released value of $x if $y is observed.
[1, 3] (6,211,022,526) ACCEPTABLE Can see a released value of $x if $y is observed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment