possible deadlocks?

[Robert Watson]

On Wed, 6 Aug 2003, Ted Unangst wrote:

> My advisor Dawson Engler has written a deadlock detector, and we'd like
> some verification. They look like bugs, unless there is some other
> reason why two call chains cannot happen at the same time. 

Neat -- sounds like two good catches given the responses so far.  Can we
expect more such reports forthcoming?  This kind of help will be
invaluable in finishing up the fine-grained locking work.  Alternatively,
do you plan to post the software?  Is this static or dynamic analysis? 
etc, etc?  :-)

Robert N M Watson             FreeBSD Core Team, TrustedBSD Projects
robert at fledge.watson.org      Network Associates Laboratories