Re: PCI DMA lockups in 3.2 (3.3 maybe?)

[Andrew Reilly]

On Sun, Dec 05, 1999 at 07:42:21PM -0700, Wes Peters wrote:
> Software
> is created by humans, and humans are fallible, therefore the software
> is also fallible.

No, that doesn't logically follow.  Just because it's possible
for humans to make mistakes doesn't mean that it's impossible to
do or make something (eventually) without mistakes.  Even when
formal proof isn't possible (the usual case) careful design,
backed up by design-based assertions and tests can produce code
that does not have bugs.

FreeBSD is a big and complicated thing, but it's (largely)
composed of subsystems that can be maintained, designed and
tested by individuals.  I think that a goal of "surprise at a
crash of any sort" isn't unreasonable, and highly desirable.

I'll take "right" over "fast", and both over "features" any day.

-- 
Andrew


To Unsubscribe: send mail to [EMAIL PROTECTED]
with "unsubscribe freebsd-hackers" in the body of the message