Re: [boost] [thread] Address sanitizer failures on marshall-mac

Subject: Re: [boost] [thread] Address sanitizer failures on marshall-mac
From: Niall Douglas (s_sourceforge_at_[hidden])
Date: 2014-03-08 13:34:32

On 8 Mar 2014 at 18:29, Jonathan Wakely wrote:

> The new version is present in both Clang and GCC, and if you use those
> compilers' built-in atomic operations (either the older __sync_xxxx or
> newer __atomic_xxx intrinsics) then tsan should understand them and
> need no instrumentation.

Can tsan understand when an atomic is being used for serialisation? I 
can see a CAS lock being heuristically determined, but some of the 
fancier semaphore based techniques surely need some explicit markup.

Niall

-- 
Currently unemployed and looking for work in Ireland.
Work Portfolio: http://careers.stackoverflow.com/nialldouglas/