On Tue, Aug 19, 2014 at 4:13 PM, Alexander Potapenko <gli...@google.com> wrote:
> On Tue, Aug 19, 2014 at 5:59 PM, Milian Wolff <m...@milianw.de> 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) roland.ma...@nrubsig.org
  \__\/\/__/  MPEG specialist, C&&JAVA&&Sun&&Unix programmer
  /O /==\ O\  TEL +49 641 3992797
 (;O/ \/ \O;)

------------------------------------------------------------------------------
_______________________________________________
Valgrind-users mailing list
Valgrind-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/valgrind-users

Reply via email to