The kernel lock validator
Posted May 31, 2006 6:28 UTC (Wed) by flewellyn
Parent article: The kernel lock validator
Y'know, it's funny. Back in college, in my Operating Systems course, we learned that it was
impossible to design code which would reliably detect all possible deadlock conditions in a
We also learned that schedulers could not run in constant time.
That's twice now that Ingo Molnar has basically rewritten the literature on us.
to post comments)