Towards partially evaluating reflection in Java

ABSTRACT

Reflection plays a major role in the programming of generic applications. However, it introduces an interpretation layer which is detrimental to performance. A solution consists of relying on partial evaluation to remove this interpretation layer. This paper deals with improving a standard partial evaluator in order to handle the Java reflection API. The improvements basically consist of taking type information into account when distinguishing between static and dynamic data, as well as introducing two new specialization actions: reflection actions. Benchmarks using the serialization framework show the benefits of the approach.

REFERENCES

• 1: L.O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, Computer Science Department, University of Copenhagen, May 1994.
• 2: Kenichi Asai , Satoshi Matsuoka , Akinori Yonezawa, Duplication and partial evaluation: for a better understanding of reflective languages, Lisp and Symbolic Computation, v.9 n.2-3, p.203-241, May/June 1996 [doi>10.1007/BF01806113]
• 3: Andreas Birrer , Thomas Eggenschwiler, Frameworks in the Financial Engineering Domain - An Experience Report, Proceedings of the 7th European Conference on Object-Oriented Programming, p.21-35, July 26-30, 1993
• 4: Giuseppe Castagna, Object-oriented programming: a unified foundation, Birkhauser Boston Inc., Cambridge, MA, 1997
• 5: C. Consel , O. Danvy, From interpreting to compiling binding times, Proceedings of the third European symposium on programming on ESOP '90, p.88-105, May 1990, Copenhagen, Denmark
• 6: Charles Consel , Olivier Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.493-501, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158707]
• 7: C. Consel , L. Hornof , R. Marlet , G. Muller , S. Thibault , E.-N. Volanschi , J. Lawall , J. Noyé, Tempo: specializing systems applications and beyond, ACM Computing Surveys (CSUR), v.30 n.3es, Sept. 1998 [doi>10.1145/289121.289140]
• 8: Charles Consel , Luke Hornof , François Noël , Jacques Noyé , Nicolae Volansche, A Uniform Approach for Compile-Time and Run-Time Specialization, Selected Papers from the Internaltional Seminar on Partial Evaluation, p.54-72, February 12-16, 1996
• 9: Eric Eide , Kevin Frei , Bryan Ford , Jay Lepreau , Gary Lindstrom, Flick: a flexible, optimizing IDL compiler, ACM SIGPLAN Notices, v.32 n.5, p.44-56, May 1997
• 10: A.S. Gokhale and D.C. Schmidt. Optimizing a CORBA IIOP protocol engine for minimal footprint multimedia system. IEEE Journal on Selected Areas in Communications, special issue on Service Enabling Platform for Networked Multimedia Systems, 1999.
• 11: C.L. Hankin and D. Le M~tayer. A type-based framework for program analysis. In B. Le Charlier, editor, Static Analysis - First International Static Analysis Symposium, SAS'94, volume 864 of Lecture Notes in Computer Science, pages 380--394, Namur, Belgium, September 1994. Springer-Verlag.
• 12: Luke Hornof , Jacques Noyé, Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity, Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.63-73, June 12-13, 1997, Amsterdam, The Netherlands
• 13: Luke Hornof , Charles Consel , Jacques Noyé, Effective Specialization of Realistic Programs via Use Sensitivity, Proceedings of the 4th International Symposium on Static Analysis, p.293-314, September 08-10, 1997
• 14: Jeffrey Dean , David Grove , Craig Chambers, Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis, Proceedings of the 9th European Conference on Object-Oriented Programming, p.77-101, August 07-11, 1995
• 15: B. Jay and J. Noble. Shaping object-oriented programs. Technical Report 96-16, University of Technology, Sydney, 1996.
• 16: Ralph E. Johnson, Documenting frameworks using patterns, ACM SIGPLAN Notices, v.27 n.10, p.63-76, Oct. 1992
• 17: Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
• 18: G. Kiczales, j. Lamping, A. Mendhekar, C. Madea, C. Lopes, and J.-M. Loingtier. Aspect-oriented programming. In M. Aksit and S. Matsuoka, editors, ECOOP'97- Object-Oriented Programming- 11th European Conference, volume 1241 of Lecture Notes in Computer Science, pages 220-242, Jyv~kyla, Finland, june 1997. Springer-Verlag.
• 19: Todd B. Knoblock , Erik Ruf, Data specialization, ACM SIGPLAN Notices, v.31 n.5, p.215-225, May 1996
• 20: P. Maes. Concepts and Experiments in Computational Reflection. PhD thesis, Vrije Universiteit Brussel, 1987.
• 21: H. Makholm. Specializing C - an introduction to the principles behind C-Mix/f1. Technical report, Computer Science Department, University of Copenhagen, Jure 1999.
• 22: Hidehiko Masuhara , Akinori Yonezawa, Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language, Proceedings of the 12th European Conference on Object-Oriented Programming, p.418-439, July 20-24, 1998
• 23: B. Moura. Bridging the gap between functional and imperative languages. PhD thesis, Universitfi de Rennes I, Rennes, France, 1997.
• 24: G. Muller, B. Moura, F. Bellard, and C. Consel. Harissa: a flexible and efficient Java environment mixing bytecode and compiled code. In 3rd Usenix Conference on Object-oriented Technologies and systems (COOTS'97), 1997.
• 25: Gilles Muller , Eugen-Nicolae Volanschi , Renaud Marlet, Scaling up partial evaluation for optimizing the Sun commercial RPC protocol, Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.116-126, June 12-13, 1997, Amsterdam, The Netherlands
• 26: Jens Palsberg , Michael I. Schwartzbach, Object-oriented type systems, John Wiley and Sons Ltd., Chichester, UK, 1994
• 27: A CM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June 1997. ACM SIGPLAN Notices, 32(12).
• 28: E. Ruf. Partial evaluation in reflective system implemantations. In OOSPLA '93 Workshop on Reflection and Meta-Level architectures, oct 1993.
• 29: Erik Steven Ruf, Topics in online partial evaluation, Stanford University, Stanford, CA, 1993
• 30: Hans Albrecht Schmid, Creating the architecture of a manufacturing framework by design patterns, ACM SIGPLAN Notices, v.30 n.10, p.370-384, Oct. 17, 1995
• 31: Ulrik Pagh Schultz , Julia L. Lawall , Charles Consel , Gilles Muller, Towards Automatic Specialization of Java Programs, Proceedings of the 13th European Conference on Object-Oriented Programming, p.367-390, June 14-18, 1999
• 32: SUN Microsystems. JavaBeans API specifications. http://java, sun. corn/beans, 1997. Revision 1.00-A.
• 33: SUN Microsystems. Java Object Serialization specification, November 1998. JDK 1.2.
• 34: SUN Microsystems. Java Remote Method Invocation specification, October 1998. Revision 1.50, JDK 1.2.
• 35: SUN Microsystems. Java TM 2 Platform, Standard Edition, vI.2.~ API Specification, 1999.
• 36: P. Thiemann. Towards partial evaluation of full scheme. In G. Kiczales, editor, Reflection'96, pages 95-106, San Francisco, California, April 1996.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

General Terms:
Experimentation, Performance, Verification