Skip to Main content Skip to Navigation
Conference papers

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

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01213912
Contributor : Julia Lawall <>
Submitted on : Monday, October 12, 2015 - 2:03:15 PM
Last modification on : Wednesday, January 13, 2021 - 11:54:02 AM
Long-term archiving on: : Thursday, April 27, 2017 - 12:11:53 AM

File

backport_edcc15.pdf
Publisher files allowed on an open archive

Licence


Copyright

Identifiers

  • HAL Id : hal-01213912, version 1

Citation

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⟩

Share

Metrics

Record views

306

Files downloads

567