From: weiyu <weiyuluo1232@gmail.com>
Date: Mon, 14 Dec 2020 06:49:47 +0000 (-0800)
Subject: remove executables
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11concurrency-benchmarks.git;a=commitdiff_plain;h=bdf44abb251ab73ca505ac5aadb017c569196202

remove executables
---

diff --git a/tsan11-missingbug/rwlock-test b/tsan11-missingbug/rwlock-test
deleted file mode 100755
index 3c4df40..0000000
Binary files a/tsan11-missingbug/rwlock-test and /dev/null differ
diff --git a/tsan11-missingbug/rwlock-test.cc b/tsan11-missingbug/rwlock-test.cc
index 560f53d..95f3ffd 100644
--- a/tsan11-missingbug/rwlock-test.cc
+++ b/tsan11-missingbug/rwlock-test.cc
@@ -62,7 +62,7 @@ void * a(void *obj)
 			read_lock(&mylock);
 			int d1 = data1.load(memory_order_relaxed);
 			int d2 = data2.load(memory_order_relaxed);
-			assert(d1 == d2);
+			assert(d1 == d2);	// Should fail on buggy executions
 			read_unlock(&mylock);
 		} else {
 			write_lock(&mylock);
diff --git a/tsan11-missingbug/seqlock-test b/tsan11-missingbug/seqlock-test
deleted file mode 100755
index 1b88369..0000000
Binary files a/tsan11-missingbug/seqlock-test and /dev/null differ
diff --git a/tsan11-missingbug/seqlock-test.cc b/tsan11-missingbug/seqlock-test.cc
index 7d5d0d1..fa62864 100644
--- a/tsan11-missingbug/seqlock-test.cc
+++ b/tsan11-missingbug/seqlock-test.cc
@@ -67,7 +67,7 @@ void * b(void *obj) {
 void * c(void *obj) {
 	int r1, r2;
 	lock->read(&r1, &r2);
-	assert(r1 == r2);
+	assert(r1 == r2);	// Should fail on buggy executions
 	return NULL;
 }
 
diff --git a/tsan11-missingbug/test_all.sh b/tsan11-missingbug/test_all.sh
index 6a5701a..81633f7 100755
--- a/tsan11-missingbug/test_all.sh
+++ b/tsan11-missingbug/test_all.sh
@@ -2,8 +2,6 @@
 set -e
 set -u
 
-# Paul: skip `spsc-queue` as it deadlocks.
-
 for t in seqlock-test rwlock-test; do
   echo -n "$t " 
   ./test.sh ./$t