LWN.net Logo

The kernel lock validator

The kernel lock validator

Posted May 31, 2006 7:09 UTC (Wed) by piman (subscriber, #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.


(Log in to post comments)

Copyright © 2013, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds