X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=tools%2Ftsan-suppression;h=e2771632c991b4a4982a0a8515088ea2257119d3;hb=76fe7324fe9a49b9a148a3f88135c53e7b1838c7;hp=b784e967b260e47aee8fb7a2f82da04caffd21d9;hpb=6b0c3af9ca967532e87ab27a70b42e56abe8d23e;p=libcds.git diff --git a/tools/tsan-suppression b/tools/tsan-suppression index b784e967..e2771632 100644 --- a/tools/tsan-suppression +++ b/tools/tsan-suppression @@ -1,14 +1,20 @@ -# Boost race [?] in test framework. Do not affect to libcds -race:CppUnitMini::ThreadPool::~ThreadPool +# Run-time flags: envvar TSAN_OPTIONS="';' delimited option list" +# Useful options (full list see https://github.com/google/sanitizers/wiki/ThreadSanitizerFlags): +# suppressions= +# 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. -# DHP -race:cds::gc::details::retired_ptr::free +# false: LazyList potential deadlock +deadlock:cds/intrusive/impl/lazy_list.h +deadlock:cds/intrusive/lazy_list_nogc.h -# uRCU false positive -race:cds::urcu::gc*::batch_retire* +# false: BronsonAVLTree potential deadlock +deadlock:cds/container/impl/bronson_avltree_map_rcu.h -# 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