[boost] [thread] Testing with Sanitisers (ASAN, TSAN, MSAN)

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