Torvalds & Linux Dev Process
Torvalds & Linux Dev Process: "Some already exists.
(Score:5, Informative)
by jd (1658) on Monday September 26, @01:10PM (#13651791)
(http://slashdot.org/ | Last Journal: Saturday July 30, @01:33AM)
The Linux Test Project, Web100 (which profiles the network stack) and the TAHI IPv6/IPSec Test Suite should be usable to give you a starting point for validating the kernel. HOL may be usable as a component in formal proofs of components with well-defined behaviour (such as busses, networks, etc). Both TAU and the Performance Application Programming Interface would allow you to create profiles of kernel components running in User-Mode Linux, so allowing developers to spot the causes of things like latency.


These wouldn't solve ALL problems, or even the majority of them, but they would solve some and they would make life easier on developers in the long-run. Are these being used? Well, a glance at the Freshmeat graphs for Web100 shows that it is getting downloaded. This doesn't mean it is getting used, though. The same is true of virtually all of the other code I've mentioned. People have copies, but if the code being submitted is flakey and taking a long time to fix, then maybe the code is not being used as much as it could/should be.


The tools exist, the tools exist on people's hard drives, but unless the tools are being used in practice, that's not going to do any good."
- posted by Gp @ 10:22 AM