From owner-freebsd-arch Thu Jun 20 16: 4: 1 2002 Delivered-To: freebsd-arch@freebsd.org Received: from ebb.errno.com (ebb.errno.com [66.127.85.87]) by hub.freebsd.org (Postfix) with ESMTP id 211C337B618 for ; Thu, 20 Jun 2002 16:03:32 -0700 (PDT) Received: from melange (melange.errno.com [66.127.85.82]) (authenticated bits=0) by ebb.errno.com (8.12.1/8.12.1) with ESMTP id g5KN3Vr4022587 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NO); Thu, 20 Jun 2002 16:03:32 -0700 (PDT)?g (envelope-from sam@errno.com)œ Message-ID: <136101c218ae$b2a37c70$52557f42@errno.com> From: "Sam Leffler" To: "Dag-Erling Smorgrav" Cc: References: <124a01c2189b$72df9cd0$52557f42@errno.com> Subject: Re: DIAGNOSTIC vs. INVARIANTS Date: Thu, 20 Jun 2002 16:03:30 -0700 Organization: Errno Consulting MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4807.1700 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4807.1700 Sender: owner-freebsd-arch@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.ORG > "Sam Leffler" writes: > > I read DIAGNOSTIC to be intended to control inclusion of code that _prints > > diagnostic messages_ or similar and not code that does consistency checks. > > DIAGNOSTICS is also intended for consistency checks that have a > significant impact on performance. There are things under DIAGNOSTIC that look to belong under INVARIANTS. It is a good thing to have a set of consistency checks that developers can run but that might be turned off in a production system. This looks to be how INVARIANTS is used. Consistency checks that have a significant performance impact probably should have individual controls or they'll cause the general mechanism to be much less useful. Sam To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-arch" in the body of the message