The Benefits and Costs of DyC's Run-Time Optimizations

ACM Transactions on Programming Languages and Systems

Volumn 22, Issue 5, 2000, Pages 932-972

  Grant, Brian ^a,b   Mock, Markus ^a,b   Philipose, Matthai ^a,b   Chambers, Craig ^a,b   Eggers, Susan J ^a,b  

^a UNIVERSITY OF WASHINGTON   (United States)

^b University of Washington   (United States)

Author keywords

D.3.4 Programming Languages : Processors compilers; Dynamic compilation; Optimization; Performance; Specialization

Indexed keywords

EID: 0003289590     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/365151.367161     Document Type: Article

References (35)

1. AUSLANDER, J., PHILIPOSE, M., CHAMBERS, C., EGGERS, S. J., AND BERSHAD, B. 1996. Fast, effective dynamic compilation. In Conference on Programming Language Design and Implementation, May, 149-159.
2. BRIGGS, P., AND COOPER, K. D. 1994. Effective partial dead code elimination. In Conference on Programming Language Design and Implementation, June, 159-170.
3. CALDER, B., FELLER, P., AND EUSTACE, A. 1997. Value profiling. In International Symposium on Microarchitecture, Dec., 259-269.
4. CALDER, B., FELLER, P., AND EUSTACE, A. 1999. Value profiling and optimization. Journal of Instruction Level Parallelism 1, March, 1-37.
5. CHAMBERS, C., AND CHEN, W. 1999. Efficient multiple and predicate dispatching. In OOPSLA '99, Nov., 238-255.
6. CHAMBERS, C., AND UNGAR, D. 1989. Customization: Optimizing compiler technology for self, a dynamically-typed object-oriented programming language. In Conference on Programming Language Design and Implementation, July, 146-160.
7. CHAMBERS, C., AND UNGAR, D. 1991. Making pure object-oriented languages practical. In OOPSLA '91, Nov., 1-15.
8. CONSEL, C., AND NOËL, F. 1996. A general approach for run-time specialization and its application to C. In Symposium on Principles of Programming Languages, Jan., 145-156.
9. CORMEN, T. H., LEISERSON, C. E., AND RIVEST, R. L. 1990. Introduction to Algorithms. MIT Press/McGraw-Hill.
10. CYTRON, R., FERRANTE, J., ROSEN, B. K., WEGMAN, M. N., AND ZADECK, F. K. 1989. An efficient method of computing static single assignment form. In Symposium on Principles of Programming Languages, Jan., 25-35.
11. DEUTSCH, L. P., AND SCHIFFMAN, A. M. 1984. Efficient implementation of the Smalltalk-80 system. In Symposium on Principles of Programming Languages, Jan., 297-302.
12. DUSSUD, P. H. 1989. TICLOS: An implementation of CLOS for the explorer family. In OOPSLA '89, Oct., 215-220.
13. EGGERS, S. J., EMER, J. S., LEVY, H. M., LO, J. L., STAMM, R. L., AND TULLSEN, D. M. 1997. Simultaneous multithreading: a foundation for next-generation processors. IEEE Micro 17, (5), 12-19.
14. ENGLER, D. R., HSIEH, W. C., AND KAASHOEK, M. F. 1996. C: A language for high-level, efficient, and machine-independent dynamic code generation. In Symposium on Principles of Programming Languages, Jan., 131-144.
15. GRANT, B. 2001. Benefits and Costs of Staged, Run-Time Specialization. Ph.D. Thesis, University of Washington.
16. GRANT, B., MOCK, M., PHILIPOSE, M., CHAMBERS, C., AND EGGERS, S. J. 1997. Annotation-directed run-time specialization in C. In Symposium on Partial Evaluation and Semantics-Based Program Manipulation, June, 163-178.
17. GRANT, B., PHILIPOSE, M., MOCK, M., CHAMBERS, C., AND EGGERS, S. J. 1999. An evaluation of staged, run-time optimizations in DyC. In Conference on Programming Language Design and Implementation, May, 293-304.
18. GRANT, B., MOCK, M., PHILIPOSE, M., CHAMBERS, C., AND EGGERS, S. J. 2000. DyC: An expressive annotation-directed dynamic compiler for C. Theoret. Comput. Sci. 248, 2, 147-199.
19. HILL, M. D., AND SMITH, A. J. 1984. Experimental evaluation of on-chip microprocessor cache memories. In International Symposium of Computer Architecture, June, 158-166.
20. HÖLZLE, U. 1993. Integrating independently-developed components in object-oriented languages. In ECOOP '93, Lecture Notes in Computer Science 707, July, 36-56. Springer-Verlag.
21. HÖLZLE, U., AND UNGAR, D. 1994. Optimizing dynamically-dispatched calls with run-time type feedback. In Conference on Programming Language Design and Implementation, June, 326-336.
22. HÖLZLE, U., AND UNGAR, D. 1996. Reconciling responsiveness with performance in pure object-oriented languages. Transactions on Programming Languages and Systems 18, (4), 355-400.
23. HORNOF, L., NOYÉ, J., AND CONSEL, C. 1997. Effective specialization of realistic programs via use sensitivity. In International Symposium on Static Analysis, Lecture Notes in Computer Science 1302, Sep., 293-314. Springer-Verlag.
24. JONES, N. D., GOMARDE, C. K., AND SESTOFT, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice Hall.
25. KEPPEL, D. 1996. Runtime Code Generation. Ph.D. Thesis, University of Washington.
26. LEONE, M., AND LEE, P. 1995. Optimizing ML with Run-Time Code Generation. Technical report CMU-CS-95-205, Carnegie Mellon University.
27. LEONE, M., AND LEE, P. 1998. Dynamic specialization in the Fabius system. Computing Surveys 30, (3es) 23-es.
28. LOWNEY, P. G., FREUDENBERGER, S. M., KARZES, T. J., LICHTENSTEIN, W. D., NIX, R. P., O'DONNELL, J. S., AND RUTTENBERG, J. C. 1993. The Multiflow trace scheduling compiler. Journal of Supercomputing, 1-2, 51-142.
29. MOCK, M., BERRYMAN, M., CHAMBERS, C., AND EGGERS, S. J. 1999. Calpa: a tool for automating dynamic compilation. In Workshop on Feedback-Directed Optimization, Nov.
30. NOËL, F., HORNOF, L., CONSEL, C., AND LAWALL, J. L. 1998. Automatic, template-based run-time specialization: Implementation and experimental study. In International Conference on Computer Languages, May, 132-142.
31. POLETTO, M., ENGLER, D. R., AND KAASHOEK, M. F. 1997. cc: A system for fast, flexible, and high-level dynamic code generation. In Conference on Programming Language Design and Implementation, June, 109-121.
32. POLETTO, M., ENGLER, D. R., HSIEH, W. C., AND KAASHOEK, M. E. 1999. 'C and tcc: A language and compiler for dynamic code generation. ACM Transactions on Programming Languages and Systems 21, (2), 324-369.
33. SIRER, E. G. 1993. Measuring Limits of Fine-Grain Parallelism. Princeton University Senior Project, June.
34. SPEC CPU. 1995. http://www.specbench.org.
35. TULLSEN, D. M., EGGERS, S. J., EMER, J. S., LEVY, H. M., LO, J. L., AND STAMM, R. L. 1996. Exploiting choice: Instruction fetch and issue on an implementable simulataneous multithreading processor. In Proceedings of the 23th Annual International Symposium on Computer Architecture, May.