From owner-freebsd-arch@freebsd.org Mon Sep 7 21:29:39 2015 Return-Path: Delivered-To: freebsd-arch@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 15F749CCC40 for ; Mon, 7 Sep 2015 21:29:39 +0000 (UTC) (envelope-from pawel@dawidek.net) Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org [IPv6:2001:1900:2254:206a::50:5]) by mx1.freebsd.org (Postfix) with ESMTP id EEDD611C3 for ; Mon, 7 Sep 2015 21:29:38 +0000 (UTC) (envelope-from pawel@dawidek.net) Received: by mailman.ysv.freebsd.org (Postfix) id EE1909CCC3F; Mon, 7 Sep 2015 21:29:38 +0000 (UTC) Delivered-To: arch@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id EDAA09CCC3E for ; Mon, 7 Sep 2015 21:29:38 +0000 (UTC) (envelope-from pawel@dawidek.net) Received: from mail.dawidek.net (garage.dawidek.net [91.121.88.72]) by mx1.freebsd.org (Postfix) with ESMTP id BB47C11C2 for ; Mon, 7 Sep 2015 21:29:35 +0000 (UTC) (envelope-from pawel@dawidek.net) Received: from localhost (unknown [91.206.210.19]) by mail.dawidek.net (Postfix) with ESMTPSA id C6FABCAE; Mon, 7 Sep 2015 23:29:27 +0200 (CEST) Date: Mon, 7 Sep 2015 23:29:44 +0200 From: Pawel Jakub Dawidek To: Warner Losh Cc: "freebsd-arch@freebsd.org" Subject: Re: exporting INVARIANTS easily Message-ID: <20150907212943.GB1778@garage.freebsd.pl> References: MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="24zk1gE8NUlDmwG9" Content-Disposition: inline In-Reply-To: X-OS: FreeBSD 11.0-CURRENT amd64 User-Agent: Mutt/1.5.23 (2014-03-12) X-BeenThere: freebsd-arch@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Discussion related to FreeBSD architecture List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 07 Sep 2015 21:29:39 -0000 --24zk1gE8NUlDmwG9 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Wed, Aug 26, 2015 at 11:20:06AM -0600, Warner Losh wrote: > Greetings, >=20 > Many of the performance eating features are exported via some kind of sys= ctl, usually > patterned after the case of witness as debug.foo. INVARIANTS isn=E2=80=99= t one of those > features. >=20 > https://reviews.freebsd.org/D3488 >=20 > implements debug.invariants. Please comment. >=20 > I=E2=80=99d thought about adding it to the kern.features sysctl, but thou= ght better of it since it > isn=E2=80=99t a facility that people can use. >=20 > If you include the kernel config in the kernel, you can get this informat= ion via > config -x | grep INVARIANTS > but not all kernels do that. This is more robust. >=20 > I also know that you can load some modules compiled INVARIANTS when the b= ase > kernel isn=E2=80=99t built that way and this won=E2=80=99t reflect that. = There=E2=80=99s no good want to include > that information and is an uncommon use case. >=20 > Our use case? We have a raft of test machines. Most run without INVARIANT= S since > we want to characterize the performance of the release under test. Some a= re running > INVARIANTS since we want to test the robustness as well, even at the expe= nse of > some performance. To ensure we don=E2=80=99t accidentally include INVARIA= NTS systems > in the performance number, we=E2=80=99ve adding a key to an internal data= base that=E2=80=99s driven > off this sysctl. >=20 > 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. --=20 Pawel Jakub Dawidek http://www.wheelsystems.com FreeBSD committer http://www.FreeBSD.org Am I Evil? Yes, I Am! http://mobter.com --24zk1gE8NUlDmwG9 Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCgAGBQJV7gHHAAoJEJVLhSuxKFt1JicP/RfLmso/BftpGykpO2hJPuuJ sNqQjroFMlrQrIzu/rAWrJ7PPffgDdmCtmAZ4+cpVRUodU7A15ZIXdNghGgaIhhy aplcV1uT967vpYWMTjJ1UPNi2qWLTcV2Dp0EoGCCUshUXN9M+43UJSEEd1fokywd fFRlLA5yazUnerDoZmetHanNEcumKhb7QFdAcYpBAxkBV5j3O5jEFXrE+/K7PbBy sdH1YWBf1j8VSvBrLMlQRC52GNBHYnlSWaobfOj1ng5hRrh/g+1XDoYOqPQerNSg PO+mlAsL0NgjvBY7aVc1PBAsj+ytK1HyDyf9/W3jz4J0WPJshnn7Z20S64aLfxXg IhSWkbd1ApGXDz5PunsLxmfsKPWGeaNUmZiP+pluajd5/4q799bXjBPCm+ZdnXdR K1NdTPBQ/ED8jXRmbgfqKFGDLQXelAI4lu9z8Y9iBB+oEIi9nHflN83TZSoal5Rd Rf0QDXcgnH+U9gBBClEgiLP/oqTQnto2tTMI4pDYzbOQ9Keb6wKfWRkCziyuUqMY Pi+r6MoWi5rvNEipvFMMoykrYD+bPXOD441yzrHbA3w4SJH4xuQ7uCE/9S89Y2zS uHOFzkL979RJ/RK1wkT72C5bjGzfzwXPiolWqlvwzwKd1xH15o9Dmuq+KK71FVel wVMa7nTJTxkjQoUsQ3ru =diDM -----END PGP SIGNATURE----- --24zk1gE8NUlDmwG9--