edits
authorweiyu <weiyuluo1232@gmail.com>
Wed, 9 Dec 2020 06:39:24 +0000 (22:39 -0800)
committerweiyu <weiyuluo1232@gmail.com>
Wed, 9 Dec 2020 06:39:24 +0000 (22:39 -0800)
cdschecker_modified_benchmarks/chase-lev-deque/main.cc
cdschecker_modified_benchmarks/test.sh

index 706d812..72efa75 100644 (file)
@@ -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;
index ff2c3b5..066e307 100755 (executable)
@@ -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))