Practical escape analyses: How good are they?

VEE'07: Proceedings of the 3rd International Conference on Virtual Execution Environments

Volumn , Issue , 2007, Pages 180-190

  Lee, Kyungwoo ^a   Fang, Xing ^a   Midkiff, Samuel P ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

Analysis precision; Dynamic compilation; Escape analysis; Java

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; COMPUTER OPERATING SYSTEMS; STORAGE ALLOCATION (COMPUTER);

ANALYSIS PRECISION; DYNAMIC COMPILATION; ESCAPE ANALYSIS;

JAVA PROGRAMMING LANGUAGE;

EID: 35448973318     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1254810.1254836     Document Type: Conference Paper

References (25)

1. The Java 2 Platform Standard Ed. 5.0 Class Object Specification. http://java.sun.com/j2se/1.5.0/docs/api/java/lang/ Object.html#hashCode(). Last accessed April 5, 2006.
2. The Java Grande Forum Benchmark Suite, http://www.epcc.ed. ac.uk/javagrande/javag.html.
3. SPEC JVM Client98 Suite, http://www.specbench.org/jvm98.
4. R. Agarwal, A. Sasturkar, L. Wang, and S. D. Stoller. Optimized run-time race detection and atomicity checking using partial discovered types. In Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, pages 233-242, New York, NY, USA, 2005. ACM Press.
5. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
6. 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 System Journal, 39(1), February 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 SIOPLAN 2002 Conference on Programming Language Design and Implementation, pages 258-269, New York, NY, USA, 2002. ACM Press.
10. 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.
11. 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.
12. S. Hartley. Concurrent Programming: the Java Programming Language. Oxford University Press, 1998.
13. L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, C28(9):690-691, 1979.
14. D.Lea. Concurrent Programming in Java. Addison Wesley, 1999. URL: http//gee.cs.oswego.edu/dl/cpj/.
15. K. Lee and S. P. Midkiff. A two-phase escape analysis for parallel Java programs. In Proceedings of International Conference on Parallel Architectures and Compilation Techniques, September 2006.
16. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In Proceedings of the 9th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, pages 167-178, New York, NY, USA, 2003. ACM Press.
17. E. Raman and D. I. August. Recursive data structure profiling. In Proceedings of the 2005 workshop on Memory system performance, pages 5-14, New York, NY, USA, 2005. ACM Press.
18. E. Ruf. Effective synchronization removal for Java. In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Languages Design and Implementation, pages 208-218, British Columbia, Canada, 2000.
19. R. Shaham, E. K. Kolodner, and M. Sagiv. Heap profiling for space-efficient Java. In Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, pages 104-113, New York, NY, USA, 2001. ACM Press.
20. 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.
21. B. Steensgaard. Thread-specific heaps for multi-threaded programs. In Proceedings of the 2nd International Symposium on Memory Management, pages 18-24, New York, NY, USA, 2000. ACM Press.
22. Z. Sura, X. Fang, C.-L. Wong, S. P. Midkiff, J. Lee, and D. Padua. Compiler techniques for high performance sequentially consistent Java programs. In Proceedings of the 10th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 2-13, Chicago, IL, USA, 2005.
23. 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.
24. C.-L. Wong. Thread Escape Analysis for a Memory Consistency Model Aware Compiler. PhD thesis, University of Illinois at Urbana-Champaign, 2004.
25. C.-L. Wong, Z. Sura, X. Fang, K. Lee, S. P. Midkiff, J. Lee, and D. Padua. Evaluating the impact of thread escape analysis on a memory consistency model-aware compiler. In Proceedings of the 18th International Workshop on Languages and Compilers for Parallel Computing, 2005.