From: Peizhao Ou <peizhaoo@uci.edu>
Date: Fri, 20 Mar 2015 23:12:54 +0000 (-0700)
Subject: changes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=daa4a42fe811c9f8c81f55b7f995356a1c8b15a6;p=model-checker-benchmarks.git

changes
---

diff --git a/spsc-queue-scfence/queue.h b/spsc-queue-scfence/queue.h
index 859f059..7559350 100644
--- a/spsc-queue-scfence/queue.h
+++ b/spsc-queue-scfence/queue.h
@@ -38,6 +38,7 @@ public:
 			if (data)
 				break;
 			ec.wait(cmp);
+			thrd_yield();
 			data = try_dequeue();
 			if (data)
 				break;