remove executables

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

diff --git a/tsan11-missingbug/rwlock-test.cc b/tsan11-missingbug/rwlock-test.cc
index 560f53d35bbb162f13bbeb56aede565ce22d2208..95f3ffde048e2d2d2ef477b047dbbd41c8f42c99 100644 (file)
--- 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 (executable)
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 7d5d0d1b2d82e500412cf71911628740a3873c8a..fa628640e6ad5d1c4f4c25c8953172e7a0aacdf7 100644 (file)
--- 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 6a5701a63f43ea46d9f30abafe931afe40225e72..81633f79d2f77746403e15b03b724c14af5dc428 100755 (executable)
--- 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