possible deadlocks?

Mike Silbersack silby at silby.com
Thu Aug 7 11:21:23 PDT 2003


On Thu, 7 Aug 2003, Robert Watson wrote:

> 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

Just for everyone's info, any locking problems that I introduce over the
next few months will not be mistakes, they will be "test cases" for the
deadlock detector.

Mike "Silby" Silbersack


More information about the freebsd-hackers mailing list