A survey of adaptive optimization in virtual machines

Proceedings of the IEEE

Volumn 93, Issue 2, 2005, Pages 449-466

  Arnold, Matthew ^a   Fink, Stephen J ^a   Grove, David ^a   Hind, Michael ^a   Sweeney, Peter F ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Adaptive optimization; Dynamic optimization; Feedback directed optimization (FDO); Virtual machines

Indexed keywords

JAVA PROGRAMMING LANGUAGE; MICROPROCESSOR CHIPS; ONLINE SYSTEMS; OPTIMIZATION; PROGRAM COMPILERS; RELIABILITY; TECHNOLOGY TRANSFER; VIRTUAL REALITY;

ADPATIVE OPTIMIZATION; DYNAMIC OPTIMIZATION; FEEDBACK-DIRECTED OPTIMIZATION (FDO); VIRTUAL MACHINES;

ADAPTIVE CONTROL SYSTEMS;

EID: 20744446298     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPROC.2004.840305     Document Type: Conference Paper

References (167)

1. J. Gosling, B. Joy, and G. Steele, The Java Language Specification. Reading, MA: Addison-Wesley, 1996.
2. E. Meijer and J. Gough. Technical overview of the Common Language Runtime. [Online]. Available: http://research.microsoft.com/~emeijer/Paper/CLR. pdf
3. J. L. Wilkes, "Application of microprogramming to medium scale computer design," in Conf. Rec. 7th Annu. Workshop Microprogramming, 1974, pp. 135-140.
4. R. J. Hookway and M. A. Herdeg, "DIGITAL FX!32: Combining emulation and binary translation," Dig. Tech. J., vol. 9, no. 1, pp. 3-12, 1997.
5. P. Penfleld Jr, "An APL interpreter written in APL," in Proc. 7th Int. Conf. APL, 1975, pp. 265-269.
6. B. R. Rau, "Levels of representation of programs and the architecture of universal host machines," in Proc. 11th Annu. Workshop Microprogramming, 1978, pp. 67-79.
7. M. Cierniak, M. Eng, N. Glew, B. Lewis, and J. Stichnoth, "The open runtime platform: A flexible high-performance managed runtime environment," Intel Technol. J., vol. 7, no. 1, pp. 5-18, 2003.
8. J. Rattner, "Forward: Managed runtime technologies," Intel Technol. J., vol. 7, no. 1, 2003.
9. J. Aycock, "A brief history of just-in-time," ACM Comput. Surv., vol. 35, no. 2, pp. 97-113, 2003.
10. E. Duesterwald, "Design and engineering of a dynamic binary optimizer," Proc. IEEE, vol. 93, no. 2, pp. 436-448, Feb. 2005.
11. J. McCarthy, "History of LISP," ACM SIGPLAN Notices, vol. 13, no. 8, pp. 217-223, Aug. 1978.
12. G. J. Hansen, "Adaptive systems for the dynamic run-time optimization of programs," Ph.D. dissertation, Carnegie-Mellon Univ., Pittsburgh, PA, 1974.
13. L. P. Deutsch and A. M. Schiffman, "Efficient implementation of the smalltalk-80 system," in Conf. Rec. 11th Annu. ACM Symp. Principles of Programming Languages, 1984, pp. 297-302.
14. C. Chambers and D. Ungar, "Making pure object-oriented languages practical," in Proc. ACM Conf. Object-Oriented Programming Systems, Languages, and Applications, 1991, pp. 1-15.
15. U. Hölzle and D. Ungar, "A third generation SELF implementation: Reconciling responsiveness with performance," ACM SIGPLAN Notices, vol. 29, no. 10, pp. 229-243, Oct. 1994.
16. R. E. Griswold, "A history of the SNOBOL programming languages," ACM SIGPLAN Notices, vol. 13, no. 8, pp. 275-275, Aug. 1978.
17. M. Richards, "The implementation of BCPL," in Software Portability, P. J. Brown, Ed. Cambridge, U.K.: Cambridge Univ. Press, 1977, pp. 192-202.
18. K. V. Nori, U. Ammann, K. Jensen, H. H. Nageli, and C. Jacobi, "The Pascal P-compiler: Implementation Notes," Institut fur Informatik, Zurich, Switzerland, Tech. Rep. 10, 1975.
19. Perl directory. [Online], Available: http://www.perl.org
20. Python programming language. [Online]. Available: http://www.python.org
21. MathWorks: Main product page. [Online], Available: http://www.mathworks. com/products
22. G. L. Steele Jr and G. J. Sussman, "Design of a LISP-based microprocessor," Commun. ACM, vol. 23, no. 11, pp. 628-645, 1980.
23. A. Berlin and H. Wu, "Scheme86: A system for interpreting scheme," in Proc. 1988 ACM Conf. LISP and Functional Programming, 1988, pp. 116-123.
24. H. J. Burkle, A. Frick, and C. Schlier, "High level language oriented hardware and the post-von Neumann era," in Proc. 5th Annu. Symp. Computer Architecture, 1978, pp. 60-65.
25. J. R. Bell, "Threaded code," Commun. ACM, vol. 16, no. 6, pp. 370-372, 1973.
26. I. Piumarta and F. Riccardi, "Optimizing direct-threaded code by selective inlining," ACM SIGPLAN Notices, vol. 33, no. 5, pp. 291-300, May 1998.
27. M. A. Ertl and D. Gregg, "Optimizing indirect branch prediction accuracy in virtual machine interpreters," ACM SIGPLAN Notices, vol. 38, no. 5, pp. 278-288, May 2003.
28. E. Gagnon and L. Hendren, "Effective inline-threaded interpretation of Java bytecode using preparation sequences," in Lecture Notes in Computer Science, Compiler Construction, G. Hedin, Ed. Heidelberg, Germany: Springer-Verlag, 2003, vol. 2622, pp. 170-184.
29. G. T. Sullivan, D. L. Bruening, I. Baron, T. Garnett, and S. Amarasinghe, "Dynamic native optimization of interpreters," in Proc. 2003 Workshop Interpreters, Virtual Machines and Emulators, 2003, pp. 50-57.
30. K. S. Venugopal, G. Manjunath, and V. Krishnan, "SEc: A portable interpreter optimizing technique for embedded Java virtual machine," in Proc. Usenix Java Virtual Machine Research and Technology Symp. (JVM'02), pp. 127-138.
31. P. Drews, D. Sommer, R. Chandler, and T. Smith, "Managed runtime environments for next-generation mobile devices," Intel Technol. J., vol. 7, no. 1, 2003.
32. V. Bala, E. Duesterwald, and S. Banerjia, "Dynamo: A transparent dynamic optimization system," ACM SIGPLAN Notices, vol. 35, no. 5, pp. 1-12, May 2000.
33. C. Chambers and D. Ungar, "Iterative type analysis and extended message splitting: Optimizing dynamically-typed object-oriented programs," ACM SIGPLAN Notices, vol. 25, no. 6, pp. 150-164, Jun. 1990.
34. D.E. Knuth, "An empirical study of FORTRAN programs," in Softw. Pract. Exper., 1971, vol. 1, pp. 105-133.
35. U. Hölzle and D. Ungar, "Reconciling responsiveness with performance in pure object-oriented languages," ACM Trans. Program. Lang. Syst., vol. 18, no. 4, pp. 355-400, Jul. 1996.
36. D. Detlefs and O. Agesen, "The case for multiple compilers," in Proc. OOPSLA'99 VM Workshop: Simplicity, Performance and Portability in Virtual Machine Design, 1999, pp. 180-194.
37. M. Cierniak, G.-Y. Lueh, and J. M. Stichnoth, "Practicing JUDO: Java under dynamic optimizations," ACM SIGPLAN Notices, vol. 35, no. 5, pp. 13-26, May 2000.
38. M. Arnold, S. Fink, D. Grove, M. Hind, and P. F. Sweeney, "Adaptive optimization in the Jalapeño JVM," ACM SIGPLAN Notices, vol. 35, no. 10, pp. 47-65, Oct. 2000.
39. M. Paleczny, C. Vick, and C. Click, "The Java hotspot server compiler," in Proc. Usenix Java Virtual Machine Research and Technology Symp. (JVM'01), 2001, pp. 1-12.
40. T. Suganuma, T. Yasue, M. Kawahito, H. Komatsu, and T. Nakatani, "A dynamic optimization framework for a Java just-in-time compiler," ACM SIGPLAN Notices, vol. 36, no. 11, pp. 180-195, Nov. 2001.
41. J. Whaley, "Joeq: A virtual machine and compiler infrastructure," in Proc. Workshop Interpreters, Virtual Machines, and Emulators, 2003, pp. 58-66.
42. N. Grcevski, A. Kilstra, K. Stoodley, M. Stoodley, and V. Sundaresan, "Java just-in-time compiler and virtual machine improvements for server and middleware applications," in Proc. Usenix 3rd Virtual Machine Research and Technology Symp. (VM'04), pp. 151-162.
43. M. P. Plezbert and R. K. Cytron, "Does "just in time" = "better late than never"?," in Conf. Rec. 24th ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages, 1997, pp. 120-131.
44. R. M. Karp, "On-line algorithms versus off-line algorithms: How much is it worth to know the future?," in Proc. IFIP 12th World Computer Congress, vol. 1, 1992, pp. 416-429.
45. T. P. Kistler, "Continuous program optimization," Ph.D. dissertation, Univ. California, Irvine, 1999.
46. T. Kistler and M. Franz, "Continuous program optimization: A case study," ACM Trans. Program. Lang. Syst., vol. 25, no. 4, pp. 500-548, Jul. 2003.
47. T. Suganuma, T. Yasue, and T. Nakatani, "A region-based compilation technique for a Java just-in-time compiler," ACM SIGPLAN Notices, vol. 38, no. 5, pp. 312-323, May 2003.
48. S. J. Fink and F. Qian, "Design, implementation and evaluation of adaptive recompilation with on-stack replacement," in Proc. Int. Symp. Code Generation and Optimization, 2003, pp. 241-252.
49. J. Whaley, "Partial method compilation using dynamic profile information," ACM SIGPLAN Notices, vol. 36, no. 11, pp. 166-179, Nov. 2001.
50. U. Hölzle, C. Chambers, and D. Ungar, "Debugging optimized code with dynamic deoptimization," ACM SIGPLAN Notices, vol. 27, no. 7, pp. 32-43, Jul. 1992.
51. Java platform debugger architecture. [Online], Available: http://java.sun.com/products/jpda
52. M. D. Smith, "Overcoming the challenges to feedback-directed optimization (keynote talk)," ACM SIGPLAN Notices, vol. 35, no. 7, pp. 1-11, Jul. 2000.
53. K. Pettis and R. C. Hansen, "Profile guided code positioning," ACM SIGPLAN Notices, vol. 25, no. 6, pp. 16-27, Jun. 1990.
54. P. P. Chang, S. A. Mahlke, and W.-M. W. Hu, "Using profile information to assist classic code optimizations," Softw. Pract. Exper., vol. 21, no. 12, pp. 1301-1321, Dec. 1991.
55. W. Hwu, S. A. Mahlke, W. Y. Chen, P. P. Chang, N. J. Warter, R. A. Bringmann, R. G. Ouellette, R. E. Hank, T. Kiyohara, G. E. Haab, J. G. Holm, and D. M. Lavery, "The superblock: An effective technique for VLIW and superscalar compilation," J. Supercomput., vol. 7, no. 1, pp. 229-248, Mar. 1993.
56. R. Cohn and P. G. Lowney, "Design and analysis of profile-based optimization in Compaq's compilation tools for alpha," J. Instruction-Level Parallelism, vol. 3, pp. 1-25, Apr. 2000.
57. M. Mock, C. Chambers, and S. Eggers, "Calpa: A tool for automating selective dynamic compilation," in Proc. 33th Int. Symp. Microarchitecture, 2000, pp. 291-302.
58. M. Arnold, M. Hind, and B. G. Ryder, "Online feedback-directed optimization of Java," ACM SIGPLAN Notices, vol. 37, no. 11, pp. 111-129, Nov. 2002.
59. A.-R. Adl-Tabatabai, R. L. Hudson, M. J. Serrano, and S. Subramoney, "Prefetch injection based on hardware monitoring and object metadata," in Proc. ACM Conf. Programming Language Design and Implementation (PLDI), 2004, pp. 267-276.
60. J. M. Anderson, L. M. Berc, J. Dean, S. Ghemawat, M. R. Henzinger, S. tak, A. Leung, R. L. Sites, M. T. Vandevoorde, C. A. Waldspurger, and W. E. Weihl, "Continuous profiling: Where have all the cycles gone?," ACM Trans. Comput. Syst., vol. 15, no. 4, pp. 357-390, Nov. 1997.
61. K. Hazelwood and D. Grove, "Adaptive online context-sensitive inlining," in Proc. Int. Symp. Code Generation and Optimization, 2003, pp. 253-264.
62. J. Dean, J. Hicks, C. Waldspurger, W. Weihl, and G. Chrysos, "ProfileMe: Hardware support for instruction-level profiling on out-of-order processors," in Proc. 30th Int. Symp. Microarchitecture, 1997, pp. 292-302.
63. S. S. Sastry, R. Bodik, and J. Smith, "Rapid profiling via stratified sampling," in Proc. 28th Annu. Int. Symp. Computer Architecture, 2001, pp. 278-289.
64. T. Ball and J. R. Larus, "Optimally profiling and tracing programs," ACM Trans. Program. Lang. Syst., vol. 16, no. 4, pp. 1319-1360, July 1994.
65. B. Calder, C. Krintz, S. John, and T. Austin, "Cache-conscious data placement," ACM SIGPLAN Notices, vol. 33, no. 11, pp. 139-149, Nov. 1998.
66. D. Grove, J. Dean, C. Garrett, and C. Chambers, "Profile-guided receiver class prediction," ACM SIGPLAN Notices, vol. 30, no. 10, pp. 108-123, Oct. 1995.
67. B. Calder, P. Feller, and A. Eustace, "Value profiling and optimization," J. Instruction Level Parallelism, vol. 1, pp. 1-6, Mar. 1999.
68. T. Yasue, T. Suganuma, H. Komatsu, and T. Nakatani, "An efficient online path profiling framework for Java just-in-time compilers," in Proc. Int. Conf. Parallel Architectures and Compilation Techniques, 2003, pp. 148-158.
69. M. Arnold and B. G. Ryder, "A framework for reducing the cost of instrumented code," ACM SIGPLAN Notices, vol. 36, no. 5, pp. 168-179, May 2001.
70. M. Hirzel and T. Chilimbi, "Bursty tracing: A framework for low-overhead temporal profiling," in Proc. 4th ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-4), 2001, pp. 117-126.
71. T. M. Chilimbi and M. Hirzel, "Dynamic hot data stream prefetching for general-purpose programs," ACM SIGPLAN Notices, vol. 37, no. 5, pp. 199-209, May 2002.
72. D. W. Wall, "Predicting program behavior using real or estimated profiles," ACM SIGPLAN Notices, vol. 26, no. 6, pp. 59-70, Jun. 1991.
73. Z. Wang and N. Rubin, "Evaluating the importance of user-specified profiling," in 2nd USENIX Windows NT Symp, 1998, pp. 21-30.
74. T. Sherwood, E. Perelman, and B. Calder, "Basic block distribution analysis to find periodic behavior and simulation points in applications," in Proc. Int. Conf. Parallel Architectures and Compilation Techniques, 2001, pp. 3-14.
75. T. Sherwood, E. Perelman, G. Hamerly, and B. Calder, "Automatically characterizing large scale program behavior," in Proc. 10th Int. Conf. Architectural Support for Programming Languages and Operating Systems, 2002, pp. 45-57.
76. A. S. Dhodapkar and J. E. Smith, "Managing multi-configuration hardware via dynamic working set analysis," in Proc. 29th Annu. Int. Symp. Computer Architecture, 2002, pp. 233-244.
77. R. D. Barnes, E. M. Nystrom, M. C. Merton, W. mei, and W. Hwu, "Vacuum packing: Extracting hardware-detected program phases for post-link optimization," in Proc. 35th Int. Symp. Microarchitecture, 2002, pp. 233-244.
78. T. Sherwood, S. Sair, and B. Calder, "Phase tracking and prediction," in Proc. 30th Annu. Int. Symp. Computer Architecture, 2003, pp. 336-349.
79. A. S. Dhodapkar and J. E. Smith, "Comparing program phase detection techniques," in Proc. 36th Int. Symp. Microarchitecture, 2003, pp. 217-227.
80. M. R. Garey and D. S. Johnson, Computers and Intractibility: A Guide to the Theory of NP-Completeness. San Francisco, CA: Freeman, 1979.
81. R. W. Scheifler, "An analysis of inline substitution for a structured programming language," Commun. ACM, vol. 20, no. 9, pp. 647-654, Sep. 1977.
82. P. P. Chang, S. A. Mahlke, W. Y. Chen, and W.-M. W. Hwu, "Profile-guided automatic inline expansion for C programs," Softw. Pract. Exper., vol. 22, no. 5, pp. 349-369, May 1992.
83. A. Ayers, R. Schooler, and R. Gottlieb, "Aggressive inlining," ACM SIGPLAN Notices, vol. 32, no. 5, pp. 134-145, May 1997.
84. O. Kaser and C. Ramakrishnan, "Evaluating inlining techniques," in Computer Languages, 1998, vol. 24, pp. 55-72.
85. M. Arnold, S. Fink, V. Sarkar, and P. F. Sweeney, "A comparative study of static and profile-based heuristics for inlining," ACM SIGPLAN Notices, vol. 35, no. 7, pp. 52-64, Jul. 2000.
86. J. Dean and C. Chambers, "Toward better inlining decisions using inlining trials," in Proc. ACM Conf. LISP and Functional Programming, 1994, pp. 273-282.
87. O. Waddell and R. K. Dybvig, "Fast and effective procedure inlining," in 4th Int. Symp. Static Analysis, 1997, pp. 35-52.
88. T. Suganuma, T. Yasue, and T. Nakatani, "An empirical study of method in-lining for a Java just-in-time compiler," in Proc. Usenix Java Virtual Machine Research and Technology Symp. (JVM'02), pp. 91-104.
89. A.-R. Adl-Tabatabai, J. Bharadwaj, D.-Y. Chen, A. Ghuloum, V. Menon, B. Murphy, M. Serrano, and T. Shpeisman, "The StarJIT compiler: A dynamic compiler for managed runtime environments," Intel Technol. J., vol. 7, no. 1, pp. 19-31, Feb. 2003.
90. T. Suganuma, T. Ogasawara, M. Takeuchi, T. Yasue, M. Kawahito. K. Ishizaki, H. Komatsu, and T. Nakatani, "Overview of the IBM Java just-in-time compiler," IBM Syst. J., vol. 39, no. 1, pp. 175-193, Feb. 2000.
91. P. Chang, S. Mahlke, W. Chen, N. Warter, and W.-M. Hwu, "IMPACT: An architectural framework for multiple-instruction-issue processors," in Proc. 18th Int. Symp. Computer Architecture, 1991, pp. 266-275.
92. W. Chen, S. Mahlke, N. Warter, S. Anik, and W. Hwu, "Profile- assisted instruction scheduling," Int. J. Parallel Program., vol. 22, no. 2, pp. 151-181, Apr. 1994.
93. C. Dulong, "The IA-64 architecture at work," IEEE Computer, vol. 31, no. 7, pp. 24-32, Jul. 1998.
94. (1999) IA-64 application developer's architecture guide. Intel Corp. [Online]. Available: http://www.csee.umbc.edu/help/architecture/adag.pdf
95. M. Byler, J. R. B. Davies, C. Huson, B. Leasure, and M. Wolfe, "Multiple version loops," in 1987 Int. Conf. Parallel Processing, 1987, pp. 312-318.
96. P. V. Artigas, M. Gupta, S. P. Midkiff, and J. E. Moreira, "Automatic loop transformations and parallelization for Java," in Proc. 2000 Int. Conf. Supercomputing, pp. 1-10.
97. M. Gupta, J.-D. Choi, and M. Hind, "Optimizing Java programs in the presence of exceptions," in Proc. 14th Eur. Conf. Object-Oriented Programming, 2000, pp. 422-446.
98. M. Arnold and B. G. Ryder, "Thin guards: A simple and effective technique for reducing the penalty of dynamic class loading," in Proc. 16th Eur. Conf. Object-Oriented Programming, 2002, pp. 498-524.
99. K. Ishizaki, M. Kawahito, T. Yasue, H. Komatsu, and T. Nakatani, "A study of devirtualization techniques for a Java just-in-time compiler," ACM SIGPLAN Notices, vol. 35, no. 10, pp. 294-310, Oct. 2000.
100. C. Chambers and D. Ungar, "Customization: Optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language," ACM SIGPLAN Notices, vol. 24, no. 7, pp. 146-160, Jul. 1989.
101. B. Grant, M. Philipose, M. Mock, S. J. Eggers, and C. Chambers, "An evaluation of run-time optimizations," ACM SIGPLAN Notices, vol. 34, no. 5, pp. 293-304, May 1999.
102. P. Lee and M. Leone, "Optimizing ML with run-time code generation," ACM SIGPLAN Notices, vol. 31, no. 5, pp. 137-148, May 1996.
103. M. Poletto, W. C. Hsieh, D. R. Engler, and M. F. Kaashoek, '"C and tec: A language and compiler for dynamic code generation," ACM Trans. Program. Lang. Syst., vol. 21, no. 2, pp. 324-369, Mar. 1999.
104. P. C. Diniz and M. C. Rinard, "Dynamic feedback: An effective technique for adaptive computing," ACM SIGPLAN Notices, vol. 32, no. 5, pp. 71-84, May 1997.
105. M. J. Voss and R. Eigemann, "High-level adaptive program optimization with ADAPT," ACM SIGPLAN Notices, vol. 36, no. 7, pp. 93-102, Jul. 2001.
106. T. Ogasawara, H. Komatsu, and T. Nakatani, "A study of exception handling and its dynamic optimization in Java," ACM SIGPLAN Notices, vol. 36, no. 11, pp. 83-95, Nov. 2001.
107. C.-K. Luk and T. C. Mowry, "Compiler-based prefetching for recursive data structures" ACM SIGPLAN Notices, vol. 31, no. 9, pp. 222-233, Sep. 1996.
108. Y. Wu, "Efficient discovery of regular stride patterns in irregular programs and its use in compiler prefetching," ACM SIGPLAN Notices, vol. 37, no. 5, pp. 210-221, May 2002.
109. T. Inagaki, T. Onodera, H. Komatsu, and T. Nakatani, "Stride prefetching by dynamically inspecting objects," ACM SIGPLAN Notices, vol. 38, no. 5, pp. 269-277, May 2003.
110. G. Krasner, Smalltalk-80: Bits of History, Words of Advice. Reading, MA: Addison-Wesley, 1983.
111. U. Hölzle, C. Chambers, and D. Ungar, "Optimizing dynamically-typed object-oriented languages with polymorphic inline caches," in Proc. 5th Eur. Conf. Object-Oriented Programming, 1991, pp. 21-38.
112. P. F. Dietz and D. D. Sleator, "Two algorithms for maintaining order in a list," in Proc. 19th Annu, ACM Symp. Theory of Computing, 1987, pp. 365-372.
113. G. Ramalingam and H. Srinivasan, "Object model for Java," IBM Res. Div., Tech. Rep. 20 642, 1996.
114. R. Fitzgerald, T. B. Knoblock, E. Ruf, B. Steensgaard, and D. Tarditi, "Marmot: An optimizing compiler for Java," Microsoft Res., Tech. Rep. MSR-TR-99-33, 1999.
115. A. Krall, J. Vitek, and R. N. Horspool, "Near optimal hierarchical encoding of types," presented at the 11th Eur. Conf. Object-Oriented Programming, Jyvaskyla, Finland, 1997.
116. B. Alpern, A. Cocchi, and D. Grove, "Dynamic type checking in Jalapeflo," in Proc. Usenix Java Virtual Machine Research and Technology Symp. (JVM'01), pp. 41-52.
117. C. Click and J. Rose, "Fast subtype checking in the HotSpot JVM," in Proc. Joint ACM Java Grande - ISCOPE 2001 Conf., pp. 96-107.
118. K. Kawachiya, A. Koseki, and T. Onodera, "Lock reservation: Java locks can mostly do without atomic operations," ACM SIGPLAN Notices, vol. 37, no. 11, pp. 130-141, Nov. 2002.
119. D. F. Bacon, R. Konuru, C. Murthy, and M. Serrano, "Thin locks: Featherweight synchronization for Java," ACM SIGPLAN Notices, vol. 33, no. 5, pp. 258-268, May 1998.
120. D. F. Bacon, S. J. Fink, and D. Grove, "Space- and time-efficient implementations of the Java object model," in 16th Eur. Conf. Object-Oriented Programming, 2002, pp. 111-132.
121. J. Dean, D. Grove, and C. Chambers, "Optimization of object-oriented programs using static class hierarchy analysis," in Proc. 9th Eur. Conf. Object-Oriented Programming, 1995, pp. 77-101.
122. D. Detlefs and O. Agesen, "Mining of virtual methods," in Proc. 13th Eur. Conf. Object-Oriented Programming, 1999, pp. 258-278.
123. R. Jones and R. Lins, Garbage Collection: Algorithms for Automatic Dynamic Memory Management. Chichester, U.K.: Wiley, 1996.
124. T. Printezis, "Hot-swapping between a Mark&Sweep and a Mark&Compact garbage collector in a generational environment," in Proc. Usenix Java Virtual Machine Research and Technology Symp. (JVM'01), pp. 171-183.
125. S. Soman, C. Krintz, and D. Bacon, "Dynamic selection of application-specific garbage collection," in Int. Symp. Memory Management, 2004, pp. 49-60.
126. R. Dimpsey, R. Arora, and K. Kuiper, "Java server performance: A case study of building efficient, scalable JVMs," IBM Syst. J., vol. 39, no. 1, pp. 151-174, Feb. 2000.
127. A. W. Appel, "Simple generational garbage collection and fast allocation," Softw. Pract. Exper., vol. 19, no. 2, pp. 171-183, Feb. 1989.
128. B. Hayes, "Using key object opportunism to collect old objects," in Proc. ACM Conf. Object-Oriented Programming Systems, Languages, and Applications, 1991, pp. 33-46.
129. M. Hirzel, A. Diwan, and M. Hertz, "Connectivity-based garbage collection," in Proc. ACM Conf. Object-Oriented Programming Systems, Languages, and Applications, 2003, pp. 359-373.
130. [1301 P. R. Wilson, "Opportunistic garbage collection," ACM SIGPLAN Notices, vol. 23, no. 12, pp. 98-102, Dec. 1988.
131. H. Lieberman and C. Hewitt, "A real-time garbage collector based on the lifetimes of objects," Commun. ACM, vol. 26, no. 6, pp. 419-429, 1983.
132. T. M. Chilimbi, B. Davidson, and J. R. Larus, "Cache-conscious structure definition," ACM SIGPLAN Notices, vol. 34, no. 5, pp. 13-24, May 1999.
133. T. P. Kistler and M. Franz, "Continuous program optimization: Design and evaluation," IEEE Trans. Comput., vol. 50, no. 6, pp. 549-566, Jun. 2001.
134. T. Kistler and M. Franz, "Automated data-member layout of heap objects to improve memory-hierarchy performance," ACM Trans. Program. Lang. Syst., vol. 22, no. 3, pp. 490-505, 2000.
135. R. M. Rabbah and K. V. Palem, "Data remapping for design space optimization of embedded memory systems," ACM Trans. Embed. Comput. Syst., vol. 2, no. 2, pp. 1-32, May 2003.
136. T. M. Chilimbi and J. R. Larus, "Using generational garbage collection to implement cache-conscious data placement," ACM SIGPLAN Notices, vol. 34, no. 3, pp. 37-48, Mar. 1999.
137. X. Huang, S. M. Blackburn, K. S. McKinley, J. E. B. Moss, Z. Wang, and P. Cheng, "The garbage collection advantage: Improving program locality," in ACM Conf. Object-Oriented Programming Systems, Languages, and Applications, 2004, pp. 69-80.
138. Y. Shuf, M. Gupta, H. Franke, A. Appel, and J. P. Singh, "Creating and preserving locality of Java applications at allocation and garbage collection timss," ACM SIGPLAN Notices, vol. 37, no. 11, pp. 13-25, Nov. 2002.
139. S. Rubin, R. Bodík, and T. Chilimbi, "An efficient profile-analysis framework for data-layout optimizations," ACM SIGPLAN Notices, vol. 37, no. 1, pp. 140-153, Jan. 2002.
140. M. Frigo and S. G. Johnson, "FFTW: An adaptive software architecture for the FFT," in Proc. 1998 IEEE Int. Conf. Acoustics, Speech, and Signal Processing, vol. 3, pp. 1381-1384.
141. R. C. Whaley and J. J. Dongarra, "Automatically Tuned Linear Algebra Software," Univ. Tennessee, Knoxville, Tech. Rep. UT-CS-97-366, 1997.
142. J. Bilmes, K. Asanovic, C.-W. Chin, and J. Demmel, "Optimizing matrix multiply using PHiPAC: A portable, high-performance, ANSI C coding methodology," in Proc. 1997 Int. Conf. Supercomputing, pp. 340-347.
143. K. Yotov, X. Li, G. Ren, M. Cibulskis, G. DeJong, M. Garzaran, D. Padua, K. Pingali, P. Stodghill, and P. Wu, "A comparison of empirical and model-driven optimization," ACM SIGPLAN Notices, vol. 38, no. 5, pp. 63-76, May 2003.
144. J. Bogda and A. Singh, "Can a shape analysis work at run-time?," in Proc. Usenix Java Virtual Machine Research and Technology Symp. (JVM'01), pp. 13-26.
145. V. C. Sreedhar, M. Burke, and J.-D. Choi, "A framework for interprocedural optimization in the presence of dynamic class loading," ACM SIGPLAN Notices, vol. 35, no. 5, pp. 196-207, May 2000.
146. I. Pechtchanski and V. Sarkar, "Dynamic optimistic interprocedural analysis: A framework and an application," ACM SIGPLAN Notices, vol. 36, no. 11, pp. 195-210, Nov. 2001.
147. F. Qian and L. Hendren, "Toward dynamic interprocedural analysis in JVMs," in Usenix 3rd Virtual Machine Research and Technology Symp. (VM'04), pp. 139-150.
148. M. Hirzel, A. Diwan, and M. Hind, "Pointer analysis in the pressence of dynamic class loading," in 18th Eur. Conf. Object-Oriented Programming, 2004, pp. 96-122.
149. M. Serrano, R. Bordawekar, S. Midkiff, and M. Gupta, "Quicksilver: A quasistatic compiler for Java," ACM SIGPLAN Notices, vol. 35, no. 10, pp. 66-82, Oct. 2000.
150. M. Philipose, C. Chambers, and S. J. Eggers, "Toward automatic construction of staged compilers," ACM SIGPLAN Notices, vol. 37, no. 1, pp. 113-125, Jan. 2002.
151. A. Zaks, V. Feldman, and N. Aizikowitz, "Sealed calls in Java packages," ACM SIGPLAN Notices, vol. 35, no. 10, pp. 83-92, Oct. 2000.
152. J. Choi and H. Srinivasan, "Deterministic replay of Java multithreaded applications," in Proc. SIGMETRICS Symp. Parallel and Distributed Tools, 1998, pp. 48-59.
153. D. L. Bruening, "Systematic testing of multithreaded Java programs," M.S. thesis, Massachusetts Inst. Technol., Cambridge, 1999.
154. D. R. Engler, "VCODE: A retargetable, extensible, very fast dynamic code generation system," ACM SIGPLAN Notices, vol. 31, no. 5, pp. 160-170, May 1996.
155. M. Poletto and V. Sarkar, "Linear scan register allocation," ACM Trans. Program. Lang. Syst., vol. 21, no. 5, pp. 895-913, Sep. 1999.
156. M. G. Burke, J.-D. Choi, S. Fink, D. Grove, M. Hind, V. Sarkar, M. J. Serrano, V. C. Sreedhar, H. Srinivasan, and J. Whaley, "The Jalapeño dynamic optimizing compiler for Java," in Proc. ACM 1999 Java Grande Conf., pp. 129-141.
157. N. Shaylor, "A just-in-time compiler for memory-constrained low-power devices," in Proc. Usenix Java Virtual Machine Research and Technology Symp. (JVM'02), pp. 119-126.
158. M. Chen and K. Olukotun, "Targeting dynamic compilation for embedded environments," in Proc. Usenix Java Virtual Machine Research and Technology Symp. (JVM'02), pp. 151-164.
159. K. Ishizaki, M. Takeuchi, K. Kawachiya, T. Suganuma, O. Gohda, T. Inagaki, A. Koseki, K. Ogata, M. Kawahito, T. Yasue, T. Ogasawara, T. Onodera, H. Komatsu, and T. Nakatani, "Effectiveness of cross-platform optimizations for a Java just-in-time compiler," ACM SIGPLAN Notices, vol. 38, no. 11, pp. 187-204, Nov. 2003.
160. L. Eeckhout, A. Georges, and K. D. Bosschere, "How Java programs interact with virtual machines at the microarchitectural level," ACM SIGPLAN Notices, vol. 38, no. 11, pp. 169-186, Nov. 2003.
161. Transmeta Corporation: Crusoe. Transmeta Corporation. [Online], Available: http://www.transmeta.com/crusoe
162. N. Vijaykrishnan, M. Kandemir, S. Tomar, S. Kim, A. Sivasubramaniam, and M. J. Irwin, "Energy behavior of Java applications from the memory perspective," in Proc. Usenix Java Virtual Machine Research and Technology Symp. (JVM'01), pp. 207-220.
163. C. Krintz, B. Calder, H. B. Lee, and B. G. Zorn, "Overlapping execution with transfer using nonstrict execution for mobile programs," ACM SIGPLAN Notices, vol. 33, no. 11, pp. 159-169, Nov. 1998.
164. C. Krintz, B. Calder, and U. Hölzle, "Reducing transfer delay using Java class file splitting and prefetching," ACM SIGPLAN Notices, vol. 34, no. 10, pp. 276-291, Oct. 1999.
165. Jikes Research Virtual Machine (RVM). [Online]. Available: http://www.ibm.com/developerworks/oss/jikesrvm
166. Mono. [Online]. Available: http://go-mono.com
167. Open Runtime Platform. [Online], Available: http://orp.sourceforce.net