Routine run-time code generation

ABSTRACT

Run-time code generation (RTCG) would be used routinely if application programmers had a facility with which they could easily create their own run-time code generators, because it would offer benefits both in terms of the efficiency of the code that programmers would produce and the ease of producing it. Such a facility would necessarily have the following properties: it would not require that programmers know assembly language; programmers would have full control over the generated code; the code generator would operate entirely at the binary level. In this paper, we offer arguments and examples supporting these assertions. We briefly describe Jumbo, a system we have built for producing run-time code generators for Java.

REFERENCES

• 1: A. Bawden. Quasiquotation in Lisp. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM-99). San Antonio, Texas. January 1999. 22--23.
• 2: J. Bell , F. Bellegarde , J. Hook , R. B. Kieburtz , A. Kotov , J. Lewis , L. McKinney , D. P. Oliva , T. Sheard , L. Tong , L. Walton , T. Zhou, Software design for reliability and reuse: a proof-of-concept demonstration, Proceedings of the conference on TRI-Ada '94, p.396-404, November 06-11, 1994, Baltimore, Maryland, United States [doi>10.1145/197694.197740]
• 3: D. D. Clark , D. L. Tennenhouse, Architectural considerations for a new generation of protocols, Proceedings of the ACM symposium on Communications architectures & protocols, p.200-208, September 26-28, 1990, Philadelphia, Pennsylvania, United States
• 4: Lars Reder Clausen , Samuel N. Kamin, Optimizations in distributed run-time compilation, 2004
• 5: Selected Papers from the Internaltional Seminar on Partial Evaluation, February 1996
• 6: Dawson R. Engler , Wilson C. Hsieh , M. Frans Kaashoek, C: a language for high-level, efficient, and machine-independent dynamic code generation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.131-144, January 21-24, 1996, St. Petersburg Beach, Florida, United States [doi>10.1145/237721.237765]
• 7: P. Graham. Being Popular. On-line article at www.paulgraham.com/popular.html. May 1991.
• 8: P. Graham. Revenge of the Nerds. Intl. ICAD Users Group Annual Conference. Boston. May 2002. Expanded version at www.paulgraham.com/icad.html.
• 9: Brian Grant , Markus Mock , Matthai Philipose , Craig Chambers , Susan J. Eggers, Annotation-directed run-time specialization in C, Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.163-178, June 12-13, 1997, Amsterdam, The Netherlands
• 10: Urs Holzle, Adaptive Optimization for SELF: Reconciling High Performance with Exploratory Programming, Stanford University, Stanford, CA, 1994
• 11: S. Kamin. Standard ML as a meta-programming language. Univ. of Illinois Computer Science Dept. September, 1996. Available at www-faculty.cs.uiuc.edu/~kamin/pubs/.
• 12: Samuel N. Kamin , Miranda Callahan , Lars Clausen, Lightweight and Generative Components I: Source-Level Components, Proceedings of the First International Symposium on Generative and Component-Based Software Engineering, p.49-64, September 28-30, 1999
• 13: Samuel N. Kamin , Miranda Callahan , Lars Clausen, Lightweight and Generative Components 2: Binary-Level Components, Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation, p.28-50, September 20, 2000
• 14: Sam Kamin , Lars Clausen , Ava Jarvis, Jumbo: run-time code generation for Java and its applications, Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, March 23-26, 2003, San Francisco, California
• 15: Ralph Keller , Urs Holzle, Binary Component Adaptation, University of California at Santa Barbara, Santa Barbara, CA, 1997
• 16: D. Keppel, S. J. Eggers, R. R. Henry. A Case for Runtime Code Generation. Univ. of Washington Dept. of Computer Science and Engineering Tech. Rpt. 91-11-04. November 1991.
• 17: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira Lopes, J.-M. Loingtier, J. Irwin. Aspect-Oriented Programming. Proc. European Conference on Object-Oriented Programming (ECOOP), Finland. Springer-Verlag LNCS 1241. June 1997.
• 18: Thomas Kistler , Michael Franz, A Tree-Based Alternative to Java Byte-Codes, International Journal of Parallel Programming, v.27 n.1, p.21-33, Feb. 1999 [doi>10.1023/A:1018740018601]
• 19: G. Kniesel, P. Costanza, M. Austermann. JMangler - A framework for load-time transformation of Java class files. Proc. IEEE International Workshop on Source Code Analysis and Manipulation. IEEE Computer Society Press <http://computer.org>. 2001.
• 20: Peter Lee , Mark Leone, Optimizing ML with run-time code generation, Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, p.137-148, May 21-24, 1996, Philadelphia, Pennsylvania, United States
• 21: C. Luer, A. van der Hoek. Composition environments for deployable software components. UC Irvine Dept. of Information and Computer Science Tech. Rpt. 02-18. April 2002.
• 22: Y. Oiwa, H. Masuhara, A. Yonezawa. DynJava: Type Safe Dynamic Code Generation in Java. 3rd JSSST Workshop on Programming and Programming Languages (PPL2001). March 2001.
• 23: C. Plinta, K. Lee, M. Rissman. A model solution for C3I message translation and validation. Software Engineering Inst. Carnegie-Mellon Univ. Tech. Rpt. CMU/SEI-89-TR-12. December 1989.
• 24: Massimiliano Poletto , Wilson C. Hsieh , Dawson R. Engler , M. Frans Kaashoek, C and tcc: a language and compiler for dynamic code generation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.2, p.324-369, March 1999 [doi>10.1145/316686.316697]
• 25: 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
• 26: C. Simonyi. The death of computer languages, the birth of Intentional Programming. Microsoft Research Tech. Rpt. MSR-TR-95-52. 1995.
• 27: B. Stroustrup. Separate compilation must stay! AT&T Tech. Rpt. 1996.
• 28: Sun Microsystems Incorporated. The Java hotspot performance engine architecture: A white paper about Sun's second generation performance technology. Technical report. April 1999.
• 29: C. Szyperski. Component Software. ACM. New York. 1997.
• 30: Walid Taha , Tim Sheard, Multi-stage programming with explicit annotations, Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.203-217, June 12-13, 1997, Amsterdam, The Netherlands

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Code generation

General Terms:
Languages

Keywords:
Java, run-time code generation