Date: Thu, 7 Aug 2003 14:16:19 -0400 (EDT) From: Robert Watson <rwatson@freebsd.org> To: Ted Unangst <tedu@stanford.edu> Cc: freebsd-hackers@freebsd.org Subject: Re: possible deadlocks? Message-ID: <Pine.NEB.3.96L.1030807141440.20722A-100000@fledge.watson.org> In-Reply-To: <Pine.GSO.4.44.0308061506120.29218-100000@saga0.Stanford.EDU>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?Pine.NEB.3.96L.1030807141440.20722A-100000>