X-Git-Url: http://plrg.eecs.uci.edu/git/?p=libcds.git;a=blobdiff_plain;f=tools%2Ftsan-suppression;h=e2771632c991b4a4982a0a8515088ea2257119d3;hp=eb2c54211ce40a826711bc691ad4c53bb392ef1a;hb=286469dcae77df14d48c74faaacf118e11121da6;hpb=07c2c735c2228bb29bd856d1e043ea2c6a9350d9

diff --git a/tools/tsan-suppression b/tools/tsan-suppression
index eb2c5421..e2771632 100644
--- a/tools/tsan-suppression
+++ b/tools/tsan-suppression
@@ -1,24 +1,20 @@
 # Run-time flags: envvar TSAN_OPTIONS="';' delimited option list"
 # Useful options (full list see https://github.com/google/sanitizers/wiki/ThreadSanitizerFlags):
 #   suppressions=<supression_file_name>
-#   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.
 
 # false: LazyList potential deadlock
 deadlock:cds/intrusive/impl/lazy_list.h
+deadlock:cds/intrusive/lazy_list_nogc.h
 
 # 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
-
-#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