X-Git-Url: http://plrg.eecs.uci.edu/git/?p=libcds.git;a=blobdiff_plain;f=tools%2Ftsan-suppression;h=eb2c54211ce40a826711bc691ad4c53bb392ef1a;hp=8d8c46d5ffda50aea958344af680382b1289db03;hb=07c2c735c2228bb29bd856d1e043ea2c6a9350d9;hpb=307eac2cb015ac360b2d0adea1110f38cfc3f790 diff --git a/tools/tsan-suppression b/tools/tsan-suppression index 8d8c46d5..eb2c5421 100644 --- a/tools/tsan-suppression +++ b/tools/tsan-suppression @@ -4,14 +4,21 @@ # verosity=n Verbosity level (0 - silent, 1 - a bit of output, 2+ - more output). # history_size=[0..7], default 2 -# DHP -#race:cds::gc::details::retired_ptr::free +# false: LazyList potential deadlock +deadlock:cds/intrusive/impl/lazy_list.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: temporary suppressed. Must be researched later +race:cds/container/impl/bronson_avltree_map_rcu.h -# TODO: TSan false positive or library issues? -#race:cds::container::OptimisticQueue*::alloc_node +#TODO: MSPriorityQueue - temporary suppressed. Must be researched later +# Seems, TSan don't see spinlock blocking. How to learn TSan to see non-traditional locking algo?.. +race:cds::intrusive::MSPriorityQueue + +#TODO: gc::DHP must be reimplemented ASAP +race:cds::gc::dhp::GarbageCollector::scan + +#TODO: temporary suppressed. Must be researched later +race:cds::memory::michael::Heap \ No newline at end of file