Date: Thu, 7 Aug 2003 13:18:50 -0500 (CDT) From: Mike Silbersack <silby@silby.com> To: Robert Watson <rwatson@freebsd.org> Cc: freebsd-hackers@freebsd.org Subject: Re: possible deadlocks? Message-ID: <20030807131751.G38264@odysseus.silby.com> In-Reply-To: <Pine.NEB.3.96L.1030807141440.20722A-100000@fledge.watson.org> References: <Pine.NEB.3.96L.1030807141440.20722A-100000@fledge.watson.org>
next in thread | previous in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20030807131751.G38264>