8 Dec
2003
8 Dec
'03
4:03 p.m.
On Mon, 2003-12-08 at 09:38, Hermann Härtig wrote:
Jonathan S. Shapiro wrote:
Within reasonable limits, it doesn't matter what the size of the kernel is. We have so much memory on modern machines that the difference in code size between a 20k kernel and a 60k kernel simply doesn't matter very much.
On different scale: it matters a lot whether the kernel consists of 10K or 100k Lines of Code.
Definitely!
Though even this is deceptive -- the real issue in verification has more to do with conceptual complexity than lines of code. For example, the presence of the same validation check repeated in many places does not significantly increase the complexity of verification.
shap