WITNESS bug

Kris Kennaway kris at obsecurity.org
Tue Oct 19 09:01:09 PDT 2004


On Tue, Oct 19, 2004 at 09:13:26AM -0400, Robert Huff wrote:
> 
> 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?

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

Kris
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 187 bytes
Desc: not available
Url : http://lists.freebsd.org/pipermail/freebsd-current/attachments/20041019/afeac4f2/attachment.bin


More information about the freebsd-current mailing list