Subject: Re: [boost] [thread] Testing with Sanitisers (ASAN, TSAN, MSAN)
From: Niall Douglas (s_sourceforge_at_[hidden])
Date: 2015-03-09 20:34:35
On 9 Mar 2015 at 23:16, Vicente J. Botet Escriba wrote:
> > I'm under the impression that some of the sanitisers may need to be
> > taught about certain constructs in order to be effective (e.g.
> > boost::detail::atomic_increment:
> > http://www.boost.org/development/tests/develop/developer/output/BenPope%20x86_64%20Ubuntu-boost-bin-v2-libs-thread-test-packaged_task__operator_p-test-clang-linux-3-6~tsan~c14_libc++-debug-debug-symbols-off-threading-multi.html)
> > Other failures look legitimate at first glance (e.g. Cycle in lock
> > order graph:
> > http://www.boost.org/development/tests/develop/developer/output/BenPope%20x86_64%20Ubuntu-boost-bin-v2-libs-thread-test-ex_future_unwrap-test-clang-linux-3-6~tsan~c14_libc++-debug-debug-symbols-off-threading-multi.html)
> Thanks for this report.
> > I shall endeavour to get nicer stack traces, I think I need to tell it
> > about llvm-symbolizer, althouh I haven't always had success in the
> > past, any advice or suggestions are welcome.
> yes, this will be even better.
AFIO uses the following tsan suppressions for libstdc++ and Boost:
# Stuff from libstdc++ not understood by tsan
# Stuff from Boost not understood by tsan
race:void std::swap<boost::exception_detail::clone_base const*>
I don't remember seeing anything actually originating from
Boost.Thread itself, in so far as AFIO makes use of Boost.Thread.
-- ned Productions Limited Consulting http://www.nedproductions.biz/ http://ie.linkedin.com/in/nialldouglas/
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk