From owner-freebsd-arch  Wed Nov 15  4:43:17 2000
Delivered-To: freebsd-arch@freebsd.org
Received: from warning.follo.net (warning.follo.net [195.204.136.30])
	by hub.freebsd.org (Postfix) with ESMTP
	id AB18137B479; Wed, 15 Nov 2000 04:43:13 -0800 (PST)
Received: (from eivind@localhost)
	by warning.follo.net (8.9.3/8.9.3) id NAA11146;
	Wed, 15 Nov 2000 13:43:12 +0100 (CET)
Date: Wed, 15 Nov 2000 13:43:12 +0100
From: Eivind Eklund <eivind@FreeBSD.ORG>
To: John Baldwin <jhb@FreeBSD.ORG>
Cc: arch@FreeBSD.ORG
Subject: Re: Turning on debugging in GENERIC
Message-ID: <20001115134312.C7752@warning.follo.net>
References: <XFMail.001113171938.jhb@FreeBSD.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.2.4i
In-Reply-To: <XFMail.001113171938.jhb@FreeBSD.org>; from jhb@FreeBSD.ORG on Mon, Nov 13, 2000 at 05:19:38PM -0800
Sender: owner-freebsd-arch@FreeBSD.ORG
Precedence: bulk
X-Loop: FreeBSD.ORG

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.

Adding the rest of them are in my opinion a good thing.

Eivind.


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