bug in fence support fixed
authorbdemsky <bdemsky@uci.edu>
Wed, 24 Feb 2016 00:07:39 +0000 (16:07 -0800)
committerbdemsky <bdemsky@uci.edu>
Wed, 24 Feb 2016 00:07:39 +0000 (16:07 -0800)
action.cc

index 876de12..d4c6253 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -330,7 +330,7 @@ bool ModelAction::could_synchronize_with(const ModelAction *act) const
                return false;
 
        // Different locations commute
-       if (!same_var(act))
+       if (!same_var(act) && !is_fence() && !act->is_fence())
                return false;
 
        // Explore interleavings of seqcst writes/fences to guarantee total