execution: bugfix - backtrack seq-cst fences properly
authorBrian Norris <banorris@uci.edu>
Wed, 17 Apr 2013 17:46:19 +0000 (10:46 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 17 Apr 2013 18:02:29 +0000 (11:02 -0700)
The commented-out ATOMIC_FENCE should not be commented out; the note
that "fences don't directly cause backtracking" is false for seq-cst
fences. We intend to backtrack for all seq-cst fences, so we need to
perform the appropriate 'get conflict' search for all fences.


No differences found