From owner-freebsd-hackers@FreeBSD.ORG  Fri Aug  8 01:12:00 2003
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
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 5EFEB37B401
	for <freebsd-hackers@FreeBSD.ORG>;
	Fri,  8 Aug 2003 01:12:00 -0700 (PDT)
Received: from HAL9000.homeunix.com (ip114.bella-vista.sfo.interquest.net
	[66.199.86.114])
	by mx1.FreeBSD.org (Postfix) with ESMTP id B090B43FBD
	for <freebsd-hackers@FreeBSD.ORG>;
	Fri,  8 Aug 2003 01:11:59 -0700 (PDT)	(envelope-from das@FreeBSD.ORG)
Received: from HAL9000.homeunix.com (localhost [127.0.0.1])
	by HAL9000.homeunix.com (8.12.9/8.12.9) with ESMTP id h788BvjX016223;
	Fri, 8 Aug 2003 01:11:57 -0700 (PDT)
	(envelope-from das@FreeBSD.ORG)
Received: (from das@localhost)
	by HAL9000.homeunix.com (8.12.9/8.12.9/Submit) id h788BveN016222;
	Fri, 8 Aug 2003 01:11:57 -0700 (PDT)
	(envelope-from das@FreeBSD.ORG)
Date: Fri, 8 Aug 2003 01:11:57 -0700
From: David Schultz <das@FreeBSD.ORG>
To: Ted Unangst <tedu@stanford.edu>
Message-ID: <20030808081157.GD15882@HAL9000.homeunix.com>
Mail-Followup-To: Ted Unangst <tedu@stanford.edu>,
	freebsd-hackers@freebsd.org
References: <Pine.GSO.4.44.0308061506120.29218-100000@saga0.Stanford.EDU>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <Pine.GSO.4.44.0308061506120.29218-100000@saga0.Stanford.EDU>
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
	<freebsd-hackers.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
	<mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
	<mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 08 Aug 2003 08:12:00 -0000

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?