exporting INVARIANTS easily
Pawel Jakub Dawidek
pjd at FreeBSD.org
Mon Sep 7 21:29:39 UTC 2015
On Wed, Aug 26, 2015 at 11:20:06AM -0600, Warner Losh wrote:
> Greetings,
>
> Many of the performance eating features are exported via some kind of sysctl, usually
> patterned after the case of witness as debug.foo. INVARIANTS isn’t one of those
> features.
>
> https://reviews.freebsd.org/D3488
>
> implements debug.invariants. Please comment.
>
> I’d thought about adding it to the kern.features sysctl, but thought better of it since it
> isn’t a facility that people can use.
>
> If you include the kernel config in the kernel, you can get this information via
> config -x | grep INVARIANTS
> but not all kernels do that. This is more robust.
>
> I also know that you can load some modules compiled INVARIANTS when the base
> kernel isn’t built that way and this won’t reflect that. There’s no good want to include
> that information and is an uncommon use case.
>
> Our use case? We have a raft of test machines. Most run without INVARIANTS since
> we want to characterize the performance of the release under test. Some are running
> INVARIANTS since we want to test the robustness as well, even at the expense of
> some performance. To ensure we don’t accidentally include INVARIANTS systems
> in the performance number, we’ve adding a key to an internal database that’s driven
> off this sysctl.
>
> Comments?
As long as the ultimate goal is to have INVARIANTS in GENERIC I'm all
for it! I use to run even production machines with INVARIANTS, which was
helpful to catch VirtualBox's kernel memory corruption, but we've moved
to GENERIC since I wanted to use freebsd-update. Having INVARIANTS in
GENERIC would be great.
--
Pawel Jakub Dawidek http://www.wheelsystems.com
FreeBSD committer http://www.FreeBSD.org
Am I Evil? Yes, I Am! http://mobter.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 819 bytes
Desc: not available
URL: <http://lists.freebsd.org/pipermail/freebsd-arch/attachments/20150907/720e5b4c/attachment.bin>
More information about the freebsd-arch
mailing list