Date: Wed, 10 Mar 1999 12:22:17 -0500 (EST) From: Garrett Wollman <wollman@khavrinen.lcs.mit.edu> To: Dan Swartzendruber <druber@kersur.net> Cc: freebsd-current@FreeBSD.ORG Subject: Re: panic: zone: entry not free Message-ID: <199903101722.MAA27037@khavrinen.lcs.mit.edu> In-Reply-To: <Pine.BSF.3.96.990310120204.26880B-100000@mail.kersur.net> References: <199903101649.LAA26851@khavrinen.lcs.mit.edu> <Pine.BSF.3.96.990310120204.26880B-100000@mail.kersur.net>
next in thread | previous in thread | raw e-mail | index | archive | help
<<On Wed, 10 Mar 1999 12:03:00 -0500 (EST), Dan Swartzendruber <druber@kersur.net> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199903101722.MAA27037>