projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5ec9d0) | patch
action: backtrack/sleep-sets for seq-cst fences
authorBrian Norris <banorris@uci.edu>
Fri, 22 Feb 2013 17:42:00 +0000 (09:42 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 22 Feb 2013 17:43:42 +0000 (09:43 -0800)
commit086fd3b2eae9320656cec2010c69dd70e4a0832a
treea1753cc4d095b5aae950195dbecd7207962e08edtree | snapshot
parentd5ec9d02d3ce4a92811a4515f808efcb0a1326b7commit | diff
action: backtrack/sleep-sets for seq-cst fences

We now backtrack (and wake up sleep-set actions) on all pairs of seq-cst
operations such that at least one of the operations is a write or fence.
action.cc diff | blob | history
C11 Tester Tool Public Repository