JMake: Dependable Compilation for Kernel Janitors

Julia Lawall 1 Gilles Muller 1
1 Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : The Linux kernel is highly configurable, and thus, in principle, any line of code can be included or excluded from the compiled kernel based on configuration operations. Configurability complicates the task of a kernel janitor, who cleans up faults across the code base. A janitor may not be familiar with the configuration options that trigger compilation of a particular code line, leading him to believe that a fix has been compile-checked when this is not the case. We propose JMake, a mutation-based tool for signaling changed lines that are not subjected to the compiler. JMake shows that for most of the 12,000 file-modifying commits between Linux v4.3 and v4.4 the configuration chosen by the kernel allyesconfig option is sufficient, once the janitor chooses the correct architecture. For most commits, this check requires only 30 seconds or less. We then characterize the situations in which changed code is not subjected to compilation in practice.
Type de document :
Communication dans un congrès
The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2017, Denver,Colorado, United States. 2017, 〈http://dsn2017.github.io/〉. 〈10.1109/DSN.2017.62〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01555711
Contributeur : Julia Lawall <>
Soumis le : mardi 4 juillet 2017 - 12:40:21
Dernière modification le : jeudi 11 janvier 2018 - 06:26:02
Document(s) archivé(s) le : jeudi 14 décembre 2017 - 23:09:03

Fichier

jmake.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Julia Lawall, Gilles Muller. JMake: Dependable Compilation for Kernel Janitors. The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2017, Denver,Colorado, United States. 2017, 〈http://dsn2017.github.io/〉. 〈10.1109/DSN.2017.62〉. 〈hal-01555711〉

Partager

Métriques

Consultations de la notice

228

Téléchargements de fichiers

45