Dead or alive: Finding zombie features in the Linux kernel

ACM International Conference Proceeding Series

Volumn , Issue , 2009, Pages 81-86

  Tartler, Reinhard ^a   Sincero, Julio ^a   Schröder Preikschat, Wolfgang ^a   Lohmann, Daniel ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Features; Linux; Preprocessor; Software product lines

Indexed keywords

ERROR PRONES; FEATURES; LINUX; LINUX KERNEL; LINUX- OPERATING SYSTEM; OPERATING SYSTEMS; PREPROCESSOR; SOFTWARE PRODUCT LINES; SPECIALIZED TOOLS; VARIABILITY MANAGEMENT; VARIANT MODELS;

SHEAR DEFORMATION; SOFTWARE DESIGN;

COMPUTER OPERATING SYSTEMS;

EID: 70350676601     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1629716.1629732     Document Type: Conference Paper

References (20)

1. D. Batory, J. N. Sarvela, and A. Rauschmayer. Scaling step-wise refinement. In Proceedings of the 25th International Conference on Software Engineering (ICSE '03), pages 187-197, Washington, DC, USA, 2003. IEEE Computer Society Press.
2. D. Beuche, A. Guerrouat, H. Papajewski, W. Schröder-Preikschat, O. Spinczyk, and U. Spinczyk. The PURE family of object-oriented operating systems for deeply embedded systems. In Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), pages 45-53, St Malo, France, May 1999.
3. D. Beyer. Relational programming with crocopat, 2006.
4. K. Czarnecki and U. W. Eisenecker. Generative Programming. Methods, Tools and Applications. Addison-Wesley, May 2000.
5. E. W. Dijkstra. The structure of the THE-multiprogramming system. Communications of the ACM, 11(5):341-346, May 1968.
6. A. N. Habermann, L. Flon, and L. W. Cooprider. Modularization and hierarchy in a family of operating systems. Communications of the ACM, 19(5):266-272, 1976.
7. C. Kästner, S. Apel, S. Trujillo, M. Kuhlemann, and D. Batory. Guaranteeing syntactic correctness for all product line variants: A language-independent approach. In Proceedings of the 47th International Conference Objects, Models, Components, Patterns (TOOLS EUROPE), volume 33 of Lecture Notes in Business Information Processing, pages 175-194. Springer Berlin Heidelberg, June 2009.
8. C. Kästner, S. Apel, S. S. ur Rahman, M. Rosenmüller, D. Batory, , and G. Saake. On the impact of the optional feature problem: Analysis and case studies. In Proceedings of the 13th Software Product Line Conference (SPLC '09), Washington, DC, USA, 2009. IEEE Computer Society Press.
9. B. W. Kernighan and D. M. Ritchie. The C Programming Language. Prentice Hall PTR, Englewood Cliffs, NJ, USA, 1978.
10. Linus Torvalds. Sparse - a semantic parser for C. http://www.kernel.org/ pub/software/devel/sparse/, 2003.
11. J. Liu, D. Batory, and C. Lengauer. Feature oriented refactoring of legacy applications. In Proceedings of the 28th International Conference on Software Engineering (ICSE '06), pages 112-121, New York, NY, USA, 2006. ACM Press.
12. R. Lotufo. On the complexity of maintaining the linux kernel configuration. Technical report, Electrical and Computer Engineering University of Waterloo, 2009.
13. A. Massa. Embedded Software Development with eCos. New Riders, 2002.
14. M. Mendonça, A. Wasowski, K. Czarnecki, and D. D. Cowan. Efficient compilation techniques for large scale feature models. In Proceedings of the 5th International Conference on Generative Programming and Component Engineering (GPCE '08), pages 13-22, 2008.
15. D. L. Parnas. On the design and development of program families. IEEE Transactions on Software Engineering, SE-2(1):1-9, Mar. 1976.
16. H. Post and C. Sinz. Configuration lifting: Verification meets software configuration. In Proceedings of the 23th IEEE International Conference on Automated Software Engineering (ASE '08), pages 347-350, 2008.
17. J. Sincero, H. Schirmeier, W. Schröder-Preikschat, and O. Spinczyk. Is the linux kernel a software product line? In F. van der Linden and B. Lundell, editors, Proceedings of the International Workshop on Open Source Software and Product Lines (SPLC-OSSPL 2007), Kyoto, Japan, 2007.
18. J. Sincero and W. Schröder-Preikschat. The linux kernel configurator as a feature modeling tool. In S. Thiel and K. Pohl, editors, SPLC (2), pages 257-260. Lero Int. Science Centre, University of Limerick, Ireland, 2008.
19. H. Spencer and G. Collyer. #ifdef considered harmful, or portability experience with C News. In Proceedings of the 1992 USENIX Technical Conference. USENIX Association, June 1992.
20. M.-A. D. Storey, K. Wong, P. Fong, D. Hooper, K. Hopkins, and H. A. Müller. On designing an experiment to evaluate a reverse engineering tool. In Proceedings of the 3rd Working Conference on Reverse Engineering, (WCRE'96), Monterey, California, USA, November 8-10, 1996, pages 31-, Washington, DC, USA, November 1996. IEEE Computer Society Press.