On Tue, 2014-08-19 at 16:46 +0200, Roland Mainz wrote: > > 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) ?
helgrind or drd or ThreadSanitizer could still be used for race condition detection but you would have to annotate either the rcu library or the calling code to describe the happens before relationships. To my knowledge, there is (some?) (source?) compatibility between the annotations needed for these 3 tools. Philippe ------------------------------------------------------------------------------ _______________________________________________ Valgrind-users mailing list Valgrind-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/valgrind-users
