From: weiyu <weiyuluo1232@gmail.com>
Date: Wed, 9 Dec 2020 06:39:24 +0000 (-0800)
Subject: edits
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=bd874b1874979b73fb066e7b4ae317acbabe24b7;p=c11concurrency-benchmarks.git

edits
---

diff --git a/cdschecker_modified_benchmarks/chase-lev-deque/main.cc b/cdschecker_modified_benchmarks/chase-lev-deque/main.cc
index 706d812..72efa75 100644
--- 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 ff2c3b5..066e307 100755
--- 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))