Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 19 Oct 2004 09:13:26 -0400
From:      Robert Huff <roberthuff@rcn.com>
To:        freebsd-current@freebsd.org
Subject:   Re: WITNESS bug
Message-ID:  <16757.4854.809996.993051@jerusalem.litteratus.org>
In-Reply-To: <20041019023713.GA1072@green.homeunix.org>
References:  <20041019023713.GA1072@green.homeunix.org>

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

Brian Fundakowski Feldman writes:

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

	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?


			Robert Huff




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