Date: Fri, 8 Aug 2003 01:11:57 -0700 From: David Schultz <das@FreeBSD.ORG> To: Ted Unangst <tedu@stanford.edu> Cc: freebsd-hackers@FreeBSD.ORG Subject: Re: possible deadlocks? Message-ID: <20030808081157.GD15882@HAL9000.homeunix.com> In-Reply-To: <Pine.GSO.4.44.0308061506120.29218-100000@saga0.Stanford.EDU> References: <Pine.GSO.4.44.0308061506120.29218-100000@saga0.Stanford.EDU>
next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, Aug 06, 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. Cool! Is this a new checker for Metal? Is there a chance that it will be released other than as a commercial product through Coverity?
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20030808081157.GD15882>