The kernel lock validator

Posted May 31, 2006 7:09 UTC (Wed) by piman (guest, #8957)
In reply to: The kernel lock validator by flewellyn
Parent article: The kernel lock validator

In fact it's trivial to identify all functions that could deadlock (if you heard otherwise, maybe you should've been paying more attention in class :). What's impossible is identifying all and only those functions that deadlock.