From owner-freebsd-arch@FreeBSD.ORG Mon Aug 18 02:27:38 2003 Return-Path: Delivered-To: freebsd-arch@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 4E32637B401 for ; Mon, 18 Aug 2003 02:27:30 -0700 (PDT) Received: from hysteria.spc.org (hysteria.spc.org [195.206.69.234]) by mx1.FreeBSD.org (Postfix) with SMTP id 0C7EC43F75 for ; Mon, 18 Aug 2003 02:27:29 -0700 (PDT) (envelope-from bms@hysteria.spc.org) Received: (qmail 15883 invoked by uid 5013); 18 Aug 2003 09:24:34 -0000 Date: Mon, 18 Aug 2003 10:24:34 +0100 From: Bruce M Simpson To: Seigo Tanimura Message-ID: <20030818092434.GB2392@spc.org> References: <200308180713.h7I7DQPE005765@urban> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200308180713.h7I7DQPE005765@urban> User-Agent: Mutt/1.4.1i Organization: SPC cc: arch@freebsd.org Subject: Re: Embedding a vnode type to its interlock mutex type X-BeenThere: freebsd-arch@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Discussion related to FreeBSD architecture List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 18 Aug 2003 09:27:39 -0000 On Mon, Aug 18, 2003 at 04:13:26PM +0900, Seigo Tanimura wrote: > In short: A vnode should embed its type name (VREG, VCHR, etc.) in the > type of the interlock mutex to avoid a false LOR alarm by Witness. I think I may have run into something similar with VM mutexes, but need to sit down and perform more in-depth testing to be sure about this. It does appear as though WITNESS only checks the name of the mutex, not the address of the mutex, which would presumably be a suitable key to differentiate them uniquely. BMS