From owner-freebsd-arch Wed Nov 15 10: 0:50 2000 Delivered-To: freebsd-arch@freebsd.org Received: from pike.osd.bsdi.com (pike.osd.bsdi.com [204.216.28.222]) by hub.freebsd.org (Postfix) with ESMTP id EB5FA37B479; Wed, 15 Nov 2000 10:00:47 -0800 (PST) Received: from laptop.baldwin.cx (john@jhb-laptop.osd.bsdi.com [204.216.28.241]) by pike.osd.bsdi.com (8.11.0/8.9.3) with ESMTP id eAFI0eB25710; Wed, 15 Nov 2000 10:00:40 -0800 (PST) (envelope-from jhb@FreeBSD.org) Message-ID: X-Mailer: XFMail 1.4.0 on FreeBSD X-Priority: 3 (Normal) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 8bit MIME-Version: 1.0 In-Reply-To: <20001115134312.C7752@warning.follo.net> Date: Wed, 15 Nov 2000 10:01:19 -0800 (PST) From: John Baldwin To: Eivind Eklund Subject: Re: Turning on debugging in GENERIC Cc: arch@FreeBSD.org Sender: owner-freebsd-arch@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG On 15-Nov-00 Eivind Eklund wrote: > On Mon, Nov 13, 2000 at 05:19:38PM -0800, John Baldwin wrote: >> Well, I've seen several cases of this being talked about, but unless there >> are >> major objections (and there shouldn't be), I plan to turn on the following >> options in GENERIC in -current in 2-3 days: >> >> options INVARIANTS >> options INVARIANT_SUPPORT >> options DIAGNOSTICS >> options WITNESS >> >> Currently a kernel will not boot with WITNESS turned on (it will die during >> the >> SCSI/ATA probes), but I have patches to fix this that have been tested on UP >> and SMP x86 and work fine and I am in the process of testing on my Alpha. >> If >> anyone has any other debugging options that they would like to see turned on >> in >> addition, feel free to add to this list. > > I'm not sure I'm happy about DIAGNOSTIC; unless changed, it > significantly change some codepaths, and it produce output about system > state, not just extra checks. Any plain checks that are under DIAGNOSTIC is > there through a miscommunication or not finished conversion, anyway; it > should only be causing extra debug output. Ok. So converting any cases of DIAGNOSTIC that are extra checks to use INVARIANTS instead would be a preferable solution? > Adding the rest of them are in my opinion a good thing. > > Eivind. -- John Baldwin -- http://www.FreeBSD.org/~jhb/ PGP Key: http://www.baldwin.cx/~john/pgpkey.asc "Power Users Use the Power to Serve!" - http://www.FreeBSD.org/ To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-arch" in the body of the message