From owner-freebsd-hackers@FreeBSD.ORG Sat Aug 9 15:08:31 2003 Return-Path: Delivered-To: freebsd-hackers@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id B8F4F37B401; Sat, 9 Aug 2003 15:08:31 -0700 (PDT) Received: from smtp8.Stanford.EDU (smtp8.Stanford.EDU [171.67.16.35]) by mx1.FreeBSD.org (Postfix) with ESMTP id 231C343FB1; Sat, 9 Aug 2003 15:08:31 -0700 (PDT) (envelope-from tedu@stanford.edu) Received: from elaine37.Stanford.EDU (elaine37.Stanford.EDU [171.64.15.112]) by smtp8.Stanford.EDU (8.12.9/8.12.9) with ESMTP id h79M8PqX017759; Sat, 9 Aug 2003 15:08:26 -0700 (PDT) Date: Sat, 9 Aug 2003 15:08:25 -0700 (PDT) From: Ted Unangst To: David Schultz In-Reply-To: <20030808081157.GD15882@HAL9000.homeunix.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII cc: freebsd-hackers@FreeBSD.ORG Subject: Re: possible deadlocks? X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 09 Aug 2003 22:08:32 -0000 On Fri, 8 Aug 2003, David Schultz wrote: > 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? It's pretty much independent of Metal. No idea what the release plans are going to be, but it certainly won't be soon. -- "I read a funny story about how the Republicans freed the slaves. The Republicans are the ones who created slavery by law in the 1600's. Abraham Lincoln freed the slaves and he was not a Republican." - M. Barry, Mayor of Washington, DC