Online feedback-directed optimization of Java

ACM SIGPLAN Notices

Volumn 37, Issue 11, 2012, Pages 111-129

  Arnold, Matthew ^a,b   Hind, Michael ^b   Ryder, Barbara G ^a  

^a RUTGERS UNIVERSITY   (United States)

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

Author keywords

Adaptive optimization; Dynamic optimization; Online algorithms; Virtual machines

Indexed keywords

CODES (SYMBOLS); DATA FLOW ANALYSIS; FEEDBACK; GRAPHIC METHODS; JAVA PROGRAMMING LANGUAGE; VIRTUAL MACHINE;

ADAPTIVE OPTIMIZATION; CONTROL FLOW GRAPHS; DYNAMIC OPTIMIZATION; FEEDBACK DIRECTED; NOVEL ALGORITHM; ON-LINE ALGORITHMS; ONLINE FEEDBACK; PEAK PERFORMANCE;

FLOW GRAPHS;

EID: 65249126164     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/583854.582432     Document Type: Article

References (49)

1. B. Alpern, C. R. Attanasio, J. J. Barton, M. G. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. F. Mergen, T. Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. C. Shepherd, S. E. Smith, V. C. Sreedhar, H. Srinivasan, and J. Whaley. The Jalapeño virtual machine. IBM Systems Journal, 39(1), 2000.
2. Bowen Alpern, Dick Attanasio, John J. Barton, Anthony Cocchi, Derek Lieber, Stephen Smith, and Ton Ngo. Implementing Jalapeño in Java. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 314-324, October 1999.
3. Glenn Ammons and James R. Larus. Improving data-flow analysis with path profiles. In SIGPLAN'98 Conference on Programming Language Design and Implementation, pages 72-84, June 1998.
4. J. M. Anderson, L. M. Berc, J. Dean, S. Ghemawat, M. R. Henzinger, S. Leung, R. L. Sites, M. T. Vandevoorde, C. A. Waldspurger, and W. E. Weihl. Continuous profiling: Where have all the cycles gone? In 16th ACM Symposium on Operating Systems Principles, October 1997.
5. Matthew Arnold. Online instrumentation and feedback-directed optimization of Java. Technical Report DCS-TR-469, Rutgers University, December 2001.
6. Matthew Arnold, Stephen Fink, David Grove, Michael Hind, and Peter F. Sweeney. Adaptive optimization in the Jalapeño JVM. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, October 2000.
7. Matthew Arnold, Stephen Fink, David Grove, Michael Hind, and Peter F. Sweeney. Adaptive optimization in the Jalapeño JVM: The controller's analytical model. In 3rd ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3), December 2000.
8. Matthew Arnold, Stephen Fink, Vivek Sarkar, and Peter F. Sweeney. A comparative study of static and dynamic heuristics for inlining. In ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization, January 2000.
9. Matthew Arnold and Barbara Ryder. A framework for reducing the cost of instrumented code. In SIGPLAN 2001 Conference on Programming Language Design and Implementation, pages 168-179, June 2001.
10. Matthew Arnold and Barbara G. Ryder. Thin guards: A simple and effective technique for reducing the penalty of dynamic class loading. In 16th European Conference on Object-Oriented Programming, June 2002.
11. Andrew Ayers, Robert Gottlieb, and Richard Schooler. Aggressive inlining. In SIGPLAN'97 Conference on Programming Language Design and Implementation, pages 134-145, June 1997.
12. Vasanth Bala, Evelyn Duesterwald, and Sanjeev Banerjia. Dynamo: A transparent dynamic optimization system. In SIGPLAN 2000 Conference on Programming Language Design and Implementation, June 2000.
13. Thomas Ball and James R. Larus. Optimally profiling and tracing programs. ACM Transactions on Programming Languages and Systems, 16(4):1319-1360, July 1994.
14. Rastislav Bodík, Rajiv Gupta, and Mary Lou Soffa. Complete removal of redundant expressions. In SIGPLAN'98 Conference on Programming Language Design and Implementation, June 1998.
15. Mike Burrows, Ulfar Erlingson, Shun-Tak A. Leung, Mark T Vandevoorde, Carl A. Waldspurger, Kefvin Walker, and William E. Weihl. Efficient and flexible value sampling. In Ninth International Conference on Architectural Support for Programming Languages and Operating Systems, November 2000.
16. Craig Chambers. The Design and Implementation of the SELF Compiler, an Optimizing Comiler for Object-Oriented Programming Languages. PhD thesis, Stanford University, 1992.
17. Craig Chambers and David Ungar. Making pure object-oriented languages practical. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 1-15, November 1991.
18. Pohua P. Chang, Scott A. Mahlke, and Wen-Mei W. Hwu. Using profile information to assist classic code optimizations. Software-Practice and Experience, 21(12):1301-1321, December 1991.
19. Trishul Chilimbi. Efficient representations and abstractions for quantifying and exploiting data reference locality. In SIGPLAN 2001 Conference on Programming Language Design and Implementation, June 2001.
20. Trishul Chilimbi and Martin Hirzel. Dynamic hot data stream prefetching for general-purpose programs. In SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 199-209, June 2002.
21. Michal Cierniak, Guei-Yuan Lueh, and James M. Stichnoth. Practicing JUDO: Java Under Dynamic Optimizations. In SIGPLAN 2000 Conference on Programming Language Design and Implementation, June 2000.
22. David Detlefs and Ole Agesen. Inlining of virtual methods. In 13th European Conference on Object-Oriented Programming, June 1999.
23. Ashutosh S. Dhodapkar and James E. Smith. Managing multi-configuration hardware via dynamic working set analysis. In 29th International Symposium on Computer Architecture, 2002.
24. Pedro C. Diniz and Martin C. Rinard. Dynamic feedback: An effective technique for adaptive computing. In SIGPLAN'97 Conference on Programming Language Design and Implementation, pages 71-84, June 1997.
25. Evelyn Duesterwald and Vasanth Bala. Software profiling for hot path prediction: Less is more. In Ninth International Conference on Architectural Support for Programming Languages and Operating Systems, November 2000.
26. Brian Grant, Matthai Philipose, Markus Mock, Craig Chambers, and Susan J. Eggers. An evaluation of staged run-time optimizations in DyC. In SIGPLAN '99 Conference on Programming Language Design and Implementation, pages 293-304, May 1999.
27. David Grove, Jeffrey Dean, Charles Garrett, and Craig Chambers. Profile-guided receiver class prediction. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 108-123, October 1995.
28. Michael Hind, V.T. Rajan, and Peter F. Sweeney. Online phase detection. Submitted for publication.
29. Martin Hirzel and Trishul Chilimbi. Bursty tracing: A framework for low-overhead temporal profiling. In 4th ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-4), pages 117-126, December 2001.
30. Urs Hölzle and David Ungar. Reconciling responsiveness with performance in pure object-oriented languages. ACM Transactions on Programming Languages and Systems, 18(4):355-400, July 1996.
31. Wen-mei W. Hwu, Scott A. Mahlke, William Y. Chen, Pohua P. Chang, Nancy J. Warter, Roger A. Bringmann, Roland G. Ouellette, Richard E. Hank, Tokuzo Kiyohara, Grant E. Haab, John G. Holm, and Daniel M. Lavery. The superblock: An effective technique for VLIW and superscalar compilation. In The Journal of Supercomputing, pages 229-248. Kluwer Academic Publishers, 1993.
32. O. Kaser and C. R. Ramakrishnan. Evaluating inlining techniques. Computer Languages, 24(2):55-72, July 1998.
33. Thomas P. Kistler. Continuous Program Optimization. PhD thesis, University of California, Irvine, 1999.
34. Mark Leone and Peter Lee. Dynamic specialization in the Fabius system. ACM Computing Surveys, 30(3es):1-5, September 1998. Article 23.
35. Renaud Marlet, Charles Consel, and Philippe Boinot. Efficient incremental run-time specialization for free. In SIGPLAN'99 Conference on Programming Language Design and Implementation, pages 281-292, May 1999.
36. David Gordon Melski. Interprocedural Path Profiling and the Interprocedural Express-Lane Transformation. PhD thesis, University of Wisconsin, February 2002.
37. M. Mock, C. Chambers, and S. Eggers. Calpa: A tool for automating selective dynamic compilation. In Proceedings of the 33th International Symposium on Microarchitecture, pp. 291-302, December 2000.
38. Takeshi Ogasawara, Hideaki Komatsu, and Toshio Nakatani. A study of exception handling and its dynamic optimization in Java. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 83-95, October 2001.
39. M. Paleczny, C. Vic, and C Click. The Java Hotspot(TM) server compiler. In USENIX Java Virtual Machine Research and Technology Symposium, April 2001.
40. Karl Pettis and Robert C. Hansen. Profile guided code positioning. In SIGPLAN'90 Conference on Programming Language Design and Implementation, June 1990.
41. S. Subramanya Sastry, Rastislav Bodik, and James E. Smith. Rapid profiling via stratified sampling. In 28th International Symposium on Computer Architecture, 2001.
42. Amitabh Srivastava, Andrew Edwards, and Hoi Vo. Vulcan: Binary transformation in distributed environment. Technical Report MSR-TR-2001-50, Micorosft Research, April 2001.
43. Toshio Suganuma, Toshiaki Yasue, Motohiro Kawahito, Hideaki Komatsu, and Toshio Nakatani. A dynamic optimization framework for a Java just-in-time compiler. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 180-195, October 2001.
44. Toshio Suganuma, Toshiaki Yasue, and Toshio Nakatani. An empirical study of method inlining for a Java just-in-time compiler. In USENIX 2nd Java Virtual Machine Research and Technology Symposium (JVM'02), August 2002.
45. The Standard Performance Evaluation Corporation. SPEC JVM98 Benchmarks. http://www.spec.org/osg/jvm98, 1998.
46. The Standard Performance Evaluation Corporation. SPEC JBB 2000. http://www.spec.org/osg/jbb2000,2000.
47. Omri Traub, Stuart Schechter, and Michael D. Smith. Ephemeral instrumentation for lightweight program profiling. Technical report, Harvard University, 2000.
48. Tim A. Wagner, Vance Maverick, Susan L. Graham, and Michael A. Harrison. Accurate static estimators for program optimization. In SIGPLAN'94 Conference on Programming Language Design and Implementation, pages 85-96, June 1994.
49. John Whaley. Partial method compilation using dynamic profile information. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 166-179, October 2001.