Improving compiler-runtime separation with XIR

VEE 2010 - Proceedings of the 2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments

Volumn , Issue , 2010, Pages 39-49

  Titzer, Ben L ^a   Würthinger, Thomas ^b   Simon, Doug ^c   Cintra, Marcelo ^d  

^a GOOGLE INC   (United States)

^b JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

^c Sun Labs   (United States)

^d UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Compilers; Intermediate representations; Java; JIT; Lowering; Object model; Register allocation; Runtime interface; Software architecture; Virtual machines

Indexed keywords

INTERMEDIATE REPRESENTATIONS; OBJECT MODEL; REGISTER ALLOCATION; RUN-TIME INTERFACE; VIRTUAL MACHINES;

ARCHITECTURE; COMPUTER SOFTWARE SELECTION AND EVALUATION; JUST IN TIME PRODUCTION; LINGUISTICS; MACHINE DESIGN; SOFTWARE ARCHITECTURE; TELEPHONE SYSTEMS;

PROGRAM COMPILERS;

EID: 77952405722     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1735997.1736005     Document Type: Conference Paper

References (25)

1. Jikes RVM. http://jikesrvm.org
2. The Maxine VM. http://kenai.com/projects/maxine
3. M. Arnold, S. Fink, V. Sarkar, and P.F. Sweeney. A Comparative Study of Static and Profile-Based Heuristics for Inlining. In Dynamic and Adaptive Compilation and Optimization (Dynamo '00). Boston, MA. January 2000.
4. M. Arnold and D. Grove. Collecting and Exploiting High-Accuracy Call-Graph Profiles in Virtual Machines. In International Symposium on Code Generation and Optimization (CGO '05). San Jose CA. March 2005.
5. D. Ancona, M. Ancona, A Cuni, and N. Matsakis. RPython: a Step Towards Reconciling Dynamically and Statically Typed OO Languages. In Dynamic Languages Symposium (DSL '07). Montreal, Canada. October 2007.
6. D. Bacon, S. Fink, and D. Grove. Space- and Time-efficient Implementation of the Java Object Model. In ECOOP '02, the 16th European Conference on Object-Oriented Programming, University of Malaga, Spain. June 2002.
7. Blackburn, S. M., Garner, R., Hoffman, C., Khan, A. M., McKinley, K. S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S. Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J. E. B., Phansalkar, A., Stefanovic, D., VanDrunen, T., von Dincklage, D., and Wiedermann, B. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. In Object Oriented Programming, Systems, Languages, and Applications (OOPSLA '06). Portland, OR. October 2006.
8. C. Bolz and A. Rigo. How not to write Virtual Machines for Dynamic Languages. In Dynamic Languages and Applications (DYLA '07). Berlin, Germany. July 2007.
9. M. Cierniak, N. Glew, S. Triantafyllis, M. Eng, B. Lewis, and J. Stichnoth. Object-Model Independence with Code Implants. In Multiparadigm Programming with Object Oriented Languages (MPOOL '03). Anaheim, CA. October 2003.
10. C. Click and M. Paleczny. A Simple Graph-based Intermediate Representation. In ACM SIGPLAN Workshop on Intermediate Representations. San Francisco, CA. January 1995.
11. J. Dean, D. Grove, and C. Chambers. Optimization of Object- Oriented Programs using Static Class Hierarchy Analysis. In ECOOP '95, the 9th European Conference on Object-Oriented Programming. Aarhus, Denmark. August 1995.
12. A. Diwan, K. McKinley, and J. E. Moss. Using Types to Analyze and Optimize Object-Oriented Programs. In ACM Transactions on Programming Languages and Systems, 23(1), 30-72. 2001.
13. D. Frampton, S. Blackburn, P. Cheng, R. Garner, D. Grove, J. Moss, S. Salishev. Demystifying magic: high-level low-level programming. In Virtual Execution Environments (VEE '09). Washington, DC. March 2009.
14. N. Glew, S. Triantafyllis, M. Cierniak, M. Eng, B. Lewis and J. Stichnoth. LIL: An Architecture-Neutral Language for Virtual- Machine Stubs. In 3rd Virtual Machine Research and Technology Symposium. San Jose, CA. May 2004.
15. K. Hazelwood and D. Grove. Adaptive online context-sensitive inlining. In International Symposium on Code Generation and Optimization (CGO '03). San Francisco, CA. March, 2003.
16. D. Ingalls, T. Kaehler, J. Maloney, S. Wallace, and A. Kay. Back to the future: the story of Squeak, a practical Smalltalk written in itself. . In Object Oriented Systems, Languages, and Applications (OOPSLA '97). Atlanta, GA. October 1997.
17. K. Ishizaki, M. Kawahito, T. Yasue, H. Komatsu, T. Nakatani. A Study of Devirtualization Techniques for a Java Just-in-time Compiler. In OOPSLA '00, the 15th Annual Conference on Object- Oriented Systems, Languages, and Applications. Minneapolis, MN. October 2000.
18. T. Kotzmann, C. Wimmer, H. Mossenbock, T. Rodriguez, K. Russell, and D. Cox. Design of the Java HotSpotTM client compiler for Java 6. In ACM Transactions on Architecture and Code Optimization (TACO), Volume 5, Issue 1. May 2008.
19. M. Paleczny, C. Vick, and C. Click. The JavaTM HotSpot Server Compiler. In JVM '01. Monterey CA. April 2001.
20. A. Rigo and S. Pedroni. PyPy's Approach to Virtual Machine Construction. In Dynamic Languages Symposium (DSL '06). Portland, OR. October 2006.
21. D. Ungar, A. Spitz, and A. Ausch. Constructing a meta-circular virtual machine in an exploratory programming environment. In Object Oriented Systems, Languages, and Applications (OOPSLA '05). San Diego, CA. October 2005.
22. D. Weise, R. Crew, M. Ernst, and B. Steensgaard. Value Dependency Graphs: Representation without Taxation. In Principles of Programming Languages (POPL '94). Portland, OR. January 1994.
23. C. Wimmer. Linear Scan register allocation for the Java HotSpot client compiler. Master's thesis, Institute for Systems Software, Johannes Kepler University Linz. 2004.
24. G. Wright, M. Seidl, and M. Wolczko. An object-aware memory architecture. Science of Computer Programming 62(2): 145-163 (2006).
25. T. Wuerthinger, C. Wimmer, and H. Mossenbock. Array bounds check elimination in the context of deoptimization. In Science of Computer Programming, Volume 74, Issue 5-6. March 2009.