8 Mar
2014
8 Mar
'14
6:34 p.m.
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/