Re: [Valgrind-developers] Annotations for race detection.

[Stefan K. <en...@ho...>]

Bart Van Assche schrieb:
> On Fri, Jun 26, 2009 at 2:41 PM, Konstantin
> Serebryany<kon...@gm...> wrote:
>   
>> We've added dynamic annotations to Chromium:
>> http://src.chromium.org/viewvc/chrome?view=rev&revision=19353
>> In Chromium there are few classes/functions that use atomic
>> instructions (e.g. Singleton, atomic refcount), so that w/o the
>> annotations every race detector will have false positives.
>>     
>
> Interesting.
>
>   
>> I wonder if other large opensource projects (e.g. Firefox, OpenOffice,
>> etc) use atomics for synchronization.
>> Any experience detecting races there?
>>     
>
> Regarding Firefox: some time ago I tried to run Firefox under DRD. You
> can find the feedback I received about using atomics for the debug
> counters in this bugzilla entry:
> https://bugzilla.mozilla.org/show_bug.cgi?id=425923.
>
> Another open source project that uses multithreading extensively
> (through Open/MP) is GraphicsMagick. The maintainers of this project
> have added support in their makefiles to analyze all regression tests
> with memcheck, ptrcheck, helgrind and DRD.
>   
GStreamer is heavily multithreaded too and uses both mutexes and glibs
atomic operations. The unit tests are already using valgrind's memcheck
in a 2nd run. I've tried drd and helgrind once, but got a lot of
warnings and had no idea where to start.

Stefan

> Bart.
>
> ------------------------------------------------------------------------------
> _______________________________________________
> Valgrind-developers mailing list
> Val...@li...
> https://lists.sourceforge.net/lists/listinfo/valgrind-developers
>