summaryrefslogtreecommitdiffstats
path: root/compiler-rt/test
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2015-12-08 17:54:47 +0000
committerDmitry Vyukov <dvyukov@google.com>2015-12-08 17:54:47 +0000
commiteee690b29a437af100e24fb9589c39786227baa9 (patch)
treed8c7fb798ba603dc27d138213008906bfb3ef6f7 /compiler-rt/test
parentd0edbdfad1d34af385e78234e3b3c0375aa6514f (diff)
downloadbcm5719-llvm-eee690b29a437af100e24fb9589c39786227baa9.tar.gz
bcm5719-llvm-eee690b29a437af100e24fb9589c39786227baa9.zip
tsan: fix test invisible barrier
Another attempt at fixing tsan_invisible_barrier. Current implementation causes: https://llvm.org/bugs/show_bug.cgi?id=25643 There were several unsuccessful iterations for this functionality: Initially it was implemented in user code using REAL(pthread_barrier_wait). But pthread_barrier_wait is not supported on MacOS. Futexes are linux-specific for this matter. Then we switched to atomics+usleep(10). But usleep produced parasitic "as-if synchronized via sleep" messages in reports which failed some output tests. Then we switched to atomics+sched_yield. But this produced tons of tsan- visible events, which lead to "failed to restore stack trace" failures. Move implementation into runtime and use internal_sched_yield in the wait loop. This way tsan should see no events from the barrier, so not trace overflows and no "as-if synchronized via sleep" messages. llvm-svn: 255030
Diffstat (limited to 'compiler-rt/test')
-rw-r--r--compiler-rt/test/tsan/load_shared_lib.cc2
-rw-r--r--compiler-rt/test/tsan/test.h31
2 files changed, 15 insertions, 18 deletions
diff --git a/compiler-rt/test/tsan/load_shared_lib.cc b/compiler-rt/test/tsan/load_shared_lib.cc
index b7934b82df7..f02280895f8 100644
--- a/compiler-rt/test/tsan/load_shared_lib.cc
+++ b/compiler-rt/test/tsan/load_shared_lib.cc
@@ -3,7 +3,7 @@
// symbolized correctly.
// RUN: %clangxx_tsan -O1 %s -DBUILD_SO -fPIC -shared -o %t-so.so
-// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
+// RUN: %clangxx_tsan -O1 %s -o %t -rdynamic && %deflake %run %t | FileCheck %s
#ifdef BUILD_SO
diff --git a/compiler-rt/test/tsan/test.h b/compiler-rt/test/tsan/test.h
index e7ffefdcf21..cec7c0d32f8 100644
--- a/compiler-rt/test/tsan/test.h
+++ b/compiler-rt/test/tsan/test.h
@@ -14,27 +14,24 @@
// TSan-invisible barrier.
// Tests use it to establish necessary execution order in a way that does not
// interfere with tsan (does not establish synchronization between threads).
-// 8 lsb is thread count, the remaining are count of entered threads.
typedef unsigned long long invisible_barrier_t;
-void barrier_init(invisible_barrier_t *barrier, unsigned count) {
- if (count >= (1 << 8))
- exit(fprintf(stderr, "barrier_init: count is too large (%d)\n", count));
- *barrier = count;
+#ifdef __cplusplus
+extern "C" {
+#endif
+void __tsan_testonly_barrier_init(invisible_barrier_t *barrier,
+ unsigned count);
+void __tsan_testonly_barrier_wait(invisible_barrier_t *barrier);
+#ifdef __cplusplus
}
+#endif
-void barrier_wait(invisible_barrier_t *barrier) {
- unsigned old = __atomic_fetch_add(barrier, 1 << 8, __ATOMIC_RELAXED);
- unsigned old_epoch = (old >> 8) / (old & 0xff);
- for (;;) {
- unsigned cur = __atomic_load_n(barrier, __ATOMIC_RELAXED);
- unsigned cur_epoch = (cur >> 8) / (cur & 0xff);
- if (cur_epoch != old_epoch)
- return;
- // Can't use usleep, because it leads to spurious "As if synchronized via
- // sleep" messages which fail some output tests.
- sched_yield();
- }
+static inline void barrier_init(invisible_barrier_t *barrier, unsigned count) {
+ __tsan_testonly_barrier_init(barrier, count);
+}
+
+static inline void barrier_wait(invisible_barrier_t *barrier) {
+ __tsan_testonly_barrier_wait(barrier);
}
// Default instance of the barrier, but a test can declare more manually.
OpenPOWER on IntegriCloud