Julian Seward <[EMAIL PROTECTED]> writes: > > > > Darryl (I think) wants to see is something like: > > > > > > while in T1's C.S. `x', the variable `abc': > > > saw a write from T1 of size whatever > > > saw a write from T4 of size whatever > > > saw a read from T3 of size whatever > > > saw a read from T4 of size whatever > > The rest of the long discussions, re scheduling, I don't understand the > purpose of. [snip] > What does messing with the scheduling get you that standard race > detection algorithms don't?
Of course, you only see the error if it actually happens. Darryl is trying to force the problems to occur. Writing that though, maybe a static analysis tool would suit his needs better. -tom ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ Valgrind-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/valgrind-users
