From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Nov 2012 02:39:00 +0000 (-0800)
Subject: spsc-bugfix: fix deadlocked signalling bug
X-Git-Tag: pldi2013~2
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=93ceed7e51a5c5c76b72e76782dbd12dc1cfb025;ds=sidebyside

spsc-bugfix: fix deadlocked signalling bug
---

diff --git a/spsc-bugfix/queue-relacy.h b/spsc-bugfix/queue-relacy.h
index 71aac2a..7833576 100644
--- a/spsc-bugfix/queue-relacy.h
+++ b/spsc-bugfix/queue-relacy.h
@@ -22,7 +22,7 @@ public:
 		node* n = new node (data);
 		head($)->next.store(n, std::memory_order_release);
 		head($) = n;
-		ec.signal_relaxed();
+		ec.signal();
 	}
 
 	T dequeue()
diff --git a/spsc-bugfix/queue.h b/spsc-bugfix/queue.h
index c77425f..2e2f494 100644
--- a/spsc-bugfix/queue.h
+++ b/spsc-bugfix/queue.h
@@ -25,7 +25,7 @@ public:
 		node* n = new node (data);
 		head($)->next.store(n, std::memory_order_release);
 		head = n;
-		ec.signal_relaxed();
+		ec.signal();
 	}
 
 	T dequeue()