Reconciling Responsiveness with Performance in Pure Object-Oriented Languages

ACM Transactions on Programming Languages and Systems

Volumn 18, Issue 4, 1996, Pages 355-400

  Hölzle, Urs ^a,c   Ungar, David ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b SUN MICROSYSTEMS   (United States)

^c University of California   (United States)

Author keywords

D.1.5 Programming Languages : Object Oriented Programming SELF; D.2.6 Programming Languages : Programming Environments interactive programming environments; Exploratory programming environments

Indexed keywords

FEEDBACK; INTERACTIVE COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; OPTIMIZATION; PERFORMANCE; PROGRAM COMPILERS; PROGRAM INTERPRETERS; RAPID PROTOTYPING;

ADAPTIVE OPTIMIZATION; DYNAMICALLY DISPATCHED CALLS; INTERPROCEDURAL OPTIMIZATION; OBJECT ORIENTED LANGUAGES; PAUSE CLUSTERING; PROFILE BASED OPTIMIZATION; RUN TIME COMPILATION; TYPE FEEDBACK;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0030195171     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/233561.233562     Document Type: Article

References (47)

1. AGESEN, O. AND HÖLZLE, U. 1995. Type feedback vs. concrete type inference: A comparison of optimization techniques for object-oriented languages. In Proceedings of OOPSLA '95 Conference. ACM, New York, 91-107.
2. AGESEN, O., PALSBERG, J., AND SCHWARTZBACH, M. 1993. Type inference of SELF: Analysis of objects with dynamic and multiple inheritance. In Proceedings of ECOOP '93 Conference. Lecture Notes in Computer Science, vol. 707. Springer-Verlag, Berlin, 247-267.
3. AIGNER, G. AND HÖLZLE, U. 1995. Eliminating virtual function calls in C++ programs. Tech. Rep. TRCS 95-22, Dept. of Computer Science, Univ. of California, Santa Barbara, Calif.
4. APPLE. 1988. Object Pascal User's Manual. Apple Computer, Inc., Cupertino, Calif.
5. CHAMBERS, C. 1992. The design and implementation of the SELF compiler, an optimizing compiler for object-oriented programming languages. Ph.D. thesis, Stanford Univ., Stanford, Calif. Apr.
6. CHAMBERS, C. 1993. The Cecil language - Specification and rationale. Tech. Rep. UW CS TR 93-03-05, Dept. of Computer Science, Univ. of Washington, Seattle, Wash.
7. CHAMBERS, C. AND UNGAR, D. 1991. Making pure object-oriented languages practical. In Proceedings of OOPSLA '91 Conference. ACM, New York, 1-15.
8. CHAMBERS, C., UNGAR, D., AND LEE, E. 1989. An efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypes. In Proceedings of OOPSLA '89 Conference. ACM, New York, 29-70.
9. CHANG, B. AND UNGAR, D. 1993. Animation: From cartoons to the user interface. In Proceedings of the 6th Annual ACM Symposium on User Interface Software and Technology. ACM, New York, 45-55.
10. CHANG, P., MAHLKE, S., CHEN, W., AND HWU, W.-M. 1992. Profile-guided automatic inline expansion for C programs. Softw. Pract. Exper. 22, 5, 349-369.
11. CMELIK, R. AND KEPPEL, D. 1993. Shade: A fast instruction-set simulator for execution profiling. Tech. Rep. SMLI TR-93-12, Sun Microsystems Laboratories, Mountain View, Calif.
12. COOPER, K., HALL, M., AND TORCZON, L. 1991. An experiment with inline substitution. Softw. Pract. Exper. 21, 6, 581-601.
13. DAVIDSON, J. AND HOLLER, A. 1988. A study of a C function inliner. Softw. Pract. Exper. 18, 8, 775-790.
14. DEAN, J. AND CHAMBERS, C. 1994. Towards better inlining decisions using inlining trials. In the 1994 Conference on Lisp and Functional Programming. 273-282.
15. DEAN, J., GROVE, G., AND CHAMBERS, C. 1995. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of ECOOP '95 Conference. Lecture Notes in Computer Science, vol. 952. Springer-Verlag, Berlin.
16. DEUTSCH, L. P. 1983. The Dorado Smalltalk-80 implementation: Hardware architecture's impact on software architecture. In Smalltalk-80: Bits of History and Words of Advice, G. Krasner, Ed. Addison-Wesley, Reading, Mass.
17. DEUTSCH, L. P. AND SCHIFFMAN, A. 1984. Efficient implementation of the Smalltalk-80 system. In Proceedings of the 11th Symposium on the Principles of Programming Languages. ACM, New York, 297-302.
18. DIWAN, A., TARDITI, D., AND MOSS, E. B. 1995. Memory subsystem performance of programs with intensive heap allocation. ACM Trans. Comput. Syst. 13, 3 (Aug.), 244-273.
19. FERNANDEZ, M. 1995. Simple and effective link-time optimization of Modula-3 programs. In Proceedings of the SIGPLAN '95 Conference on Programming Language Design and Implementation. ACM, New York, 103-115.
20. GRAHAM, S. L., KESSLER, P. B., AND MCKUSICK, M. K. 1983. An execution profiler for modular programs. Softw. Pract. Exper. 13, 671-685.
21. GROVE, D., DEAN, J., GARRETT, C., AND CHAMBERS, C. 1995. Profile-guided receiver class prediction. In Proceedings of the OOPSLA '95 Conference. ACM, New York, 108-123.
22. GUIBAS, L. AND WYATT, D. 1978. Compilation and delayed evaluation in APL. In the 5th Annual ACM Symposium on Principles of Programming Languages. ACM, New York, 1-8.
23. HALL, M. W. 1991. Managing interprocedural optimization. Ph.D. thesis, Tech. Rep. COMP TR91-157, Computer Science Dept., Rice Univ., Houston, Tex. Apr.
24. HANSEN, G. 1974. Adaptive systems for the dynamic run-time optimization of programs. Ph.D. thesis, Carnegie-Mellon Univ., Pittsburgh, Pa.
25. HILL, M. D. 1987. Aspects of cache memory and instruction buffer performance. Tech. Rep. UCB/CSD 87/381, Computer Science Division, Univ. of California, Berkeley, Calif. Nov.
26. HÖLZLE, U. 1994. Adaptive optimization in SELF: Reconciling high performance with exploratory programming. Ph.D. thesis, Dept. of Computer Science, Stanford Univ., Stanford, Calif. Also published as Sun Microsystems Laboratories Tech. Rep. 95-35, 1995.
27. HÖLZLE, U. AND AGESEN, O. 1994. Dynamic vs. static optimization techniques for object-oriented languages. Theor. Prac. Obj. Syst. 1, 3.
28. HÖLZLE, U. AND UNGAR, D. 1994. Optimizing dynamically-dispatched calls with run-time type feedback. In Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation. ACM, New York, 326-336.
29. HÖLZLE, U., CHAMBERS, C., AND UNGAR, D. 1991. Optimizing dynamically-typed object-oriented languages with polymorphic inline caches. In Proceedings of the ECOOP '91 Conference. Lecture Notes in Computer Science, vol. 512. Springer-Verlag, Berlin.
30. HÖLZLE, U., CHAMBERS, C., AND UNGAR, D. 1992. Debugging optimized code with dynamic deoptimization. In Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation. ACM, New York, 32-43.
31. HWU, W. W. AND CHANG, P. P. 1989. Inline function expansion for compiling C programs. In Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation. ACM, New York, 246-257.
32. IRLAM, G. 1991. SPA - SPARC analyzer tool set. Available via ftp from cs.adelaide.edu.au.
33. ISE. 1993. ISE Eiffel 3.0. Software. ISE, Inc., Santa Barbara, Calif.
34. JOHNSTON, R. L. 1979. The dynamic incremental compiler of APL\3000. In Proceedings of the APL '79 Conference. Published as APL Quote Quad 9, 4, 82-87.
35. KOOPMAN, P., LEE, P., AND SIEWIOREK, D. 1992. Cache behavior of combinator graph reduction. ACM Trans. Program. Lang. Syst. 14, 2, 265-297.
36. MITCHELL, J. G. 1970. Design and construction of flexible and efficient interactive programming systems. Ph.D. thesis, Carnegie-Mellon Univ., Pittsburgh, Pa.
37. PANDE, H. AND RYDER, B. 1994. Static type determination for C++. Tech. Rep. LCSR-TR-197a, Rutgers Univ., Piscataway, N.J.
38. PARCPLACE. 1992. VisualWorks 1.0 Smalltalk System. Software. ParcPlace Systems, Sunnyvale, Calif.
39. PLEVYAK, J. AND CHIEN, A. 1994. Precise concrete type inference for object-oriented languages. In Proceedings of the OOPSLA '94 Conference ACM, New York, 324-340.
40. REINHOLD, M. 1993. Cache performance of garbage-collected programming languages. Ph.D. thesis, Tech. Rep. MIT/LCS/TR-581, Massachusetts Institute of Technology, Cambridge, Mass. Sept.
41. SILICON GRAPHICS. 1993. SGI Delta C++ programming environment. Silicon Graphics, Inc., Mountain View, Calif. Software.
42. SANNELLA, M., MALONEY, J., FREEMAN-BENSON, B., AND BORNING, A. 1993. Multi-way versus one-way constraints in user interfaces: Experience with the DeltaBlue algorithm. Softw. Pract. Exper. 23 5, 529-566.
43. SRIVASTAVA, A. AND WALL, D. 1992. A practical system for intermodule code optimization at link-time. DEC WRL Res. Rep. 92/6, Digital Equipment Corp., Palo Alto, Calif.
44. UNGAR, D. AND SMITH, R. 1987. SELF: The power of simplicity. In Proceedings of the OOPSLA '87 Conference. ACM, New York, 227-241.
45. VAN DYKE, E. 1977. A dynamic incremental compiler for an interpretative language. HP J. 28, 3 (July), 17-24.
46. WILSON, P. AND MOHER, T. 1989. Design of the opportunistic garbage collector. In Proceedings of the OOPSLA '89 Conference. ACM, New York, 23-35.
47. WALL, D. 1991. Predicting program behavior using real or estimated profiles. In Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation. ACM, New York, 59-70.