> > 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.
I'm not sure I'm convinced about that. A lockset based race detector can report violations of a locking discipline, that could lead to races, even if they didn't happen in this particular run. Indeed, that insensitivity to scheduling is basically the main advantage of the lockset algorithm family. J ------------------------------------------------------------------------- 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
