Re: [Valgrind-users] memory barriers support

[Alexander P. <gl...@go...>]

On Tue, Aug 19, 2014 at 5:59 PM, Milian Wolff <ma...@mi...> wrote:
> On Tuesday 19 August 2014 14:23:26 Jan Včelák wrote:
>> OK. Then it is likely that there is a bug in our software.
>
> <snip>
>
>> I run the test case several times without Valgrind with address sanitizer.
>> But I didn't hit the problem.
>
> If you think it's a race, then the address sanitizer won't find it, I guess.
> Rather, try the thread sanitizer.
>
> http://clang.llvm.org/docs/ThreadSanitizer.html
>
> Cheers
ThreadSanitizer won't comprehend the fence instructions inserted by urcu.
I believe even Helgrind won't, because these instructions do not imply
any happens-before relation.