Gentoo Archives: gentoo-user

From: Peter Humphrey <peter@××××××××××××××.org>
To: gentoo-user@l.g.o
Subject: Re: [gentoo-user] Re: What happened to OpenRC 0.9.6?
Date: Wed, 30 Nov 2011 04:18:35
Message-Id: 201111300417.00521.peter@humphrey.ukfsn.org
In Reply to: Re: [gentoo-user] Re: What happened to OpenRC 0.9.6? by Walter Dnes
1 On Tuesday 29 November 2011 23:28:48 Walter Dnes wrote:
2
3 > There aren't enough developers on the planet to test every possible
4 > combination of testing ebuild, and non-recommended rc.conf option.
5
6 Not only that, but once random timing is introduced, as in any system with a
7 hardware clock interrupt, it becomes impossible in principle to cover all
8 cases, so testing is always imperfect. That was the death-knell of
9 mathematical proof of correctness in the 80s; it only ever applied to a
10 small subset of real computer systems.
11
12 --
13 Rgds
14 Peter Linux Counter 5290, 1994-04-23