HEAT: An integrated static and dynamic approach for thread escape analysis

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2009, Pages 142-147

  Chen, Qichang ^a   Wang, Liqiang ^a   Yang, Zijiang ^b  

^a UNIVERSITY OF WYOMING   (United States)

^b Parkview Campus   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ESCAPE ANALYSIS; FALSE ALARMS; FALSE POSITIVE; HYBRID APPROACH; INTER-PROCEDURAL; MULTIPLE THREADS; PROGRAM ANALYSIS; PROGRAM SOURCE CODES; REAL-WORLD APPLICATION; RUN-TIME INFORMATION; STATIC AND DYNAMIC ANALYSIS; STATIC AND DYNAMIC APPROACH;

BENCHMARKING; COMPUTER APPLICATIONS; COMPUTER SOFTWARE; ELECTRIC LOAD SHEDDING; STATIC ANALYSIS; WORD PROCESSING;

DYNAMIC ANALYSIS;

EID: 70449632768     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2009.28     Document Type: Conference Paper

References (15)

1. J. Bogda and U. Hölzle. Removing unnecessary synchronization in java. SIGPLAN Not., 34(10):35-46, 1999.
2. Q. Chen, L. Wang, Z. Yang, and S. D. Stoller. HAVE: Integrated dynamic and static analysis for atomicity violations. In Proceedings of International Conference on Fundamental Approaches to Software Engineering (FASE), volume 5503 of LNCS, pages 425-439. Springer, 2009.
3. 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 Trans. Program. Lang. Syst., 25(6):876-910, 2003.
4. M. B. Dwyer, J. Hatcliff, Robby, and V. P. Ranganath. Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs. Formal Methods in System Design, 25(2-3):199-240, 2004.
5. Java Grande Forum. Java Grande Multi-threaded Benchmark Suite. version 1.0. Available from .
6. Jigsaw, version 2.2.6. Available from http://www.w3c.org.
7. K. Lee, X. Fang, and S. P. Midkiff. Practical escape analyses: how good are they? In VEE '07: Proceedings of the 3rd international conference on Virtual execution environments, pages 180-190, New York, NY, USA, 2007. ACM.
8. K. Lee and S. P. Midkiff. A two-phase escape analysis for parallel java programs. In PACT '06: Proceedings of the 15th international conference on Parallel architectures and compilation techniques, pages 53-62, New York, NY, USA, 2006. ACM.
9. H. Nishiyama. Detecting data races using dynamic escape analysis based on read barrier. In VM'04: Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium, pages 10-10, Berkeley, CA, USA, 2004. USENIX Association.
10. E. Ruf. Effective synchronization removal for Java. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 208-218. ACM Press, June 2000.
11. A. Salcianu and M. Rinard. Pointer and escape analysis for multithreaded programs. In Proc. ACM SIGPLAN 2001 Symposium on Principles and Practice of Parallel Programming (PPoPP). ACM Press, 2001.
12. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. E. Anderson. Eraser: A dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems, 15(4):391-411, Nov. 1997. (Pubitemid 127449840)
13. 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 tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP), pages 2-13, New York, NY, USA, 2005. ACM.
14. Apache tomcat, version 6.0.16. Available from http://tomcat.apache.org.
15. C. von Praun and T. R. Gross. Object race detection. In Proc. 16th ACM Conference on Object- Oriented Programming, Systems, Languages and Applications (OOPSLA), volume 36(11) of SIGPLAN Notices, pages 70-82. ACM Press, Oct. 2001.