edits

diff --git a/cdschecker_modified_benchmarks/chase-lev-deque/main.cc b/cdschecker_modified_benchmarks/chase-lev-deque/main.cc
index 706d812eb60538260774f69bd1537ce675fadee2..72efa7580f75738765c0f664756b286b3a212d26 100644 (file)
--- a/cdschecker_modified_benchmarks/chase-lev-deque/main.cc
+++ b/cdschecker_modified_benchmarks/chase-lev-deque/main.cc
@@ -8,31 +8,24 @@
 
 #include "deque.h"
 
-#define ITERATION 1
-
 Deque *q;
 int a;
 int b;
 int c;
 
 static void task(void * param) {
-       for (int i = 0; i < ITERATION; i++)
-               a=steal(q);
+       a=steal(q);
 }
 
 int user_main(int argc, char **argv)
 {
        q=create();
        std::thread t(task, (void *)0);
-
-       for (int i = 0; i < ITERATION; i++) {
-               push(q, 1);
-               push(q, 2);
-               push(q, 4);
-               b=take(q);
-               c=take(q);
-       }
-
+       push(q, 1);
+       push(q, 2);
+       push(q, 4);
+       b=take(q);
+       c=take(q);
        t.join();
 
        bool correct=true;

diff --git a/cdschecker_modified_benchmarks/test.sh b/cdschecker_modified_benchmarks/test.sh
index ff2c3b538d797605c9bf7cc956fda0fe3505a388..066e307f3c35dbc3295bff658edb456068321e0a 100755 (executable)
--- a/cdschecker_modified_benchmarks/test.sh
+++ b/cdschecker_modified_benchmarks/test.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 EXE=$1
-TOTAL_RUN=5 #00
+TOTAL_RUN=500
 CDSLIB="/scratch/fuzzer/random-fuzzer"
 export LD_LIBRARY_PATH=${CDSLIB}
 export C11TESTER='-x1'
@@ -16,7 +16,7 @@ for i in `seq 1 1 $TOTAL_RUN` ; do
 #  time ${TASKSET} $EXE &> $ERROR_FILE
 #  OUTPUT=$(< $ERROR_FILE)
 
-  OUTPUT="$(/usr/bin/time -f "time: %U %S" $EXE -x1 2>&1)"
+  OUTPUT="$(/usr/bin/time -f "time: %U %S" $EXE 2>&1)"
   RACE="$(echo "$OUTPUT" | grep "race")"
   if [ -n "$RACE" ] ; then
     ((++COUNT_DATA_RACE))