Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers

Abstract : Porting Linux device drivers to target more recent and older Linux kernel versions to compensate for the ever-changing kernel interface is a continual problem for Linux device driver developers. Acquiring information about interface changes is a necessary, but tedious and error prone, part of this task. In this paper, we propose two tools, Prequel and gcc-reduce, to help the developer collect the needed information. Prequel provides language support for querying git commit histories, while gcc-reduce translates error messages produced by compiling a driver with a target kernel into appropriate Pre-quel queries. We have used our approach in porting 33 device driver files over up to 3 years of Linux kernel history , amounting to hundreds of thousands of commits. In these experiments, for 3/4 of the porting issues, our approach highlighted commits that enabled solving the porting task. For many porting issues, our approach retrieves relevant commits in 30 seconds or less.
Type de document :
Communication dans un congrès
2017 USENIX Annual Technical Conference, Jul 2017, Santa Clara, CA, United States. pp.12, 〈https://www.usenix.org/conference/atc17〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01556589
Contributeur : Julia Lawall <>
Soumis le : mercredi 5 juillet 2017 - 12:00:22
Dernière modification le : samedi 24 novembre 2018 - 01:28:12
Document(s) archivé(s) le : mardi 23 janvier 2018 - 20:28:42

Fichier

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

Identifiants

  • HAL Id : hal-01556589, version 1

Citation

Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller. Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. 2017 USENIX Annual Technical Conference, Jul 2017, Santa Clara, CA, United States. pp.12, 〈https://www.usenix.org/conference/atc17〉. 〈hal-01556589〉

Partager

Métriques

Consultations de la notice

205

Téléchargements de fichiers

82