From owner-freebsd-current Thu Jan 7 06:48:23 1999 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id GAA24956 for freebsd-current-outgoing; Thu, 7 Jan 1999 06:48:23 -0800 (PST) (envelope-from owner-freebsd-current@FreeBSD.ORG) Received: from ns1.yes.no (ns1.yes.no [195.204.136.10]) by hub.freebsd.org (8.8.8/8.8.8) with ESMTP id GAA24951 for ; Thu, 7 Jan 1999 06:48:21 -0800 (PST) (envelope-from eivind@bitbox.follo.net) Received: from bitbox.follo.net (bitbox.follo.net [195.204.143.218]) by ns1.yes.no (8.9.1a/8.9.1) with ESMTP id PAA24637 for ; Thu, 7 Jan 1999 15:47:52 +0100 (CET) Received: (from eivind@localhost) by bitbox.follo.net (8.8.8/8.8.6) id PAA35406 for current@freebsd.org; Thu, 7 Jan 1999 15:47:52 +0100 (MET) Message-ID: <19990107154627.L16187@follo.net> Date: Thu, 7 Jan 1999 15:46:27 +0100 From: Eivind Eklund To: hackers@FreeBSD.ORG Subject: Adding KASSERT() - DIAGNOSTIC split Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.93.2i Sender: owner-freebsd-current@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG I'm planning to split DIAGNOSTIC and add KASSERT(assertion, ("Panic message", ...)); to the kernel (based on discussion on -hackers about 1/2 year ago). The changes are: - Add KASSERT() - Split DIAGNOSTIC into three options - DIAGNOSTIC, INVARIANTS and INVARIANT_SUPPORT. 'INVARIANTS' will take over the documented (but not real) meaning of DIAGNOSTIC - activating kernel invariants. INVARIANT_SUPPORT is to make it possible to activate INVARIANTS for any single file in the system - it enable the compilation of functions made for checking data structures, but doesn't enable the actual checks. DIAGNOSTIC will be used to cover extra diagnostic messages, but not to enable extra panic()s. - Change the occurances of #ifdef DIAGNOSTIC in kern/ and vm/ to to #ifdef INVARIANTS, #ifdef INVARIANT_SUPPORT, #ifdef DIAGNOSTIC or KASSERT() as appropriate. Patches for all of this is already at http://www.freebsd.org/~eivind/KASSERT.patch I'll commit these changes within a couple of days unless I get objections; be warned that I'm converting a lot of DIAGNOSTIC stuff to KASSERT() form, so if I'm unlucky there may be changes in behaviour (AKA bugs) in the invariants. Consider this your heads-up WRT that. Eivind. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-current" in the body of the message