From 96ccf181c8c1bf446bae8fc738b3dc8da5a65cfe Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Sun, 26 Mar 2017 15:27:04 +0000 Subject: tsan: add new mutex annotations There are several problems with the current annotations (AnnotateRWLockCreate and friends): - they don't fully support deadlock detection (we need a hook _before_ mutex lock) - they don't support insertion of random artificial delays to perturb execution (again we need a hook _before_ mutex lock) - they don't support setting extended mutex attributes like read/write reentrancy (only "linker init" was bolted on) - they don't support setting mutex attributes if a mutex don't have a "constructor" (e.g. static, Java, Go mutexes) - they don't ignore synchronization inside of lock/unlock operations which leads to slowdown and false negatives The new annotations solve of the above problems. See tsan_interface.h for the interface specification and comments. Reviewed in https://reviews.llvm.org/D31093 git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@298809 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) (limited to 'include/CMakeLists.txt') diff --git a/include/CMakeLists.txt b/include/CMakeLists.txt index 1f8b481e7..6104aded2 100644 --- a/include/CMakeLists.txt +++ b/include/CMakeLists.txt @@ -8,6 +8,7 @@ set(SANITIZER_HEADERS sanitizer/linux_syscall_hooks.h sanitizer/lsan_interface.h sanitizer/msan_interface.h + sanitizer/tsan_interface.h sanitizer/tsan_interface_atomic.h) set(XRAY_HEADERS -- cgit v1.2.3