Array bounds check elimination for the Java HotSpot™ client compiler

ACM International Conference Proceeding Series

Volumn 272, Issue , 2007, Pages 125-133

  Würthinger, Thomas ^a   Wimmer, Christian ^a   Mössenböck, Hanspeter ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Array bounds check elimination; Java; Just in time compilation; Optimization; Performance

Indexed keywords

ALGORITHMS; JAVA PROGRAMMING LANGUAGE; OPTIMIZATION; STATIC ANALYSIS;

ARRAY BOUNDS CHECK ELIMINATION; ARRAY BOUNDS CHECK ELIMINATION ALGORITHM; JAVA VIRTUAL MACHINES; JUST-IN-TIME COMPILATION;

PROGRAM COMPILERS;

EID: 41149140412     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1294325.1294343     Document Type: Conference Paper

References (18)

1. R. Bodík, R. Gupta, and V. Sarkar. ABCD: Eliminating array bounds checks on demand. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 321-333. ACM Press, 2000.
2. P. Briggs, K. D. Cooper, and L. T. Simpson. Value numbering. Software: Practice and Experience, 27(6):701-724, 1997.
3. R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451-490, 1991.
4. R. Griesemer and S. Mitrovic. A compiler for the Java HotSpot™ virtual machine. In L. Böszörményi, J. Gutknecht, and G. Pomberger, editors, The School of Niklaus Wirth: The Art of Simplicity, pages 133-152. dpunkt.verlag, 2000.
5. R. Gupta. A fresh look at optimizing array bound checking. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 272-282. ACM Press, 1990.
6. R. Gupta. Optimizing array bound checks using flow analysis. ACM Letters on Programming Languages and Systems, 2(1-4):135-150, 1993.
7. U. Hölzle, C. Chambers, and D. Ungar. Debugging optimized code with dynamic deoptimization. In Proceedings of the A CM SIGPLAN Conference on Programming Language Design and Implementation, pages 32-43. ACM Press, 1992.
8. U. Hölzle and D. Ungar. Optimizing dynamically-dispatched calls with run-time type feedback. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 326-336. ACM Press, 1994.
9. J. Hummel, A. Azevedo, D. Kolson, and A. Nicolau. Annotating the Java bytecodes in support of optimization. Concurrency: Practice and Experience, 9(11):1003-1016, 1997.
10. T. Kotzmann, C. Wimmer, H. Mössenböck, T. Rodriguez, K. Russell, and D. Cox. Design of the Java HotSpot™ client compiler for Java 6. Technical report, 2007.
11. V. V. Mikheev, S. A. Fedoseev, V. V. Sukharev, and N. V. Lipsky. Effective enhancement of loop versioning in Java. In Proceedings of the International Conference on Compiler Construction, pages 101-115. LNCS 2304, Springer-Verlag, 2002.
12. M. Paleczny, C. Vick, and C. Click. The Java HotSpot™ server compiler. In Proceedings of the Java Virtual Machine Research and Technology Symposium, pages 1-12, 2001.
13. R. Pozo and B. Miller. SciMark 2.0, 1999. http://math.nist.gov/ scimark2/.
14. F. Qian, L. J. Hendren, and C. Verbrugge. A comprehensive approach to array bounds check elimination for Java. In Proceedings of the International Conference on Compiler Construction, pages 325-342. LNCS 2304, Springer-Verlag, 2002.
15. Standard Performance Evaluation Corporation. The SPECjvm98 Benchmarks, 1998. http://www.spec.org/jvm98/.
16. Sun Microsystems, Inc. Java Platform, Standard Edition 7 Source Snapshot Releases, 2007. http://download.java.net/jdk7/.
17. C. Wimmer and H. Mössenböck. Optimized interval splitting in a linear scan register allocator. In Proceedings of the ACM/USENIX International Conference on Virtual Execution Environments, pages 132-141. ACM Press, 2005.
18. H. Xi and S. Xia. Towards array bound check elimination in Java™ virtual machine language. In Proceedings of the Conference of the Centre for Advanced Studies on Collaborative Research, pages 110-125. IBM Press, 1999.