An automatic object inlining optimization and its evaluation

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 35, Issue 5, 2000, Pages 345-357

  Dolby, Julian ^a,c   Chien, Andrew A ^b  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144364329     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/358438.349344     Document Type: Review

References (44)

1. O. Agesen, J. Palsberg, and M. Schwartzbach. Type inference of SELF: Analysis of objects with dynamic and multiple inheritance. In Proceedings of ECOOP '93, 1993.
2. J. M. Anderson, S. P. Amarasinghe, and M. S. Lam. Data and computation transformations for multiprocessors. In Proceedings of Fifth Symposium on Principles and Practice of Parallel Programming, 1995.
3. A. Ayers, R. Gottlieb, and R. Schooler. Aggressive inlining. In Proceedings of the 1997 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 134-145, Las Vegas, Nevada, June 1997.
4. H. Baker. The Treadmill: Real-time garbage collection without motion sickness. ACM SIGPLAN Notices, 27(3):66-70, March 1992.
5. T. Ball. What's in a region? computing control dependence regions in linear time and space. Technical report, University of Wisconsin-Madison, 1992.
6. A. Black, N. Hutchinson, E. Jul, and H. Levy. Object structure in the emerald system. In Proceedings of OOPSLA '86, pages 78-86. ACM, September 1986.
7. B. Blanchett. Escape analysis correctness proof, implementation and experimental results. In Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 25-37, San Diego, CA, January 1998.
8. Z. Budimlic and K. Kennedy. Optimizing Java: Theory and practice. Concurrency: Practice and Experience, 9(6), June 1997.
9. C. Chambers and D. Ungar. Iterative type analysis and extended message splitting. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 150-60, 1990.
10. A. Chien, J. Dolby, B. Ganguly, V. Karamcheti, and X. Zhang. Supporting high level programming with high performance: The Illinois Concert system. In Proceedings of the Second International Workshop on High-level Parallel Programming Models and Supportive Environments, pages 15-24, April 1997.
11. A. A. Chien, U. S. Reddy, J. Plevyak, and J. Dolby. ICC++ - a C++ dialect for high-performance parallel computation. In Proceedings of the 2nd International Symposium on Object Technologies for Advanced Software, pages 76-95, March 1996.
12. T. M. Chilimbi, B. Davidson, and J. R. Larus. Cache-conscious structure definition. In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation, Atlanta, Georgia, May 1999.
13. T. M. Chilimbi, M. D. Hill, and J. R. Larus. Cache-conscious structure layout. In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation, Atlanta, Georgia, May 1999.
14. J.-D. Choi, M. Burke, and P. Carini. Efficient flow-sensative interprocedural computation of pointer-induced aliases and side effects. In Twentieth Symposium on Principles of Programming Languages, pages 232-245. ACM SIGPLAN, 1993.
15. R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and F. Zadeck. An efficient method of computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451-490, October 1991.
16. J. Dean, C. Chambers, and D. Grove. Selective specialization for object-oriented languages. In Proceedings of the ACM SIGPLAN '95 Conference on Programmin g Language Design and Implementation, pages 93-102, La Jolla, CA, June 1995.
17. A. Deutsch. Interprocedural may-alias analysis for pointers: Beyond k-limiting. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 230-241, 1994.
18. A. Diwan, K. S. McKinley, and J. E. B. Moss. Type-based alias analysis. In Proceedings of the 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 106-117, Montreal, Canada, June 1998.
19. J. Dolby. Automatic inline allocation of objects. In Proceedings of the 1997 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 7-17, Las Vegas, Nevada, June 1997.
20. J. Dolby and A. A. Chien. An evaluation of automatic object inline allocation techniques. In Proceedings of the Thirteenth Annual Conference on Object-Oriented Programming Languages, Systems and Applications (OOPSLA), Vancouver, British Columbia, October 1998. Available at http://www-csag.cs.uiuc.edu/papers/ oopsla-98.ps.
21. J. R. Ellis and D. L. Detlefs. Safe, efficient garbage collection for c++. Technical report, Xerox Palo Alto Research Center, June 1993.
22. M. A. Ellis and B. Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, 1990.
23. R. Ghiya and L. J. Hendren. Connection analysis: A practical interprocedural heap analysis for C. In Proceedings of the Workshop for Languages and Compilers for Parallel Computing, 1995.
24. K. E. Gorlen, S. M. Orlow, and P. S. Plexico. Data Abstraction and Object-Oriented Programming in C++. John Wiley and Sons, 1991.
25. C. Hall, S. L. Peyton-Jones, and P. M. Sansom. Functional Programming, Glasgow 1994, chapter Unboxing Using Specialization. Workshops in Computing Science. Springer-Verlag, 1995.
26. M. W. Hall. Managing Interprocedural Optimization. PhD thesis, Rice University, 1991.
27. G. Hamilton, editor. JavaBeans 1.01 Specification. Sun Microsystems, Mountain View, CA, 1997. published online at http://www.javasoft.com/beans/ docs/beans.101.ps.
28. U. Hölzle, C. Chambers, and D. Ungar. Optimizing dynamically-typed object-oriented languages with polymorphic inline caches. In ECOOP'91 Conference Proceedings. Springer-Verlag, 1991. Lecture Notes in Computer Science 512.
29. U. Hölzle and D. Ungar. Optimizing dynamically-dispatched calls with run-time type feedback. In Proceedings of the 1993 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 326-336, June 1994.
30. W. Landi and B. Ryder. A safe approximate algorithm for interprocedural pointer aliasing. In ACM SIGPLAN Symposium on Programming Language Design and Implementation, pages 235-249, 1992.
31. J. Palsberg and M. Schwartzbach. Object-oriented type inference. In Proceedings of OOPSLA '91, pages 146-61, 1991.
32. H. D. Pande and B. G. Ryder. Static type determination and aliasing in c++. Technical Report LCSR-TR-250, Laboratory of Computer Science Research, July 1995.
33. J. Philbin, J. Edler, O. J. Anshus, C. C. Douglas, and K. Li. Thread scheduling for cache locality. In Proceedings of the Seventh Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VII), pages 60-71, 1996.
34. J. Plevyak. Optimization of Object-Oriented and Concurrent Programs. PhD thesis, University of Illinois at Urbana-Champaign, Urbana, Illinois, 1996.
35. J. Plevyak and A. A. Chien. Precise concrete type inference of object-oriented programs. In Proceedings of OOPSLA '94, Object-Oriented Programming Systems, Languages and Architectures, pages 324-340, 1994.
36. J. Plevyak and A. A. Chien. Type directed cloning for object-oriented programs. In Proceedings of the Workshop for Languages and Compilers for Parallel Computing, pages 566-580, 1995.
37. E. Ruf. Context-insensitive alias analysis reconsidered. In Proceedings of the 1995 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 13-22, June 1995.
38. Z. Shao, J. H. Reppy, and A. W. Appel. Unrolling lists. In ACM Conference on Lisp and Functional Programming, June 1994.
39. A. A. Stepanov and M. Lee. The standard template library. ISO programming language C++ project. Technical Report X3J16/94-0095, WG21/NO482, Hewlett-Packard, May 1994.
40. D. Stoutamire and S. Omohundro. Sather 1.1, draft. Available online from http:// www.icsi.berkeley.edu/s̃ather/Sather-1.1.ps, August 1995.
41. Sun Microsystems Computer Corporation. The Java Language Specification, March 1995. Available at http://java.sun.com/1.0alpha2/doc/java-whitepaper.ps.
42. M. Tofte and L. Birkedal. A region inference algorithm. Transactions on Programming Languages and Systems (TOPLAS), 20(4):734-767, July 1998.
43. N. Wirth and J. Gutknecht. Project Oberon: The Design of an Operating System and Compiler. Addison Wesley, 1992.
44. M. E. Wolf and M. S. Lam. A data locality optimizing algorithm. In Proceedings of the 1991 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1991.