Add sleep statement for msqueue

diff --git a/cdschecker_modified_benchmarks/ms-queue/main.cc b/cdschecker_modified_benchmarks/ms-queue/main.cc
index d2084142159fde866f2eab9a8fc91a6bb16be0b7..8fbc70f1be1aea7f549d48006e8a30ee5e61ef6a 100644 (file)
--- a/cdschecker_modified_benchmarks/ms-queue/main.cc
+++ b/cdschecker_modified_benchmarks/ms-queue/main.cc
@@ -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) {