HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

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.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Monday, January 8, 2007 - 5:02:48 PM
Last modification on : Friday, February 4, 2022 - 3:19:35 AM
Long-term archiving on: : Tuesday, September 21, 2010 - 11:42:58 AM


Files produced by the author(s)


  • HAL Id : inria-00123142, version 2


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



Record views


Files downloads