From owner-freebsd-hackers Thu Jan 7 06:47:18 1999 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id GAA24501 for freebsd-hackers-outgoing; Thu, 7 Jan 1999 06:47:18 -0800 (PST) (envelope-from owner-freebsd-hackers@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 GAA24492; Thu, 7 Jan 1999 06:46:59 -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 PAA24595; Thu, 7 Jan 1999 15:46:29 +0100 (CET) Received: (from eivind@localhost) by bitbox.follo.net (8.8.8/8.8.6) id PAA35384; Thu, 7 Jan 1999 15:46:27 +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-hackers@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-hackers" in the body of the message