Efficient Control Flow Quantification |
Efficient Control Flow QuantificationResearch Paper Tuesday, Oct 24, from 15:30 to 15:00
Aspect-oriented programming (AOP) is increasingly gaining in popularity. However, the focus of aspect-oriented language research has been mostly on language design issues; efficient implementation techniques have been less popular. As a result, the performance of certain AOP constructs is still poor. This is in particular true for constructs that rely on dynamic properties of the execution (i.e., the cflow construct). In this paper, we present efficient implementation techniques for cflow that exploit direct access to internal structures of the virtual machine running an application, such as the call stack, as well as the integration of these techniques into the just-in-time compiler code generation process. Our results show that AOP has the potential to make programs that need to define control flow dependent behavior not only more modular but also more efficient. By making means for control flow-dependent behavior part of the language, AOP opens the possibility of applying sophisticated compiler optimizations that are out of reach for application programmers. Christoph Bockisch, Software Technology Group, Darmstadt University of Technology Sebastian Kanthak, Software Technology Group, Darmstadt University of Technology Michael Haupt, Software Technology Group, Darmstadt University of Technology Matthew Arnold, IBM T. J. Watson Research Center Mira Mezini, Software Technology Group, Darmstadt University of Technology
|