Skip to Main content Skip to Navigation
Conference papers

Faults in Linux: Ten Years Later

Abstract : 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, however, 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 attempted to transport, based on the information provided, 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 even if Linux has more than doubled in size during this period, 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). Such information can guide further development and research efforts. To enable others to continually update the results as Linux evolves, we define our experimental protocol and make our checkers and results available in a public archive.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00940355
Contributor : Nicolas Palix Connect in order to contact the contributor
Submitted on : Friday, January 31, 2014 - 5:48:54 PM
Last modification on : Friday, January 21, 2022 - 3:21:42 AM

Identifiers

Citation

Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia L. Lawall, et al.. Faults in Linux: Ten Years Later. ASPLOS 2011 - 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2011, Newport Beach, California, United States. pp.305-318, ⟨10.1145/1950365.1950401⟩. ⟨hal-00940355⟩

Share

Metrics

Les métriques sont temporairement indisponibles