Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 19 Oct 2004 09:01:23 -0700
From:      Kris Kennaway <kris@obsecurity.org>
To:        Robert Huff <roberthuff@rcn.com>
Cc:        freebsd-current@freebsd.org
Subject:   Re: WITNESS bug
Message-ID:  <20041019160122.GC55255@xor.obsecurity.org>
In-Reply-To: <16757.4854.809996.993051@jerusalem.litteratus.org>
References:  <20041019023713.GA1072@green.homeunix.org> <16757.4854.809996.993051@jerusalem.litteratus.org>

next in thread | previous in thread | raw e-mail | index | archive | help

--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--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20041019160122.GC55255>