From owner-freebsd-current@FreeBSD.ORG Fri Dec 12 16:37:46 2003 Return-Path: Delivered-To: freebsd-current@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 9E5B916A4CE; Fri, 12 Dec 2003 16:37:46 -0800 (PST) Received: from fledge.watson.org (fledge.watson.org [204.156.12.50]) by mx1.FreeBSD.org (Postfix) with ESMTP id 5890143D09; Fri, 12 Dec 2003 16:37:45 -0800 (PST) (envelope-from robert@fledge.watson.org) Received: from fledge.watson.org (localhost [127.0.0.1]) by fledge.watson.org (8.12.10/8.12.10) with ESMTP id hBD0bOUd027174; Fri, 12 Dec 2003 19:37:24 -0500 (EST) (envelope-from robert@fledge.watson.org) Received: from localhost (robert@localhost)hBD0bO5j027171; Fri, 12 Dec 2003 19:37:24 -0500 (EST) (envelope-from robert@fledge.watson.org) Date: Fri, 12 Dec 2003 19:37:24 -0500 (EST) From: Robert Watson X-Sender: robert@fledge.watson.org To: Jeff Roberson In-Reply-To: <20031212184001.C4201-100000@mail.chesapeake.net> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII cc: kuriyama@imgsrc.co.jp cc: Don Lewis cc: freebsd-current@freebsd.org Subject: Re: vn_fullpath: 0xc85e24a0 is not locked but should be X-BeenThere: freebsd-current@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Discussions about the use of FreeBSD-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 13 Dec 2003 00:37:46 -0000 On Fri, 12 Dec 2003, Jeff Roberson wrote: > This isn't entirely relevant, but I'd like to point out how happy I am > that it works even this much. When I started fixing up VFS we couldn't > even run init without DEBUG_VFS_LOCKS panicing. It took me a few weeks > of hacking to get the system running anything useful with all of these > assertions. A lot of other people have put significant effort in along > the way as well. I'm very happy to see the progress. Very much agreed -- we've made enourmous progress. And, I have to say, having now done a fair amount of development on the Darwin platform also, I really miss the strength of our lock assertion/debugging pieces (extensive use of lock assertions, WITNESS, lock debugging, etc). I've found debugging similar problems in Darwin to be many times harder than on FreeBSD, so we're on the right track... BTW, if someone wants to actually test the patch I posted, I'll be happy to commit it :-). I'll modify it to include a comment about lock orders, however -- I think procfs will always be something of a lock ordering challenge, however. My understanding is that procfs doesn't rely on vnode locks for internal consistency, so we may well just be able to drop and reclaim the vnode lock for this (and also for the map file). Robert N M Watson FreeBSD Core Team, TrustedBSD Projects robert@fledge.watson.org Senior Research Scientist, McAfee Research