spsc-queue: fixup atomics, mutexes, threads

[model-checker-benchmarks.git] / spsc-queue / spsc-queue.cc

diff --git a/spsc-queue/spsc-queue.cc b/spsc-queue/spsc-queue.cc
index a81a1d0ce357e66c4f0b86bec5f6e6ca98b5ec66..ef7b02635d8f1e525d14191b9ba6b85b33fe7ec2 100644 (file)
--- a/spsc-queue/spsc-queue.cc
+++ b/spsc-queue/spsc-queue.cc
@@ -1,8 +1,8 @@
+#include <threads.h>
+
 #include "queue.h"
 
-struct spsc_queue_test : rl::test_suite<spsc_queue_test, 2>
-{
-       spsc_queue<int> q;
+spsc_queue<int> q;
 
        void thread(unsigned thread_index)
        {
@@ -16,9 +16,13 @@ struct spsc_queue_test : rl::test_suite<spsc_queue_test, 2>
                        RL_ASSERT(11 == d);
                }
        }
-};
 
 int main()
 {
-       rl::simulate<spsc_queue_test>();
+       thrd_t A, B;
+       thrd_create(&A, (thrd_start_t)&thread, (void *)0);
+       thrd_create(&B, (thrd_start_t)&thread, (void *)1);
+       thrd_join(A);
+       thrd_join(B);
+       return 0;
 }