remove executables
authorweiyu <weiyuluo1232@gmail.com>
Mon, 14 Dec 2020 06:49:47 +0000 (22:49 -0800)
committerweiyu <weiyuluo1232@gmail.com>
Mon, 14 Dec 2020 06:49:47 +0000 (22:49 -0800)
tsan11-missingbug/rwlock-test [deleted file]
tsan11-missingbug/rwlock-test.cc
tsan11-missingbug/seqlock-test [deleted file]
tsan11-missingbug/seqlock-test.cc
tsan11-missingbug/test_all.sh

diff --git a/tsan11-missingbug/rwlock-test b/tsan11-missingbug/rwlock-test
deleted file mode 100755 (executable)
index 3c4df40..0000000
Binary files a/tsan11-missingbug/rwlock-test and /dev/null differ
index 560f53d..95f3ffd 100644 (file)
@@ -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 (executable)
index 1b88369..0000000
Binary files a/tsan11-missingbug/seqlock-test and /dev/null differ
index 7d5d0d1..fa62864 100644 (file)
@@ -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;
 }
 
index 6a5701a..81633f7 100755 (executable)
@@ -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