Feature consistency in compile-time - Configurable system software: Facing the linux 10,000 feature problem

EuroSys'11 - Proceedings of the EuroSys 2011 Conference

Volumn , Issue , 2011, Pages 47-60

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

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Configurability; Linux; Maintenance; Static analysis; VAMOS

Indexed keywords

APPLICATION DOMAINS; BUG FIXES; COMPILE TIME; CONFIGURABILITY; CONFIGURABLE; CONFIGURABLE SYSTEMS; CONFIGURATION MODEL; ERROR PRONES; FEATURE CONSISTENCY; HARDWARE ARCHITECTURE; LINUX; LINUX KERNEL; SOURCE CODES; SYSTEM SOFTWARES; VAMOS;

COMPUTER ARCHITECTURE; COMPUTER HARDWARE; COMPUTER SOFTWARE MAINTENANCE; DEFECTS; MAINTAINABILITY; STATIC ANALYSIS;

COMPUTER OPERATING SYSTEMS;

EID: 79955961113     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1966445.1966451     Document Type: Conference Paper

References (31)

1. Don Batory. Feature-oriented programming and the AHEAD tool suite. In Proceedings of the 26th International Conference on Software Engineering (ICSE '04), pages 702-703. IEEE Computer Society Press, 2004.
2. Ira D. Baxter and Michael Mehlich. Preprocessor conditional removal by simple partial evaluation. In Proceedings of the 8th Working Conference on Reverse Engineering (WCRE '01), page 281, Washington, DC, USA, 2001. IEEE Computer Society Press. ISBN 0-7695-1303-4.
3. D. Benavides, A. Ruiz-Cortés, and P. Trinidad. Automated reasoning on feature models. In Proceedings of the 17th International Conference on Advanced Information Systems Engineering (CAISE '05), volume 3520, pages 491-503, Heidelberg, Germany, 2005. Springer-Verlag. (Pubitemid 41336123)
4. Thorsten Berger and Steven She. Formal semantics of the CDL language. Technical note, University of Leipzig, 2010.
5. Danilo Beuche, Abdelaziz Guerrouat, Holger Papajewski, Wolfgang Schröder-Preikschat, Olaf Spinczyk, and Ute Spinczyk. The PURE family of object-oriented operating systems for deeply embedded systems. In Proceedings of the 2nd IEEE International Symposium on Object-Oriented RealTime Distributed Computing (ISORC '99), pages 45-53, St Malo, France, May 1999.
6. Cristian Cadar, Daniel Dunbar, and Dawson Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In 8th Symposium on Operating System Design and Implementation (OSDI '08), Berkeley, CA, USA, 2008. USENIX Association.
7. Roy Campbell, Nayeem Islam, Peter Madany, and David Raila. Designing and implementing Choices: An object-oriented system in C++. Communications of the ACM, 36(9), 1993.
8. Yvonne Coady and Gregor Kiczales. Back to the future: A retroactive study of aspect evolution in operating system code. In Mehmet Akşit, editor, Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD '03), pages 50-59, Boston, MA, USA, March 2003. ACM Press.
9. Krysztof Czarnecki and Ulrich W. Eisenecker. Generative Programming. Methods, Tools and Applications. Addison-Wesley, May 2000. ISBN 0-20-13097-77.
10. Krzysztof Czarnecki and Andrzej Wasowski. Feature diagrams and logics: There and back again. In Proceedings of the 11th Software Product Line Conference (SPLC '07), pages 23-34. IEEE Computer Society Press, Sept. 2007.
11. Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, and Benjamin Chelf. Bugs as deviant behavior: a general approach to inferring errors in systems code. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP '01), pages 57-72, New York, NY, USA, 2001. ACM Press. (Pubitemid 33612605)
12. Michael D. Ernst, Adam Czeisler, William G. Griswold, and David Notkin. Quickly detecting relevant program invariants. In Proceedings of the 22nd International Conference on Software Engineering (ICSE '00), pages 449-458, New York, NY, USA, 2000. ACM Press. ISBN 1-58113-206-9.
13. Jean-Philippe Fassino, Jean-Bernard Stefani, Julia Lawall, and Gilles Muller. THINK: A software framework for component-based operating system kernels. In Proceedings of the 2002 USENIX Annual Technical Conference, pages 73-86. USENIX Association, June 2002.
14. Philip J. Guo and Dawson Engler. Linux kernel developer responses to static analysis bug reports. In Proceedings of the 2009 USENIX Annual Technical Conference, Berkeley, CA, USA, June 2009. USENIX Association. ISBN 978-1-931971-68-3.
15. Ying Hu, Ettore Merlo, Michel Dagenais, and Bruno Lagüe. C/C++ conditional compilation analysis using symbolic execution. In Proceedings of the 16th IEEE International Conference on Software Maintainance (ICSM'00), page 196, Washington, DC, USA, 2000. IEEE Computer Society Press. ISBN 0-7695-0753-0.
16. Ted Kremenek, Paul Twohey, Godmar Back, Andrew Ng, and Dawson Engler. From uncertainty to belief: inferring the specification within. In 7th Symposium on Operating System Design and Implementation (OSDI '06), pages 161-176, Berkeley, CA, USA, 2006. USENIX Association.
17. Zhenmin Li and Yuanyuan Zhou. PR-miner: automatically extracting implicit programming rules and detecting violations in large software code. In Proceedings of the 10th European Software Engineering Conference and the 13th ACM Symposium on the Foundations of Software Engineering (ESEC/FSE '00), pages 306-315, New York, NY, USA, 2005. ACM Press. ISBN 1-59593-014-0. (Pubitemid 43218841)
18. Jörg Liebig, Sven Apel, Christian Lengauer, Christian Kästner, and Michael Schulze. An analysis of the variability in forty preprocessor-based software product lines. In Proceedings of the 32nd International Conference on Software Engineering (ICSE '10), New York, NY, USA, 2010. ACM Press.
19. Daniel Lohmann, Wanja Hofer, Wolfgang Schröder-Preikschat, Jochen Streicher, and Olaf Spinczyk. CiAO: An aspect-oriented operating-system family for resource-constrained embedded systems. In Proceedings of the 2009 USENIX Annual Technical Conference, pages 215-228, Berkeley, CA, USA, June 2009. USENIX Association. ISBN 978-1-931971-68-3.
20. Daniel Lohmann, Fabian Scheler, Reinhard Tartler, Olaf Spinczyk, and Wolfgang Schröder-Preikschat. A quantitative analysis of aspects in the eCos kernel. In Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2006 (EuroSys '06), pages 191-204, New York, NY, USA, April 2006. ACM Press. (Pubitemid 47485747)
21. Anthony Massa. Embedded Software Development with eCos. New Riders, 2002. ISBN 978-0130354730.
22. Yoann Padioleau, Julia L. Lawall, Gilles Muller, and René Rydhof Hansen. Documenting and automating collateral evolutions in Linux device drivers. In Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2008 (EuroSys '08), Glasgow, Scotland, March 2008.
23. Nicolas Palix, Julia Lawall, and Gilles Muller. Tracking code patterns over multiple software versions with Herodotos. In Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD '10), pages 169-180, New York, NY, USA, 2010. ACM Press. ISBN 978-1-60558-958-9.
24. David Lorge Parnas. Designing software for ease of extension and contraction. IEEE Transactions on Software Engineering, SE-5(2):128-138, 1979.
25. Klaus Pohl, Günter Böckle, and Frank J. van der Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag, 2005. ISBN 978-3540243724.
26. Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, and Eric Eide. Knit: Component composition for systems software. In 4th Symposium on Operating System Design and Implementation (OSDI '00), pages 347-360, Berkeley, CA, USA, October 2000. USENIX Association.
27. Julio Sincero, Reinhard Tartler, Daniel Lohmann, and Wolfgang Schröder-Preikschat. Efficient extraction and analysis of preprocessor-based variability. In Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE '10), New York, NY, USA, 2010. ACM Press.
28. Henry Spencer and Gehoff Collyer. #ifdef considered harmful, or portability experience with C News. In Proceedings of the 1992 USENIX Annual Technical Conference, Berkeley, CA, USA, June 1992. USENIX Association.
29. Diomidis Spinellis. A tale of four kernels. In Wilhem Schäfer, Matthew B. Dwyer, and Volker Gruhn, editors, Proceedings of the 30th International Conference on Software Engineering (ICSE '08), pages 381-390, New York, NY, USA, May 2008. ACM Press. ISBN 987-1-60558-079-1.
30. */. In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP '07), pages 145-158, New York, NY, USA, 2007. ACM Press. ISBN 978-1-59593-591-5. (Pubitemid 351436325)
31. Christoph Zengler and Wolfgang Küchlin. Encoding the Linux kernel configuration in propositional logic. In Lothar Hotz and Alois Haselböck, editors, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010) Workshop on Configuration 2010, pages 51-56, 2010.