|
From: tom f. <tf...@al...> - 2008-11-03 19:40:59
|
Julian Seward <js...@ac...> 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 |