X-Git-Url: http://plrg.eecs.uci.edu/git/?p=libcds.git;a=blobdiff_plain;f=tools%2Ftsan-suppression;h=e2771632c991b4a4982a0a8515088ea2257119d3;hp=10a741d5ca8a5432789b3fb89c2fa76c65e3e415;hb=ec53bf39af3914a93bd1f53fa8657d5f87583d01;hpb=174d3b35911919f5be44852f539969c2cad07a99 diff --git a/tools/tsan-suppression b/tools/tsan-suppression index 10a741d5..e2771632 100644 --- a/tools/tsan-suppression +++ b/tools/tsan-suppression @@ -1,19 +1,20 @@ # Run-time flags: envvar TSAN_OPTIONS="';' delimited option list" # Useful options (full list see https://github.com/google/sanitizers/wiki/ThreadSanitizerFlags): # suppressions= -# verosity=n Verbosity level (0 - silent, 1 - a bit of output, 2+ - more output). +# verbosity=n Verbosity level (0 - silent, 1 - a bit of output, 2+ - more output). # history_size=[0..7], default 2 +# detect_deadlocks=0 - some data structs in libcds tests use a lot of node-level mutexes. +# TSan has the hardcoded limit =16 for the number of mutex per thread. +# To prevent "possibly deadlock" reporting disable deadlock detection. +# Suppression can help in that case but stack unwinding increases +# test time significantly. -race:cds_test::thread::run +# false: LazyList potential deadlock +deadlock:cds/intrusive/impl/lazy_list.h +deadlock:cds/intrusive/lazy_list_nogc.h -# DHP -#race:cds::gc::details::retired_ptr::free +# false: BronsonAVLTree potential deadlock +deadlock:cds/container/impl/bronson_avltree_map_rcu.h -# uRCU false positive -#race:cds::urcu::gc*::batch_retire* - -# EllenBinTree false positive -#race:ellen_bintree_pool::internal_node_allocator*::allocate - -# TODO: TSan false positive or library issues? -#race:cds::container::OptimisticQueue*::alloc_node +#TODO: temporary suppressed. Must be researched later +race:cds/container/impl/bronson_avltree_map_rcu.h