|
From: Julian S. <js...@ac...> - 2008-11-03 19:48:36
|
> > 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 |