changes

[model-checker-benchmarks.git] / spsc-queue-scfence / queue.h

diff --git a/spsc-queue-scfence/queue.h b/spsc-queue-scfence/queue.h
index 859f05903d4cfcec85447e3fe097beeba339e876..7559350964c1231b995b34beb98c73d6c587d38a 100644 (file)
--- 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;