X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=tools%2Ftsan-suppression;h=e2771632c991b4a4982a0a8515088ea2257119d3;hb=977e5072f45cbb78a2e530607a0b8f5f752bcf2d;hp=9f5e15653e6c8fac6e1e7643630efbc0d987fcad;hpb=a01ecc87dadf753538d4c22feb98f7e00a66a4d1;p=libcds.git diff --git a/tools/tsan-suppression b/tools/tsan-suppression index 9f5e1565..e2771632 100644 --- a/tools/tsan-suppression +++ b/tools/tsan-suppression @@ -1,8 +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 + +#TODO: temporary suppressed. Must be researched later +race:cds/container/impl/bronson_avltree_map_rcu.h