Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 17 Mar 2003 09:10:39 -0800
From:      walt <wa1ter@myrealbox.com>
To:        freebsd-current@freebsd.org
Subject:   Re: Why did INVARIANTS hide the geom bug?
Message-ID:  <3E76018F.5030406@myrealbox.com>
In-Reply-To: <b53sfq$dke$1@FreeBSD.csie.NCTU.edu.tw>
References:  <b53sfq$dke$1@FreeBSD.csie.NCTU.edu.tw>

next in thread | previous in thread | raw e-mail | index | archive | help
Poul-Henning Kamp wrote:
> In message <3E74BEA3.6070603@myrealbox.com>, walt writes:
> 
>>If inclusion of INVARIANTS serves to disguise bugs in
>>the kernel, I wonder if kernel committers should be
>>using this option routinely?
> 
> 
> Please check into our current reality :-)

Hm.  How do I parse that sentence?  If you are implying
(as it says in NOTES) that INVARIANTS are "not enabled by
default" then my question is certainly a stupid one.

However, when I look at the GENERIC kernel config file I see
options         INVARIANTS
options         INVARIANT_SUPPORT
so what am I to think?  Do most kernel committers run a
GENERIC kernel as the FBSD website says?  Does anyone
take a poll occasionally?  Did I miss your point entirely?


> Suggest you check what INVARIANTS actually do.

Looking at the code thru my amateur eyes it appears that
defining INVARIANTS allows the programmer to add whatever
code he wishes with an ifdef statement.  That covers a
lot of territory.  Looking thru sys/geom I don't see any
such ifdefs in your code, so I still don't know why the
recent geom bug was hidden by INVARIANTS.

Hope you're feeling better :-)


To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-current" in the body of the message




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