From owner-freebsd-hackers Mon May 18 13:02:11 1998 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id NAA17442 for freebsd-hackers-outgoing; Mon, 18 May 1998 13:02:11 -0700 (PDT) (envelope-from owner-freebsd-hackers@FreeBSD.ORG) Received: from ns.mt.sri.com (sri-gw.MT.net [206.127.105.141]) by hub.freebsd.org (8.8.8/8.8.8) with ESMTP id NAA17322 for ; Mon, 18 May 1998 13:02:00 -0700 (PDT) (envelope-from nate@mt.sri.com) Received: from mt.sri.com (rocky.mt.sri.com [206.127.76.100]) by ns.mt.sri.com (8.8.8/8.8.8) with SMTP id OAA11276; Mon, 18 May 1998 14:01:57 -0600 (MDT) (envelope-from nate@rocky.mt.sri.com) Received: by mt.sri.com (SMI-8.6/SMI-SVR4) id OAA25464; Mon, 18 May 1998 14:01:54 -0600 Date: Mon, 18 May 1998 14:01:54 -0600 Message-Id: <199805182001.OAA25464@mt.sri.com> From: Nate Williams MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: David Wolfskill Cc: hackers@FreeBSD.ORG Subject: Re: nfs exported FreeBSD cvs repository, mounted on client, update problems In-Reply-To: <199805181801.LAA12103@pau-amma.whistle.com> References: <199805181801.LAA12103@pau-amma.whistle.com> X-Mailer: VM 6.29 under 19.15 XEmacs Lucid Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG > >Terry will pipe up now and try to get us to optimize the rare > >case, but as any good engineer nows that penalizes the standard > >case for the rare case is always a bad idea. > > I'm certainly not even going to try to speak for Terry (or anyone else > but me). > > That said, I'll agree that optimizing for the rare case isn't generally > appropriate, but ensuring that all cases (even rare ones) are handled > *correctly*, is nearly always worthwhile. When correctness involves human behavior, you can't optimize for it, nor guarantee that it will always work. In other words, trying to gain 100% computer correctness is a bad thing when 5% of the time the incorrectness is due to human error (and unavoidable given the current resources) then it makes no sense to try to optimize any more past that point. Nate To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message