ms-queue: fixups, add simple race detection

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

diff --git a/spsc-bugfix/queue-relacy.h b/spsc-bugfix/queue-relacy.h
index 71aac2a3992bd4be17499cb32297301648597d39..783357645bd3b57e43fcfd04f267bd3f47a2e0cb 100644 (file)
--- 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()