From owner-freebsd-current Wed Mar 10 9:22:38 1999 Delivered-To: freebsd-current@freebsd.org Received: from khavrinen.lcs.mit.edu (khavrinen.lcs.mit.edu [18.24.4.193]) by hub.freebsd.org (Postfix) with ESMTP id 5908D1517D for ; Wed, 10 Mar 1999 09:22:35 -0800 (PST) (envelope-from wollman@khavrinen.lcs.mit.edu) Received: (from wollman@localhost) by khavrinen.lcs.mit.edu (8.9.1/8.9.1) id MAA27037; Wed, 10 Mar 1999 12:22:17 -0500 (EST) (envelope-from wollman) Date: Wed, 10 Mar 1999 12:22:17 -0500 (EST) From: Garrett Wollman Message-Id: <199903101722.MAA27037@khavrinen.lcs.mit.edu> To: Dan Swartzendruber Cc: freebsd-current@FreeBSD.ORG Subject: Re: panic: zone: entry not free In-Reply-To: References: <199903101649.LAA26851@khavrinen.lcs.mit.edu> Sender: owner-freebsd-current@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG < said: > No, but I didn't think that was what we were talking about. I thought > we were talking about assertions. We were talking about invariants, which document the conditions which nearby code expect and/or cause. To actually check these conditions in a production system is a waste of CPU power; their function is to define for the developers precisely what the expected outcome of a particular operation is, so that new bugs are not introduced when code is modified. -GAWollman -- Garrett A. Wollman | O Siem / We are all family / O Siem / We're all the same wollman@lcs.mit.edu | O Siem / The fires of freedom Opinions not those of| Dance in the burning flame MIT, LCS, CRS, or NSA| - Susan Aglukark and Chad Irschick To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-current" in the body of the message