The kernel lock validator

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
kernel.

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.

Note: you can avoid this step in the future by logging into your LWN account.