[2378] in linux-net channel archive
Re: Internet Provider?
daemon@ATHENA.MIT.EDU (Rob Janssen reading Linux mailingl)
Sun Apr 7 01:09:14 1996
From: linux@pe1chl.ampr.org (Rob Janssen reading Linux mailinglist)
To: linux-net@vger.rutgers.edu
Date: Sat, 6 Apr 1996 13:26:31 +0200 (MET DST)
In-Reply-To: <9604051929.AA04415@dcl.MIT.EDU> from "Theodore Ts'o" at Apr 5, 96 02:29:12 pm
Reply-To: linux-vger@wab-tis.rabobank.nl
According to Theodore Ts'o:
> At this point, 1.09 seems to be solid pretty solid for ~24 ports, and
> I've fixed two more bugs in 1.10 which seem to make it work well with
> 32-48 ports in use. 1.10 may be solid with more ports in use, but only
> time and experimentation will tell. I do have one set of changes which
> is not yet in 1.10 to fix what may be a potential race condition bug.
Well, my experience with device drivers (for the Z8530) is that
stability is not something achieved through experimentation and testing,
but only through careful scrutinizing of the code to make sure there are
no race conditions and all exceptions (however unlikely they are) are
properly handled.
Experimentation and testing can be used to prove that a certain driver
is faulty, but not to prove that it is solid.
Of course, making sure no race conditions are present requires perfect
knowledge of the operating environment of the driver, and this may be
difficult to achieve when the environment is changing all the time...
Rob
--
+------------------------------------+--------------------------------------+
| Rob Janssen rob@knoware.nl | BBS: +31-302870036 (2300-0730 local) |
| AMPRnet: rob@pe1chl.ampr.org | AX.25 BBS: PE1CHL@PI8WNO.#UTR.NLD.EU |
+------------------------------------+--------------------------------------+
