From owner-freebsd-current@FreeBSD.ORG Sat May 15 18:33:31 2004 Return-Path: Delivered-To: freebsd-current@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 2F47816A4CE for ; Sat, 15 May 2004 18:33:31 -0700 (PDT) Received: from smtp03.mrf.mail.rcn.net (smtp03.mrf.mail.rcn.net [207.172.4.62]) by mx1.FreeBSD.org (Postfix) with ESMTP id DE26343D39 for ; Sat, 15 May 2004 18:33:30 -0700 (PDT) (envelope-from roberthuff@rcn.com) Received: from 209-6-197-67.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com ([209.6.197.67] helo=jerusalem.litteratus.org.litteratus.org) by smtp03.mrf.mail.rcn.net with esmtp (Exim 4.32 #2) id 1BPAWv-0000js-QP for current@FreeBSD.org; Sat, 15 May 2004 21:33:30 -0400 From: Robert Huff MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <16550.50403.299027.374926@jerusalem.litteratus.org> Date: Sat, 15 May 2004 21:33:23 -0400 To: current@FreeBSD.org In-Reply-To: <20040514152916.D15395@pcle2.cc.univie.ac.at> References: <20040514152916.D15395@pcle2.cc.univie.ac.at> X-Mailer: VM 7.17 under 21.5 (beta16) "celeriac" XEmacs Lucid Subject: but withoutI WITNESS and INVARIANTS ? X-BeenThere: freebsd-current@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Discussions about the use of FreeBSD-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 16 May 2004 01:33:31 -0000 Lukas Ertl writes: > All of these options are meant for debugging purposes. So > removing them will not just not hurt, but also improve > performance. :-) On the other hand: if you can afford the perforamnce hit, leave them in. As I understand it, the class of problems they (help) diagnose are usually both subtle and consequential. Robert Huff