Date: Wed, 15 Nov 2000 10:01:19 -0800 (PST) From: John Baldwin <jhb@FreeBSD.org> To: Eivind Eklund <eivind@FreeBSD.org> Cc: arch@FreeBSD.org Subject: Re: Turning on debugging in GENERIC Message-ID: <XFMail.001115100119.jhb@FreeBSD.org> In-Reply-To: <20001115134312.C7752@warning.follo.net>
next in thread | previous in thread | raw e-mail | index | archive | help
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 <jhb@FreeBSD.org> -- 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?XFMail.001115100119.jhb>