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)
commiteb6e8431496fc3dfd7638fbfba4229f7215f6308
tree162e8367c27351b1764b845d12cf6442da90e931
parent960e943616c59281fc10cd274ca04300d66c6391
execution: bugfix - backtrack seq-cst fences properly

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.
execution.cc