Elimination of Java array bounds checks in the presence of indirection

Proceedings of the Joint ACM Java Grande - ISCOPE Conference

Volumn , Issue , 2002, Pages 76-85

  Luján, Mikel ^a   Gurd, John R ^a   Freeman, T L ^a   Miguel, José ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b UNIVERSITY OF THE BASQUE COUNTRY UPV EHU   (Spain)

Author keywords

Array bounds check; Array indirection; Java

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER AIDED SOFTWARE ENGINEERING; DIGITAL LIBRARIES; OPTIMIZATION; PROGRAM COMPILERS; VIRTUAL REALITY;

JAVA ARRAY BOUNDS CHECKS; JAVA VIRTUAL MACHINES;

JAVA PROGRAMMING LANGUAGE;

EID: 0242612136     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/583810.583819     Document Type: Conference Paper

References (43)

1. A. Aggarwal and K. H. Randall. Related field analysis. In Proceedings of the ACM Conference on Programming Language Design and Implementation - PLDI'01, pages 214-20, 2001.
2. B. Alpern et al. The Jalapeño virtual machine. IBM Systems Journal, 39(1):211-238, 2000.
3. J. M. Asuru. Optimization of array subscript range. ACM Letters on Programming Languages and Systems, 1(2):109-118, 1992.
4. B. Blanchet. Escape analysis for object oriented languages. Application to Java. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Application - OOPSLA'99, pages 20-34, 1999.
5. R. Bodik, R. Gupta, and V. Sarkar. ABCD: Eliminating array bounds checks on demand. In Proceedings of the ACM Conference on Programming Language Design and Implementation - PLDI 2000, pages, 321-333, 2000.
6. J. Bogda and U. Hölzle. Removing unnecessary synchronization. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Application - OOPSLA'99, pages 35-46, 1999.
7. R. F. Boisvert, J. E. Moreira, M. Philippsen, and R. Pozo. Java and numerical computing. IEEE Computing in Science and Engineering, 3(2):18-24, 2001.
8. R. F. Boisvert, R. Pozo, K. Remington, R. Barrett, and J. J. Dongarra. The Matrix Market: A web resource for test matrix collections. In Quality of Numerical Software, Assessment and Enhancement, pages 125-137. Chapman & Hall, 1997. Matrix Market http://math.nist.gov/MatrixMarket/
9. J. M. Bull, L. A Smith, L. Pottage, and R. Freeman. Benchmarking Java against C and Fortran for scientific applications. In Proceedings of the ACM 2001 Java Grande/ISCOPE Conference, pages 97-105, 2001.
10. W.-N. Chin and E.-K. Goh. A reexamination of "optimization of array subscript range checks". ACM Transactions on Programming Languages and Systems, 17(2):217-227, 1996.
11. J.-D. Choi, M. Gupta, M. Serrano, B. C. Sreedhar, and S. Midkiff. Escape analysis for Java. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA'99, pages 1-19, 1999.
12. M. Cierniak, G.-Y. Lueh, and J. M. Stichnoth. Practicing JUDO: Java under dynamic optimizations. In Proceedings of the ACM Conference on Programming Language Design and Implementation - PLDI 2000, pages 13-26, 2000.
13. R. Fitzgerald, T. B. Knoblock, E. Ruf, B. Steensgaard, and D. Tarditi. Marmot: an optimizing compiler for Java. Software - Practice and Experience, 30(3):199-232, 2000.
14. S. Ghemawat, K. H. Randall, and D. J. Scales. Field analysis: Getting useful and low-cost interprocedural information. In Proceedings of the ACM Conference on Programming Language Design and Implementation - PLDI'00, pages 334-314, 2000.
15. G. H. Golub and C. F. van Loan. Matrix Computations. John Hopkins University Press, 3rd edition 1996.
16. R. Gupta. A fresh look at optimizing array bound checking. In Proceedings of the ACM Conference on Programming Language Design and Implementation - PLDI'90, pages 272-282, 1990.
17. R. Gupta. Optimizing array bound checks using flow analysis. ACM Letters on Programming Languages and Systems, 2(1-4):135-150, 1993.
18. Java Grande Forum. Making Java Work for High-End Computing, November 1998. Available at http://www.javagrande.org/reports.htm.
19. Java Grande Forum. Interim Java Grande Forum Report, June 1999. Available at http://www.javagrande.org/reports.htm.
20. R. L. Johnston. Numerical Methods: A Software Approach. John Wiley and Sons, 1982.
21. Multiarray package. http://jcp.org/jsr/detail/083.jsp
22. I. H. Kazi, H. H. Chen, B. Stanley, and D. Lilja. Techniques for obtaining high performance in Java programs. ACM Computing Surveys, 32(3):213-240, 2000.
23. P. Kolte and M. Wolfe, Elimination of redundant array subscript range checks. In Proceedings of the ACM Conference on Programming Language Design and Implementation - PLDI'95, pages 270-278, 1995.
24. M. Luján, T. L. Freeman, and J. R. Gurd. OoLaLa: an object oriented analysis and design of numerical linear algebra. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA'00, pages 229-252, 2000.
25. M. Luján, J. R. Gurd, and T. L. Freeman. OoLaLa: Transformations for implementations of matrix operations at high abstraction levels. In Proceedings of the 4th Workshop on Parallel Object-Oriented Scientific Computing - POOSC'01, 2001.
26. V. Markstein, J. Cocke, and P. Markstein. Optimization of range checking. In Proceedings of a Symposium on Compiler Optimization, pages 114-119, 1982.
27. B. Meyer. Object Oriented Software Construction. Prentice Hall, 2nd edition, 1997.
28. S. P. Midkiff, J. E. Moreira, and M. Snir. Optimizing array reference checking in Java programs. IBM Systems Journal, 37(3):409-453, 1998.
29. J. E. Moreira, S. P. Midkiff, and M. Gupta. A standard Java array package for technical computing. In Proceedings of the Ninth SIAM Conference on Parallel Processing for Scientific Computing, 1999.
30. J. E. Moreira, S. P. Midkiff, and M. Gupta. From flop to megaflops: Java for technical computing. ACM Transactions on Programming Languages and Systems, 22(2):265-295, 2000.
31. J. E. Moreira, S. P. Midkiff, M. Gupta, P. V. Artigas, M. Snir, and R. D. Lawrence. Java programming for high-performance numerical computing. IBM Systems Journal, 39(1):21-56, 2000.
32. J. E. Moreira, S. P. Midkiff, M. Gupta, P. V. Artigas, P. Wu, and G. Almasi. The Ninja project. Communications of the ACM, 44(10):102-109, 2001.
33. G. C. Necula and P. Lee. The design and implementation of a certifying compiler. In Proceedings of the ACM Conference on Programming Language Design and Implementation - PLDI'98, pages 333-344, 1998.
34. M. Paleczny, C. Vick, and C. Click. The Java Hotspot server compiler. In Proceedings of the USENIX Symposium on Java Virtual Machine Research and Technology, 2001.
35. R. Rugina and M. Rinard. Symbolic bounds analysis of pointer, array indices, and accessed memory regions. In Proceedings of the ACM Conference on Programming Language Design and Implementation - PLDI 2000, pages 182-195, 2000.
36. M. J. Serrano, R. Bordawekar, S. P. Midkiff, and M. Gupta. Quicksilver: a quasi-static compiler for Java. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Application - OOPSLA'00, pages 66-82, 2000.
37. T. Suganuma, T. Ogasawara, M. Takeuchi, T. Yasue, M. Kawahito, K. Ishizaki, H. Komatsu, and T. Nakatani. Overview of the IBM Java just-in-time compiler. IBM Systems Journal, 39(1):175-193, 2000.
38. N. Suzuki and K. Ishihata. Implementation of an array bound checker. In Conference Record of the ACM Symposium of Principles of Programming Languages, pages 132-143, 1977.
39. G. K. Thiruvathukal. Java at middle age: Enabling Java for computational science. IEEE Computing in Science and Engineering, 4(1):74-84, 2002.
40. J. Whaley and M. Rinard. Compositional pointer and escape analysis for Java programs. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Application - OOPSLA'99, pages 187-206, 1999.
41. P. Wu, S. P. Midkiff, J. E. Moreira, and M. Gupta. Improving Java performance through semantic inlining. Technical Report 21313, IBM Research Division, 1998.
42. H. Xi and F. Pfenning. Elinating array bound checking through dependent types. In Proceedings of the ACM Conference on Programming Language Design and Implementation - PLDI'98, pages 249-257, 1998.
43. Z. Xu, B. P. Miller, and T. Reps. Safety checking of machine code. In Proceedings of the ACM Conference on Programming Language Design and Implementation - PLDI'00, pages 70-82, 2000.