Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2007

Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : inria-00123142 , version 2

Cite

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⟩
391 View
232 Download

Share

Gmail Facebook Twitter LinkedIn More