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

Subject: Re: [boost] [thread] Testing with Sanitisers (ASAN, TSAN, MSAN)
From: Vicente J. Botet Escriba (vicente.botet_at_[hidden])
Date: 2015-03-09 18:16:27

Le 09/03/15 15:16, Ben Pope a écrit :
> 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)
>
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.

Vicente