Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2007

Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers

Résumé

Collateral evolutions are a pervasive problem in Linux device driver development, due to the frequent evolution of Linux driver support libraries and APIs. Such evolutions are needed when an evolution in a driver support library affects the library's interface, entailing modifications in all dependent device-specific code. Currently, collateral evolutions in Linux are done nearly manually. The large number of Linux drivers, however, implies that this approach is time-consuming and unreliable, leading to subtle errors when modifications are not done consistently. In this paper, we describe the development of a language-based infrastructure, Coccinelle, with the goal of documenting and automating the kinds of collateral evolutions that occur in device driver code. Because Linux programmers are accustomed to manipulating program modifications in terms of patch files, we base our language on the patch syntax, extending patches to semantic patches.
Fichier principal
Vignette du fichier
RR-6090.pdf (401.87 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00123142 , version 1 (08-01-2007)
inria-00123142 , version 2 (08-01-2007)

Identifiants

  • HAL Id : inria-00123142 , version 2

Citer

Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller. Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers. [Research Report] RR-6090, INRIA. 2007. ⟨inria-00123142v2⟩
411 Consultations
245 Téléchargements

Partager

Gmail Facebook X LinkedIn More