On Fri, May 12, 2006 at 11:32:44PM +0300, Dmitry Pryanishnikov wrote:
> 
> Hello!
> 
> On Tue, 2 May 2006, Robert Watson wrote:
> >>options     INVARIANTS
> >>options     INVARIANT_SUPPORT
> >
> >In FreeBSD 5.x and FreeBSD 6.x, the INVARIANTS option has been 
> >significantly expanded to test a much larger set of invariants, and also 
> >incorporate kernel use-after-free checking, which involves memory 
> >scrubbing.  This is great for catching bugs, but it will have a 
> >significant performance impact, especially for kernel-intensive loads.
> 
>  So maybe it's time to add, say,
> 
> options      INVARIANTS_EXTENDED
> 
> for these new and expensive checks, and leave only basic and cheap (yet
> effective for bug hunting) asserts enabled when only
> 
> options      INVARIANTS
> 
> is defined?

No, they are all effective for bug hunting.  You just need to be aware
that it is incompatible with performance.

Kris

Attachment: pgpBtm7Pv8jt2.pgp
Description: PGP signature

Reply via email to