On Tuesday 19 August 2014 21:00:58 Philippe Waroquiers wrote: > 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.
Are such annotations documented somewhere? I'm still trying to find a way to annotate threadsafe-statics so that helgrind doesn't complain about them. -- David Faure, fa...@kde.org, http://www.davidfaure.fr Working on KDE Frameworks 5 ------------------------------------------------------------------------------ _______________________________________________ Valgrind-users mailing list Valgrind-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/valgrind-users
