spsc-queue: use std::condition_variable
authorBrian Norris <banorris@uci.edu>
Thu, 11 Oct 2012 18:24:11 +0000 (11:24 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 11 Oct 2012 18:24:13 +0000 (11:24 -0700)
Model-checker doesn't support <condition_variable> header yet.

spsc-queue/eventcount.h

index bf1f511..4390cc5 100644 (file)
@@ -1,6 +1,7 @@
 #include <unrelacy.h>
 #include <atomic>
 #include <mutex>
+#include <condition_variable>
 
 class eventcount
 {
@@ -49,7 +50,7 @@ private:
        std::atomic<unsigned> count;
        rl::var<unsigned> waiters;
        std::mutex guard;
-       condition_variable_any cv;
+       std::condition_variable_any cv;
 
        void signal_impl(unsigned cmp)
        {