A two-phase escape analysis for parallel java programs

Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT

Volumn 2006, Issue , 2006, Pages 53-62

  Lee, Kyungwoo ^a   Midkiff, Samuel P ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

Compilation models; Consistency models; Escape analysis; Java; Memory models

Indexed keywords

COMPILATION MODELS; CONSISTENCY MODELS; ESCAPE ANALYSIS; MEMORY MODELS;

MATHEMATICAL MODELS; ONLINE SYSTEMS; PARALLEL PROCESSING SYSTEMS; SYNCHRONIZATION;

JAVA PROGRAMMING LANGUAGE;

EID: 34247167745     PISSN: 1089795X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1152154.1152166     Document Type: Conference Paper

References (32)

1. The Java Grande Forum Benchmark Suite. URL: http://www.epcc.ed.ac. uk/javagrande/javag.html.
2. Soot - a Java Optimization Framework. URL: http//www.sable.mcgill. ca/soot/.
3. SPEC JVM Client98 Suite. URL: http//www.specbench.org/jvm98/jvm98.
4. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
5. 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 Jalapeno virtual machine. IBM System Journal, 39(1), February 2000.
6. M. Arnold, S. Fink, D. Grove, M. Hind, and P. F. Sweeney. Adaptive optimization in the Jalapeno JVM. In Proceedings of the ACM SIGPLAN 2000 Conference on Object-Oriented Programming Systems, Languages, and Applications, Octobor 2000.
7. J. Bogda and U. Holzle. Removing unnecessary synchronization in Java. In Proceedings of the 14th ACM Conference on Object-Oriented Programming, Systems, and Applications, pages 35-46, Denver, CO, USA, 1999.
8. J.-D. Choi, M. Gupta, M. J. Serrano, V. C. Sreedhar, and S. P. Midkiff. Stack allocation and synchronization optimizations for Java using escape analysis. ACM Transactions on Programing Language Systems, 25(6):876-910, 2003.
9. J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 258-269, Berlin, Germany, 2002.
10. C. Consel, L. Hornof, R. Marlet, G. Muller, S. Thibault, E.-N. Volanschi, J. Lawall, and J. Noye. Tempo: Specializing systems applications and beyond. ACM Computing Surveys, 30(3es):19, 1998.
11. J. Dean, D. Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of the 9th European Conference for Object-Oriented Programming, pages 77-101, Aug 1995.
12. T. Domani, G. Goldshtein, E. K. Kolodner, E. Lewis, E. Petrank, and D. Sheinwald. Thread-local heaps for Java. In Proceedings of the 2003 ACM International Symposium on Memory Management.
13. X. Fang, J. Lee, and S. P. Midkiff. Automatic fence insertion for shared memory multiprocessing. In Proceedings of the 17th Annual International Conference on Supercomputing, pages 285-294, San Francisco, CA, USA, June 2003.
14. S. J. Fink and F. Qian. Design, implementation and evaluation of adaptive recompilation with on-stack replacement. In International Symposium on Code Generation and Optimization, pages 241-252, 2003.
15. B. Grant, M. Mock, M. Philipose, C. Chambers, and S. J. Eggers. The benefits and costs of DyC's run-time optimizations. ACM Transactions on Programming Languages and Systems, 22(5):932-972, 2000.
16. S. Hartley. Concurrent Programming: the Java Programming Language. Oxford University Press, 1998.
17. M. Hirzel, A. Diwan, and M. Hind. Pointer analysis in the presence of dynamic class loading. In Proceedings of the 18th European Conference for Object-Oriented Programming, pages 96-122, 2004.
18. T. Kotzmann and H. Mossenbock. Escape analysis in the context of dynamic compilation and deoptimization. In Proceedings of the 1st ACM/USENIX International Conference on Virtual Execution Environments, pages 111-120, 2005.
19. A. Le, O. Lhotak, and L. Hendren. Using inter-procedural side-effect information in JIT optimizations. In Proceedings of 14th International Conference on Compiler Construction, pages 287-304, 2005.
20. D. Lea. Concurrent Programming in Java. Addison Wesley, 1999. URL: http//gee.cs.oswego.edu/dl/cpj/.
21. I. Pechtchanski and V. Sarkar. Dynamic optimistic interprocedural analysis: A framework and an application. In Proceedings of the 16th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 195-210, Tampa Bay, FL, USA, Nov. 2001.
22. M. Poletto, W. C. Hsieh, D. R. Engler, and M. F. Kaashoek. C and tec: A language and compiler for dynamic code generation. ACM Transactions on Programming Languages and Systems, 21(2):324-369, 1999.
23. P. Pominville, F. Qian, R. Vallee-Rai, L. Hendren, and C. Verbrugge. A framework for optimizing Java using attributes. In Proceedings of the 10th International Conference on Compiler Construction, pages 334-354, London, UK, 2001.
24. F. Qian, L. J. Hendren, and C. Verbrugge. Comprehensive approach to array bounds check elimination for Java. In Proceedings of the 11th International Conference on Compiler Construction, pages 325-342, London, UK, June 2002.
25. E. Ruf. Effective synchronization removal for Java. In Proceedings of the ACM SIGPLAN 3000 Conference on Programming Languages Design and Implementation, pages 208-218, British Columbia, Canada, 2000.
26. A. Salcianu and M. Rinard. Pointer and escape analysis for multithreaded programs. In Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming, pages 12-23, Snowbird, Utah, 2001.
27. D. Shasha and M. Snir. Efficient and correct execution of parallel programs that share memory. ACM Transactions on Programming Languages and Systems, 10(2):282-312, 1988.
28. V. C. Sreedhar, M. Burke, and J.-D. Choi. A framework for interprocedural optimization in the presence of dynamic class loading. In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, pages 196-207, 2000.
29. Z. Sura, X. Fang, C.-L. Wong, S. P. Midkiff, J. Lee, and D. Padua. Compiler techniques for high performance sequentially cosistent Java programs. In Proceedings of the 10th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 2-13, Chicago, IL, USA, 2005.
30. F. Vivien and M. Rinard. Incrementalized pointer and escape analysis. In Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, pages 35-46, 2001.
31. J. Whaley and M. Rinard. Compositional pointer and escape analysis for Java programs. In Proceedings of the 14th ACM SIGPLAN Conference on object-oriented Programming, Systems, Languages, and Applications, pages 187-206, Denver, CO, USA, 1999.
32. C.-L. Wong. Thread Escape Analysis for a Memory Consistency Model Aware Compiler. PhD thesis, University of Illinois at Urbana-Champaign, 2004.