Add sleep statement for msqueue
[c11concurrency-benchmarks.git] / cdschecker_modified_benchmarks / ms-queue / main.cc
index d2084142159fde866f2eab9a8fc91a6bb16be0b7..8fbc70f1be1aea7f549d48006e8a30ee5e61ef6a 100644 (file)
@@ -27,6 +27,7 @@ bool succ1, succ2;
 
 static void main_task(void *param)
 {
+       std::this_thread::sleep_for(std::chrono::milliseconds(10));
        unsigned int val;
        int pid = *((int *)param);
        if (!pid) {