Faults in Linux: Ten Years Later

Résumé : En 2001, Chou et al. ont publié une étude sur les fautes trouvées par analyse statique dans les versions 1.0 à 2.4.1 de Linux. Un résultat majeur de cette étude est que le répertoire drivers contenait jusqu'à 7 fois plus de fautes que d'autres répertoires. Ce résultat a inspiré de nombreux travaux de recherche afin d'améliorer la fiabilité du code des pilotes. Toutefois, Linux est utilisé à l'heure actuelle dans des environnements plus variés, il fourni plus de services, et un nouveau modèle de développement a été adopté. Quel sont l'impact de ces changements sur la qualité du code? Les pilotes sont ils toujours un problème majeur? Afin de répondre à ces questions, nous avons entrepris de transposer les expériences de Chou et al. aux versions de Linux 2.6.0 à 2.6.33, parues entre fin 2003 et début 2010. Nous observons que même si la taille de Linux à plus que doublée durant cette période, le nombre de fautes par ligne de code a diminué. Même si les pilotes représentent toujours une part importante du code du noyau et contiennent le plus de fautes, leur taux de fautes est maintenant inférieur à celui d'autres répertoires, comme arch (couche d'abstraction matérielle) et fs (systèmes de fichiers). De telles informations peuvent guider de nouveau travaux de recherche et développement. Afin de permettre une mise à jour de ces ces résultats par des tiers au fur et à mesure de l'évolution de Linux, nous définissons notre protocole d'expérimentation et rendons nos outils de vérifications ainsi que nos résultats disponibles dans une archive publique.
Type de document :
Rapport
[Research Report] RR-7357, 2010, pp.21
Liste complète des métadonnées

https://hal.inria.fr/inria-00509256
Contributeur : Julia Lawall <>
Soumis le : mercredi 11 août 2010 - 10:27:56
Dernière modification le : vendredi 6 février 2015 - 13:40:38
Document(s) archivé(s) le : mardi 23 octobre 2012 - 12:05:29

Identifiants

  • HAL Id : inria-00509256, version 1

Collections

Citation

Nicolas Palix, Suman Saha, Gaël Thomas, Christophe Calvès, Julia Lawall, et al.. Faults in Linux: Ten Years Later. [Research Report] RR-7357, 2010, pp.21. <inria-00509256v1>

Partager

Métriques

Consultations de
la notice

164

Téléchargements du document

225