Posted Jun 1, 2006 6:32 UTC (Thu) by man_ls
Parent article: The kernel lock validator
I'm surprised that nobody has asked this before. Solutions that look well in theory are, well, just theoretical; but does it work in practice? I assume that someone, at least the author, has had it running for some time now. How does it behave? Has anyone found potential deadlocks on running code, already? Otherwise, are there too few results, too many false positives?
to post comments)