Boost logo

Boost :

Subject: [boost] [thread] Testing with Sanitisers (ASAN, TSAN, MSAN)
From: Ben Pope (benpope81_at_[hidden])
Date: 2015-03-09 10:16:29


I'm going to be bringing up some more testers, and I wondered if the
results are meaningful, or can be made meaningful.

The tester is "BenPope x86_64 Ubuntu", first available results are for
TSAN, and it shows some failures.

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)

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.

Ben


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk