Documenting and automating collateral evolutions in Linux device drivers

Operating Systems Review (ACM)

Volumn 42, Issue 4, 2008, Pages 247-260

  Padioleau, Yoann ^a   Lawall, Julia ^b   Hansen, René Rydhof ^c   Muller, Gilles ^a  

^a ECOLE DES MINES DE NANTES   (France)

^b UNIVERSITY OF COPENHAGEN   (Denmark)

^c AALBORG UNIVERSITY   (Denmark)

Author keywords

Collateral evolutions; Device drivers; Domain specific language; Linux; Program transformation; Software evolution

Indexed keywords

AUTOMATIC PROGRAMS; DEVICE DRIVER; DOMAIN SPECIFIC LANGUAGES; HUMAN PROGRAMMERS; LINUX KERNEL; LINUX PROGRAM; PARTIAL MATCHES; PROGRAM MODIFICATIONS; SOFTWARE EVOLUTION; TOOL USE;

APPLICATION PROGRAMMING INTERFACES (API); LINGUISTICS; PROBLEM ORIENTED LANGUAGES; SEMANTICS;

COMPUTER OPERATING SYSTEMS;

EID: 77952224331     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1357010.1352618     Document Type: Conference Paper

References (25)

1. T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, B. Ondrusek, S. K. Rajamani, and A. Ustuner. Thorough static analysis of device drivers. In Eurosys'06 [5], pages 73-85.
2. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst., 8(2):244-263, 1986.
3. K. De Volder. JQuery: A generic code browser with a declarative configuration language. In 8th International Symposium on Practical Aspects of Declarative Languages, pages 88-102, Charleston, SC, Jan. 2006.
4. D. R. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In OSDI'00, pages 1-16, San Diego, CA, Oct. 2000.
5. The first ACM SIGOPS EuroSys conference (EuroSys 2006), Leuven, Belgium, Apr. 2006.
6. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison Wesley, 1999.
7. A. Garrido. Program refactoring in the presence of preprocessor directives. PhD thesis, University of Illinois at Urbana-Champaign, 2005.
8. R. Grimm. XTC: Making C safely extensible. In Workshop on Domain-Specific Languages for Numerical Optimization, Argonne National Laboratory, Aug. 2004.
9. J. Henkel and A. Diwan. CatchUp! capturing and replaying refactorings to support API evolution. In 27th international conference on Software engineering, pages 274-283, St. Louis, MO, USA, May 2005.
10. M. Huth and M. Ryan. Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press, 2000.
11. D. Lacey and O. de Moor. Imperative program transformation by rewriting. In Compiler Construction, 10th International Conference, LNCS 2027, pages 52-68, Genova, Italy, Apr. 2001.
12. Z. Li, S. Lu, S. Myagmar, and Y. Zhou. CP-Miner: A tool for finding copy-paste and related bugs in operating system code. In OSDI'04, pages 289-302, San Fransisco, CA, Dec. 2004.
13. LWN. ChangeLog for Linux 2.5.71, 2003. http://lwn.net/Articles/36311/.
14. D. MacKenzie, P. Eggert, and R. Stallman. Comparing and Merging Files With Gnu Diff and Patch. Network Theory Ltd, Jan. 2003. Unified Format section, http://www.gnu.org/software/ diffutils/manual/html-node/Unified-Format.html.
15. U. Manber and S. Wu. GLIMPSE: A tool to search through entire file systems. In USENIX Winter, 1994.
16. B. McCloskey and E. Brewer. Astec: a new approach to refactoring c. In ESEC/FSE-13: 10th European software engineering conference/13th ACM SIGSOFT international symposium on Foundations of software engineering, pages 21-30, New York, NY, USA, 2005. ACM Press.
17. A. Morton. Patch management scripts, Oct. 2002. http://www.zip.com.au/ ~akpm/linux/patches/.
18. M. Mossienko. Structural search and replace: What, why, and how-to. OnBoard Magazine, 2004. http://www.onboard.jetbrains.com/is1/articles/ 04/10/ssr/.
19. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In Compiler Construction, 11th International Conference, LNCS 2304, pages 213-228, Grenoble, France, Apr. 2002.
20. Y. Padioleau, J. L. Lawall, and G. Muller. Understanding collateral evolution in Linux device drivers. In Eurosys'06 [5], pages 59-71.
21. D. Searls. Sparse, Linus & the Lunatics, Nov. 2004. http://www.linuxjournal.com/article/7272.
22. The Kernel Janitors. Smatch, the source matcher, June 2002. http://smatch.sourceforge.net.
23. L. Torvalds. Linux kernel coding style. linux/Documentation/CodingStyle.
24. E. Visser. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In Domain-Specific Program Generation, LNCS 3016, pages 216-238. Spinger-Verlag, 2004.
25. W. Weimer. Patches as better bug reports. In Generative Programming and Component Engineering, pages 181-190, Portland, Oregon, USA, Oct. 2006.