X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=tools%2Ftsan-suppression;h=e2771632c991b4a4982a0a8515088ea2257119d3;hb=e28f9419df082f58c24afa47c8202551e38be002;hp=d6ad3a79ca29a03a9c074b2d0d3f59bbc63f6d7c;hpb=26eaafb63a4ec600fdaebcceb5f3adc11901aa49;p=libcds.git diff --git a/tools/tsan-suppression b/tools/tsan-suppression index d6ad3a79..e2771632 100644 --- a/tools/tsan-suppression +++ b/tools/tsan-suppression @@ -1,7 +1,7 @@ # 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. @@ -18,7 +18,3 @@ 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