Re: [Valgrind-users] memory barriers support

[Roland M. <rol...@nr...>]

On Tue, Aug 19, 2014 at 4:13 PM, Alexander Potapenko <gl...@go...> wrote:
> 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
>
> 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.

Is there any opensource or commercial tool which might help in such
situations (e.g. problems with memory barriers) ?

----

Bye,
Roland

-- 
  __ .  . __
 (o.\ \/ /.o) rol...@nr...
  \__\/\/__/  MPEG specialist, C&&JAVA&&Sun&&Unix programmer
  /O /==\ O\  TEL +49 641 3992797
 (;O/ \/ \O;)