Increasing Automation in the Backporting of Linux Drivers Using Coccinelle - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Increasing Automation in the Backporting of Linux Drivers Using Coccinelle

Abstract

Software is continually evolving, to fix bugs and add new features. Industry users, however, often value stability, and thus may not be able to update their code base to the latest versions. This raises the need to selectively backport new features to older software versions. Traditionally, backporting has been done by cluttering the backported code with preprocessor directives, to replace behaviors that are unsupported in an earlier version by appropriate workarounds. This approach however involves writing a lot of error-prone backporting code, and results in implementations that are hard to read and maintain. We consider this issue in the context of the Linux kernel, for which older versions are in wide use. We present a new backporting strategy that relies on the use of a backporting compatability library and on code that is automatically generated using the program transformation tool Coccinelle. This approach reduces the amount of code that must be manually written, and thus can help the Linux kernel backporting effort scale while maintaining the dependability of the backporting process.
Fichier principal
Vignette du fichier
backport_edcc15.pdf (208.7 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

hal-01213912 , version 1 (12-10-2015)

Licence

Copyright

Identifiers

  • HAL Id : hal-01213912 , version 1

Cite

Luis R. Rodriguez, Julia Lawall. Increasing Automation in the Backporting of Linux Drivers Using Coccinelle. 11th European Dependable Computing Conference - Dependability in Practice, Nov 2015, Paris, France. ⟨hal-01213912⟩
180 View
393 Download

Share

Gmail Facebook Twitter LinkedIn More