déposer
version française rss feed
HAL : hal-01022704, version 1

Fiche détaillée  Récupérer au format
ACM Transactions on Computer Systems 32, 2 (2014) 1--40
Faults in Linux 2.6
Nicolas Palix ( ) 1, 2, Gaël Thomas 3, 4, Suman Saha 3, 4, Christophe Calvès 3, 4, Gilles Muller 3, 4, Julia L. Lawall 3, 4
(06/2014)

In August 2011, Linux entered its third decade. Ten years before, 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 numerous efforts on improving the reliability of driver code. Today, Linux is used in a wider range of environments, provides a wider range of services, and has adopted a new development and release model. What has been the impact of these changes on code quality? To answer this question, we have transported Chou et al.'s experiments to all versions of Linux 2.6; released between 2003 and 2011. We find that Linux has more than doubled in size during this period, but the number of faults per line of code has been decreasing. Moreover, the fault rate of drivers is now below that of other directories, such as arch. These results can guide further development and research efforts for the decade to come. To allow updating these results as Linux evolves, we define our experimental protocol and make our checkers available.
1 :  Université Joseph Fourier (Grenoble 1 UJF)
Université Joseph Fourier - Grenoble I
2 :  Laboratoire d'Informatique de Grenoble (LIG)
Université Joseph Fourier - Grenoble I – Institut polytechnique de Grenoble (Grenoble INP) – Université Pierre-Mendès-France - Grenoble II – CNRS : UMR5217
3 :  Laboratoire d'Informatique de Paris 6 (LIP6)
CNRS : UMR7606 – Université Pierre et Marie Curie (UPMC) - Paris VI
4 :  REGAL (INRIA Paris-Rocquencourt)
INRIA – CNRS : UMR7606 – Université Pierre et Marie Curie (UPMC) - Paris VI
Erods
Informatique/Génie logiciel

Informatique/Système d'exploitation
experimentation – fault finding – Linux – measurement – operating systems – reliability
Liste des fichiers attachés à ce document : 
PDF
faults-in-linux-2.6-tocs.pdf(918.3 KB)
ANNEX
dump.sql.xz(76.8 MB)
faults-in-Linux-2.6-experiments.txz(24.3 MB)
faults-in-Linux-2.6
PS
faults-in-linux-2.6-tocs.ps(4.6 MB)

tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...