Faults in Linux: Ten Years Later
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, and Gilles Muller. Faults in Linux: Ten Years Later. In Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011), Newport Beach, California, USA, pages 305-318, March 2011. [DOI]
In 2001, Chou et al. published a study of faults found by applying a static analyzer to Linux versions 1.0 through 2.4.1. A major result of their work was that the drivers directory contained up to 7 times more of certain kinds of faults than other directories. This result inspired a number of development and research efforts on improving the reliability of driver code. Today Linux is used in a much wider range of environments, provides a much wider range of services, and has adopted a new development and release model. What has been the impact of these changes on code quality? Are drivers still a major problem?
To answer these questions, we have transported the experiments of Chou et al. to Linux versions 2.6.0 to 2.6.33, released between late 2003 and early 2010. We find that Linux has more than doubled in size during this period, but that the number of faults per line of code has been decreasing. And, even though drivers still accounts for a large part of the kernel code and contains the most faults, its fault rate is now below that of other directories, such as arch (HAL) and fs (file systems). These results can guide further development and research efforts. To enable others to continually update these results as Linux evolves, we define our experimental protocol and make our checkers and results available in a public archive.
Presentation in PDF
This page contains references to the material related to our publication "Faults in Linux: Ten Years Later":
Faults in Linux: Ten Years Later, Research Report INRIA 7357
Semantic patches used
Off-line database
Postgres 8.4 binary dump
Postgres SQL dump
SQL queries and scripts
Connect to Servers -> PostgreSQL
Username: guest
Password: guest
Open the 10years database
Browse the tables and views under the public schema
Coccinelle 0.2.2
Herodotos 0.6.0
hBugs (to compute theta parameters)
More information on how to navigate the online database can be found on the phpPgAdmin website.
To write your own SQL request, you may consider reading the documentation of Postgres as well.