From owner-freebsd-hackers@FreeBSD.ORG Thu Aug 7 14:03:11 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 7983A37B401 for ; Thu, 7 Aug 2003 14:03:11 -0700 (PDT) Received: from smtp7.Stanford.EDU (smtp7.Stanford.EDU [171.67.16.34]) by mx1.FreeBSD.org (Postfix) with ESMTP id 0A47A43FB1 for ; Thu, 7 Aug 2003 14:03:11 -0700 (PDT) (envelope-from tedu@stanford.edu) Received: (from root@localhost) by smtp7.Stanford.EDU (8.12.9/8.12.9) id h77L3Ajn029195 for freebsd-hackers@freebsd.org; Thu, 7 Aug 2003 14:03:10 -0700 (PDT) Received: from elaine38.Stanford.EDU (elaine38.Stanford.EDU [171.64.15.113]) by smtp7.Stanford.EDU (8.12.9/8.12.9) with ESMTP id h77L39VB029191 for ; Thu, 7 Aug 2003 14:03:09 -0700 (PDT) Date: Thu, 7 Aug 2003 14:03:09 -0700 (PDT) From: Ted Unangst To: freebsd-hackers@freebsd.org In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII 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: Thu, 07 Aug 2003 21:03:11 -0000 On Thu, 7 Aug 2003, Robert Watson wrote: > 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? :-) First, thanks Sam and John for confirmation. More reports should be coming as we find things, though this is still early. It's being done using static analysis, though I'm not really involved in writing the checker. I just happen to know some about the kernel and help interpret results. :) Good to know you're interested though. -- "People have criticized me because my security detail is larger than the president's. But you must ask yourself: are there more people who want to kill me than who want to kill the president? I can assure you there are." - M. Barry, Mayor of Washington, DC