Can we refactor conditional compilation into aspects?

ABSTRACT

Systems software uses conditional compilation to manage crosscutting concerns in a very fine-grained and efficient way, but at the expense of tangled and scattered conditional code. Refactoring of conditional compilation into aspects gets rid of these issues, but it is not clear yet for which patterns of conditional compilation aspects make sense and whether or not current aspect technology is able to express these patterns. To investigate these two problems, this paper presents a graphical ``preprocessor blueprint'' model which offers a queryable representation of the syntactical interaction of conditional compilation and the source code. A case study on the Parrot VM shows that preprocessor blueprints are able to express and query for the four commonly known patterns of conditional compilation usage, and that they allow to discover seven additional important patterns. By correlating each pattern's potential for refactoring into advice and each pattern's evolution of the number of occurrences, we show that refactoring into advice in the Parrot VM is a good alternative for three of the eleven patterns, whereas for the other patterns trade-offs have to be considered between robustness and fine-grainedness of the advice.

REFERENCES

• 1: B. Adams. Co-evolution of Source Code and the Build System: Impact on the Introduction of AOSD in Legacy Systems. PhD thesis, Ghent University, Ghent, Belgium, March 2008.
• 2: Bram Adams , Bart Van Rompaey , Celina Gibbs , Yvonne Coady, Aspect mining in the presence of the C preprocessor, Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution, p.1-6, March 31-April 04, 2008, Brussels, Belgium [doi>10.1145/1404953.1404954]
• 3: Hervé Albin-Amiot , Pierre Cointe , Yann-Gaël Guéhéneuc , Narendra Jussien, Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together, Proceedings of the 16th IEEE international conference on Automated software engineering, p.166, November 26-29, 2001
• 4: Greg J. Badros , David Notkin, A framework for preprocessor-aware C source code analyses, Software—Practice & Experience, v.30 n.8, p.907-924, July 10, 2000 [doi>10.1002/(SICI)1097-024X(20000710)30:8<907::AID-SPE324>3.3.CO;2-9]
• 5: Ira D. Baxter , Michael Mehlich, Preprocessor Conditional Removal by Simple Partial Evaluation, Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01), p.281, October 02-05, 2001
• 6: Magiel Bruntink , Arie van Deursen , Maja D'Hondt , Tom Tourwé, Simple crosscutting concerns are not so simple: analysing variability in large-scale idioms-based implementations, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada [doi>10.1145/1218563.1218586]
• 7: Magiel Bruntink , Arie van Deursen , Tom Tourwe, Isolating Idiomatic Crosscutting Concerns, Proceedings of the 21st IEEE International Conference on Software Maintenance, p.37-46, September 25-30, 2005 [doi>10.1109/ICSM.2005.57]
• 8: cloc. http://cloc.sourceforge.net.
• 9: Adrian Colyer , Andrew Clement, Large-scale AOSD for middleware, Proceedings of the 3rd international conference on Aspect-oriented software development, p.56-65, March 22-24, 2004, Lancaster, UK [doi>10.1145/976270.976279]
• 10: B. Du Bois, B. Van Rompaey, K. Meijfroidt, and E. Suijs. Supporting reengineering scenarios with FETCH: an experience report. In Proc. of the 3rd International ERCIM Workshop on Software Evolution, ICSM, pages 69--82, Paris, France, October 2007.
• 11: M. Eaddy and A. V. Aho. Statement annotations for fine-grained advising. In Proc. of the Workshop on Reflection, AOP, and Meta-Data for Software Evolution (RAM-SE), ECOOP, pages 89--99, Nantes, France, July 2006. Fakultät für Informatik, Universität Magdeburg.
• 12: Michael D. Ernst , Greg J. Badros , David Notkin, An Empirical Analysis of C Preprocessor Use, IEEE Transactions on Software Engineering, v.28 n.12, p.1146-1170, December 2002 [doi>10.1109/TSE.2002.1158288]
• 13: J.-M. Favre, Preprocessors from an abstract point of view, Proceedings of the 3rd Working Conference on Reverse Engineering (WCRE '96), p.287, November 08-10, 1996
• 14: J. M. Favre, Understanding-In-The-Large, Proceedings of the 5th International Workshop on Program Comprehension (WPC '97), p.29, May 28-30, 1997
• 15: Fetch. http://lore.cmi.ua.ac.be/fetchWiki/index.php.
• 16: Eduardo Figueiredo , Nelio Cacho , Claudio Sant'Anna , Mario Monteiro , Uira Kulesza , Alessandro Garcia , Sergio Soares , Fabiano Ferrari , Safoora Khan , Fernando Castor Filho , Francisco Dantas, Evolving software product lines with aspects: an empirical study on design stability, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany [doi>10.1145/1368088.1368124]
• 17: Alejandra Garrido , Ralph Johnson, Program refactoring in the presence of preprocessor directives, University of Illinois at Urbana-Champaign, Champaign, IL, 2005
• 18: Erik Hilsdale , Jim Hugunin, Advice weaving in AspectJ, Proceedings of the 3rd international conference on Aspect-oriented software development, p.26-35, March 22-24, 2004, Lancaster, UK [doi>10.1145/976270.976276]
• 19: B. W. Kernighan , D. M. Ritchie, The C programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1978
• 20: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Proc. of the 11th European Conference on Object-Oriented Programming (ECOOP), volume 1241, pages 220---242, Jyväskylä, Finland, 1997. Springer-Verlag.
• 21: G. Kniesel, T. Rho, and S. Hanenberg. Evolvable pattern implementations need generic aspects. In Proc. of the Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE), ECOOP. Springer Verlag, Oslo, Norway, June 2004.
• 22: Maren Krone , Gregor Snelting, On the inference of configuration structures from source code, Proceedings of the 16th international conference on Software engineering, p.49-57, May 16-21, 1994, Sorrento, Italy
• 23: Bernt Kullbach , Volker Riediger, Folding: An Approach to Enable Program Understanding of Preprocessed Languages, Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01), p.3, October 02-05, 2001
• 24: Mario Latendresse, Rewrite Systems for Symbolic Evaluation of C-like Preprocessing, Proceedings of the Eighth Euromicro Working Conference on Software Maintenance and Reengineering (CSMR'04), p.165, March 24-26, 2004
• 25: P. Livadas and D. Small. Understanding code containing preprocessor constructs. Proc. of the IEEE 3d Workshop on Program Comprehension, pages 89--97, November 1994.
• 26: Daniel Lohmann , Fabian Scheler , Reinhard Tartler , Olaf Spinczyk , Wolfgang Schröder-Preikschat, A quantitative analysis of aspects in the eCos kernel, ACM SIGOPS Operating Systems Review, v.40 n.4, October 2006
• 27: Giving Meaning to Macros, Proceedings of the 12th IEEE International Workshop on Program Comprehension, p.79, June 24-26, 2004
• 28: Parrot VM. http://parrotcode.org/.
• 29: Parrot VM design documents. http://www.parrotcode.org/docs/pdd/.
• 30: Alison Reynolds , Marc E. Fiuczynski , Robert Grimm, On the feasibility of an AOSD approach to Linux kernel extensions, Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software, p.1-7, March 31-April 08, 2008, Brussels, Belgium [doi>10.1145/1404891.1404899]
• 31: Nieraj Singh , Celina Gibbs , Yvonne Coady, C-CLR: a tool for navigating highly configurable system software, Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software, p.9-es, March 12-16, 2007, Vancouver, British Columbia, Canada [doi>10.1145/1233901.1233910]
• 32: H. Spencer and G. Collyer. #ifdef considered harmful or portability experience with C News. In R. Adams, editor, Proc. of the USENIX Conference, pages 185--198, Baltimore, MD, USA, June 1992. USENIX Association.
• 33: Diomidis Spinellis, Global Analysis and Transformations in Preprocessed Languages, IEEE Transactions on Software Engineering, v.29 n.11, p.1019-1030, November 2003 [doi>10.1109/TSE.2003.1245303]
• 34: A. Sutton and J. Maletic. How we manage portability and configuration with the C preprocessor. In Proc. of the 23rd International Conference on Software Maintenance (ICSM), Paris, France, October 2007.
• 35: Uncrustify. http://uncrustify.sourceforge.net/.
• 36: László Vidács , Árpád Beszédes , Rudolf Ference, Columbus Schema for C/C++ Preprocessing, Proceedings of the Eighth Euromicro Working Conference on Software Maintenance and Reengineering (CSMR'04), p.75, March 24-26, 2004
• 37: Marian Vittek, Refactoring Browser with Preprocessor, Proceedings of the Seventh European Conference on Software Maintenance and Reengineering, p.101, March 26-28, 2003
• 38: D. A. Wheeler. Sloccount. http://www.dwheeler.com/sloccount/.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.7 Distribution, Maintenance, and Enhancement
          Subjects: Restructuring, reverse engineering, and reengineering

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.m Miscellaneous
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Preprocessors

General Terms:
Documentation, Experimentation, Measurement

Keywords:
aosd, aspicere, conditional compilation, historical analysis, parrot vm, r3v3rs3