From owner-freebsd-current@FreeBSD.ORG  Tue Oct 19 16:01:09 2004
Return-Path: <owner-freebsd-current@FreeBSD.ORG>
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 A91B116A4D0
	for <freebsd-current@freebsd.org>;
	Tue, 19 Oct 2004 16:01:09 +0000 (GMT)
Received: from obsecurity.dyndns.org
	(CPE0050040655c8-CM00111ae02aac.cpe.net.cable.rogers.com [69.194.102.143])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 8135E43D5F
	for <freebsd-current@freebsd.org>;
	Tue, 19 Oct 2004 16:01:09 +0000 (GMT)
	(envelope-from kris@obsecurity.org)
Received: by obsecurity.dyndns.org (Postfix, from userid 1000)
	id 2A00B522C7; Tue, 19 Oct 2004 09:01:23 -0700 (PDT)
Date: Tue, 19 Oct 2004 09:01:23 -0700
From: Kris Kennaway <kris@obsecurity.org>
To: Robert Huff <roberthuff@rcn.com>
Message-ID: <20041019160122.GC55255@xor.obsecurity.org>
References: <20041019023713.GA1072@green.homeunix.org>
	<16757.4854.809996.993051@jerusalem.litteratus.org>
Mime-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="O3RTKUHj+75w1tg5"
Content-Disposition: inline
In-Reply-To: <16757.4854.809996.993051@jerusalem.litteratus.org>
User-Agent: Mutt/1.4.2.1i
cc: freebsd-current@freebsd.org
Subject: Re: WITNESS bug
X-BeenThere: freebsd-current@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Discussions about the use of FreeBSD-current
	<freebsd-current.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-current>
List-Post: <mailto:freebsd-current@freebsd.org>
List-Help: <mailto:freebsd-current-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 19 Oct 2004 16:01:09 -0000


--O3RTKUHj+75w1tg5
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Tue, Oct 19, 2004 at 09:13:26AM -0400, Robert Huff wrote:
>=20
> Brian Fundakowski Feldman writes:
>=20
> >  You should never not run with WITNESS_SKIPSPIN if you use
> >  modules.  Any spin mutexes not listed statically in the witness
> >  code will cause your machine to immediately panic.
>=20
> 	If this is true (and I'm not disputing it), shouldn't it be
> noted in GENERIC and/or NOTES?  For that matter, what's the penalty
> for not automatically including it as part of WITNESS?

Sometimes you don't want to use it, e.g. if you actually want to trace
spinlock operations with witness.

Kris

--O3RTKUHj+75w1tg5
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (FreeBSD)

iD8DBQFBdTpRWry0BWjoQKURAiH8AKDowe4uvz+eClOmxqAnMCZJRlZcogCg0Mx/
kHVb/ON6ty9XeZzbqlAKk5M=
=LX0Q
-----END PGP SIGNATURE-----

--O3RTKUHj+75w1tg5--