>> Last night's patch (happens-before-cvhack.patch) also makes this, q2.cc,
>> run without race warnings.
Amazing! --happens-before=cvhack does help with this patch!
>From the comments it does look 'insanely inefficient', but it's better than
nothing. :)
I'll try other tests with cond vars.
>> Are you referring to the VALGRIND_HG_POST_WAIT that is introduced
>> at the bottom of page 31 of Arndt Muehlenfeld's PhD thesis, or some
>> other thing?
Can you give me a link to Arndt's PhD? I can't find it :(
--kcc
On Dec 7, 2007 12:44 PM, Julian Seward <[EMAIL PROTECTED]> wrote:
>
> On Thursday 06 December 2007 09:53, Konstantin Serebryany wrote:
>
> > I've modified my test (attached, q2.cc), hope it will be helpful :)
> > It now has N worker threads. If N >= 2 the race is reported even for
> GLOB1.
>
> Last night's patch (happens-before-cvhack.patch) also makes this, q2.cc,
> run without race warnings.
>
>
> > I did not find VALGRIND_HG_POST_WAIT anywhere in valgrind nor in the
> net.
> > Is it supposed to be used like this?
> >
> > #include "helgrind.h"
> > ...
> > pthread_mutex_lock(&MU);
> > while (COND != n_tasks) {
> > pthread_cond_wait(&CV, &MU);
> > }
> > VALGRIND_HG_POST_WAIT(&CV)
> > pthread_mutex_unlock(&MU);
>
> What is the behaviour of VALGRIND_HG_POST_WAIT supposed to be?
>
> Are you referring to the VALGRIND_HG_POST_WAIT that is introduced
> at the bottom of page 31 of Arndt Muehlenfeld's PhD thesis, or some
> other thing?
>
> J
>
-------------------------------------------------------------------------
SF.Net email is sponsored by:
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
Valgrind-developers mailing list
Valgrind-developers@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/valgrind-developers
