From owner-freebsd-hackers@FreeBSD.ORG  Thu Aug  7 11:16:30 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 4CE4137B401
	for <freebsd-hackers@freebsd.org>;
	Thu,  7 Aug 2003 11:16:30 -0700 (PDT)
Received: from fledge.watson.org (fledge.watson.org [204.156.12.50])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 98BD543FBD
	for <freebsd-hackers@freebsd.org>;
	Thu,  7 Aug 2003 11:16:29 -0700 (PDT)
	(envelope-from robert@fledge.watson.org)
Received: from fledge.watson.org (localhost [127.0.0.1])
	by fledge.watson.org (8.12.9/8.12.9) with ESMTP id h77IGJAL023173;
	Thu, 7 Aug 2003 14:16:19 -0400 (EDT)
	(envelope-from robert@fledge.watson.org)
Received: from localhost (robert@localhost)h77IGJuP023168;
	Thu, 7 Aug 2003 14:16:19 -0400 (EDT)
Date: Thu, 7 Aug 2003 14:16:19 -0400 (EDT)
From: Robert Watson <rwatson@freebsd.org>
X-Sender: robert@fledge.watson.org
To: Ted Unangst <tedu@stanford.edu>
In-Reply-To: <Pine.GSO.4.44.0308061506120.29218-100000@saga0.Stanford.EDU>
Message-ID: <Pine.NEB.3.96L.1030807141440.20722A-100000@fledge.watson.org>
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
	<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: Thu, 07 Aug 2003 18:16:30 -0000


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