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