Testing won’t find race conditions

From Slashdot | Removing the Big Kernel Lock

Why testing isn’t enough (Score:5, Informative)

by mikeb (6025) on Saturday May 17, @05:33PM (#23447958)

It’s worth pointing out here that the kind of races (bugs) introduced by faulty locking in general suffer from a very important problem: YOU CANNOT TEST FOR THEM.

Race conditions are mostly eliminated by design, not by testing. Testing will find the most egregious ones but the rest cause bizarre and hard-to-trace symptoms that usually end up with someone fixing them by reasoning about them. “Hmm” you think to yourself “that sounds like a race problem. Wonder where it might be?” and thinking about it, looking at the code, inventing scenarios that might trigger a race; that’s how you find them.

[Slashdot] [Digg] [Reddit] [del.icio.us] [Facebook] [Technorati] [Google] [StumbleUpon]

Comments are closed.