Using inter-procedural side-effect information in JIT optimizations

Lecture Notes in Computer Science

Volumn 3443, Issue , 2005, Pages 287-304

  Le, Anatole ^a   Lhoták, Ondřej ^a   Hendren, Laurie ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; CODES (SYMBOLS); DATA STORAGE EQUIPMENT; ENCODING (SYMBOLS); JAVA PROGRAMMING LANGUAGE; OPTIMIZATION;

EXECUTION TIME; INTER-PROCEDURAL ANALYSES; JUST-IN-TIME (JIT) COMPILERS; SIDE-EFFECT ANALYSIS;

PROGRAM COMPILERS;

EID: 24644521624     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11406921_22     Document Type: Conference Paper

References (29)

1. SPEC JVM98 benchmarks, http://www.spec.org/osg/jvm98/.
2. 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 Syst. J., 39(1):211-238, 2000.
3. B. Alpern, M. N. Wegman, and F. K. Zadeck. Detecting equality of variables in programs. In Proceedings of POPL 1988, pages 1-11, 1988.
4. J.-D. Choi, M. Burke, and P. Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Proceedings of POPL 1993, pages 232-245, 1993.
5. R. A. Chowdhury, P. Djeu, B. Cahoon, J. H. Burrill, and K. S. McKinley. The limits of alias analysis for scalar optimizations. In CC 2004, volume 2985 of LNCS, pages 24-38, 2004.
6. L. R. Clausen. A Java bytecode optimizer using side-effect analysis. Concurrency: Practice and Experience, 9(11):1031-1045, Nov. 1997.
7. C. Click. Global code motion/global value numbering. In Proceedings of PLDI 1995, pages 246-257, 1995.
8. J. Dean, D. Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In ECOOP 95, volume 952 of LNCS, pages 77-101, 1995.
9. A. Diwan, K. S. McKinley, and J. E. B. Moss. Type-based alias analysis. In Proceedings of PLDI 1998, pages 106-117, 1998.
10. S. J. Fink, K. Knobe, and V. Sarkar. Unified analysis of array and object references in strongly typed languages. In Static Analysis Symposium, pages 155-174, 2000.
11. R. Ghiya and L. J. Hendren. Putting pointer analysis to work. In Proceedings of POPL 1998, pages 121-133, 1998.
12. R. Ghiya, D. Lavery, and D. Sehr. On the importance of points-to analysis and other memory disambiguation methods for C programs. In Proceedings of PLDI 2001, pages 47-58, 2001.
13. M. Hind and A. Pioli. Which pointer analysis should I use? In Proceedings of ISSTA 2000, pages 113-123, 2000.
14. W. Landi, B. G. Ryder, and S. Zhang. Interprocedural modification side effect analysis with pointer aliasing. In Proceedings of PLDI 1993, pages 56-67, 1993.
15. O. Lhoták. Spark: A flexible points-to analysis framework for Java. Master's thesis, McGill University, Dec. 2002.
16. O. Lhotak and L. Hendren. Scaling Java points-to analysis using Spark. In CC 2003, volume 2622 of LNCS, pages 153-169, Warsaw, Poland, 2003.
17. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, Reading, MA, USA, second edition, 1999.
18. A. Milanova, A. Rountev, and B. G. Ryder. Parameterized object sensitivity for points-to and side-effect analyses for Java. In Proceedings of ISSTA 2002, pages 1-11, 2002.
19. G. Olivar. Fast points-to and side-effect analysis for the McCAT C compiler. M.Sc. project, McGill University, http://citeseer.ist.psu.edu/350797. html, Apr. 1997.
20. I. Pechtchanski and V. Sarkar. Immutability specification and its applications. In Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande, pages 202-211, 2002.
21. P. Pominville, F. Qian, R. Vallée-Rai, L. Hendren, and C. Verbrugge. A framework for optimizing Java using attributes. In CC 2001, volume 2027 of LNCS, pages 334-354, 2001.
22. F. Qian and L. Hendren. A study of type analysis for speculative method inlining in a JIT environment. In CC 2005, LNCS, Edinburgh, Scotland, April 2005. Springer.
23. F. Qian and L. J. Hendren. Towards dynamic interprocedural analysis in jvms. In Virtual Machine Research and Technology Symposium, pages 139-150, 2004.
24. C. Razafimahefa. A study of side-effect analyses for Java. Master's thesis, McGill University, Dec. 1999.
25. A. Rountev, A. Milanova, and B. G. Ryder. Points-to analysis for Java using annotated constraints. In Proceedings of OOPSLA '01, pages 43-55, 2001.
26. A. Rountev and B. G. Ryder. Points-to and side-effect analyses for programs built with precompiled libraries. In CC 2001, volume 2027 of LNCS, pages 20-36, 2001.
27. B. G. Ryder, W. A. Landi, P. A. Stocks, S. Zhang, and R. Altucher. A schema for inter-procedural modification side-effect analysis with pointer aliasing. ACM Transactions on Programming Languages and Systems, 23(2):105-186, Mar. 2001.
28. P. A. Stocks, B. G. Ryder, W. A. Landi, and S. Zhang. Comparing flow and context sensitivity on the modification-side-effects problem. In Proceedings of ISSTA 1998, pages 21-31, 1998.
29. R. Vallée-Rai, E. Gagnon, L. J. Hendren, P. Lam, P. Pominville, and V. Sundaresan. Optimizing Java bytecode using the Soot framework: is it feasible? In CC 2000, volume 1781 of LNCS, pages 18-34, 2000.