'C and tcc: A language and compiler for dynamic code generation

ACM Transactions on Programming Languages and Systems

Volumn 21, Issue 2, 1999, Pages 324-369

  Poletto, Massimiliano ^a   Hsieh, Wilson C ^b   Engler, Dawson R ^a   Kaashoek, M Frans ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF UTAH   (United States)

Author keywords

ANSI C; Compilers; Dynamic code generation; Dynamic code optimization

Indexed keywords

DYNAMIC CODE GENERATION; DYNAMIC COMPILATION;

ALGORITHMS; BINARY CODES; COMPUTATIONAL GRAMMARS; PROGRAM COMPILERS;

C (PROGRAMMING LANGUAGE);

EID: 0001379889     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/316686.316697     Document Type: Article

References (41)

1. AUSLANDER, J., PHILIPOSE, M., CHAMBERS, C., EGGERS, S., AND BERSHAD, B. 1996. Fast, effective dynamic compilation. In Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation (Philadelphia). ACM, New York, 149-159.
2. BERSHAD, B. N., SAVAGE, S., PARDYAK, P., SIRER, E. G., FIUCZYNSKI, M., BECKER, D., EGGERS, S., AND CHAMBERS, C. 1995. Extensibility, safety and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (Copper Mountain, CO). ACM, New York, 267-284.
3. BIRRELL, A. D. AND NELSON, B. J. 1984. Implementing remote procedure calls. ACM Trans. Comput. Syst. 2, 1 (Feb.), 39-59.
4. BRIGGS, P. AND HARVEY, T. 1994. Multiplication by integer constants. http://softlib.rice.edu/MSCP.
5. CHAITIN, G. J., AUSLANDER, M. A., CHANDRA, A. K., COCKE, J., HOPKINS, M. E., AND MARKSTEIN, P. W. 1981. Register allocation via coloring. Comput. Lang. 6, 47-57.
6. CHAMBERS, C. AND UNGAR, D. 1989. Customization: Optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language. In Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation (Portland, OR). ACM, New York, 146-160.
7. CLARK, D. D. AND TENNENHOUSE, D. L. 1990. Architectural considerations for a new generation of protocols. In Proceedings of the ACM SIGCOMM '90 Symposium on Communications Architectures and Protocols (Philadelphia). ACM, New York, 200-208.
8. CONSEL, C. AND NOEL, F. 1996. A general approach for run-time specialization and its application to C. In Proceedings of the 23rd Annual Symposium on Principles of Programming Languages (St. Petersburg, FL). ACM, New York, 145-156.
9. DEUTSCH, P. AND SCHIFFMAN, A. 1984. Efficient implementation of the Smalltalk-80 system. In Proceedings of the 11th Annual Symposium on Principles of Programming Languages (Salt Lake City). ACM, New York, 297-302.
10. DRAVES, S. 1995. Lightweight languages for interactive graphics. Tech. Rep. CMU-CS-95-148, Carnegie Mellon University.
11. ENGLER, D. AND PROEBSTING, T. 1994. DCG: An efficient, retargetable dynamic code generation system. In Proceedings of the 6th International Conference on Architectural Support for Programming Languages and Operating Systems (San Jose, CA). ACM, New York, 263-272.
12. ENGLER, D. R. 1996. VCODE: A retargetable, extensible, very fast dynamic code generation system. In Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation (Philadelphia). ACM, New York, 160-170. http://www.pdos.lcs.mit.edu/~engler/ vcode.html.
13. ENGLER, D. R., HSIEH, W. C., AND KAASHOEK, M. F. 1995. 'C: A language for high-level, efficient, and machine-independent dynamic code generation. In Proceedings of the 23rd Annual Symposium on Principles of Programming Languages (St. Petersburg, FL). ACM, New York, 131-144.
14. ENGLER, D. R., KAASHOEK, M. F., AND O'TOOLE JR., J. 1995. Exokernel: An operating system architecture for application-specific resource management. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (Copper Mountain, CO). ACM, New York, 251-266.
15. FORSYTHE, G. E. 1977. Computer Methods for Mathematical Computations. Prentice-Hall, Englewood Cliffs, NJ.
16. FRASER, C. W. 1980. copt. ftp://ftp.cs.princeton.edu/pub/lcc/contrib/copt.shar.
17. FRASER, C. W. AND HANSON, D. R., 1990. A code generation interface for ANSI C. Technical Report CS-TR-270-90, Department of Computer Science, Princeton University.
18. FRASER, C. W. AND HANSON, D. R. 1995. A Retargetable C Compiler: Design and Implementation. Benjamin/Cummings, Redwood City, CA.
19. FRASER, C. W., HENRY, R. R., AND PROEBSTING, T. A. 1992. BURG - fast optimal instruction selection and tree parsing. SIGPLAN Not. 27, 4 (April), 68-76.
20. GRANT, B., MOCK, M., PHILIPOSE, M., CHAMBERS, C., AND EGGERS, S. 1997. Annotation-directed run-time specialization in C. In Symposium on Partial Evaluation and Semantics-Based Program Manipulation (Amsterdam, The Netherlands). ACM, New York, 163-178.
21. HARBISON, S. P. AND STEELE, JR., G. L. 1991. C, A Reference Manual, 3rd ed. Prentice Hall, Englewood Cliffs, NJ.
22. 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 (Orlando, FL). ACM, New York, 326-335.
23. 5 Report on the Algorithmic Language Scheme. http://www-swiss.ai.mit.edu/~jaffer/r5rs_toc.html.
24. KEPPEL, D. 1991. A portable interface for on-the-fly instruction space modification. In Proceedings of the 4th International Conference on Architectural Support for Programming Languages and Operating Systems (Santa Clara, CA). ACM, New York, 86-95.
25. KEPPEL, D., EGGERS, S., AND HENRY, R. 1991. A case for runtime code generation. Tech. Rep. 91-11-04, University of Washington.
26. KEPPEL, D., EGGERS, S., AND HENRY, R. 1993. Evaluating runtime-compiled value-specific optimizations. Tech. Rep. 93-11-02, Department of Computer Science and Engineering, University of Washington.
27. LEONE, M. AND DYBVIG, R. K. 1997. Dynamo: A staged compiler architecture for dynamic program optimization. Tech. Rep. 490, Indiana University Computer Science Department.
28. LEONE, M. AND LEE, P. 1996. Optimizing ML with run-time code generation. In Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation (Philadelphia). ACM, New York, 137-148.
29. OUSTERHOUT, J. 1994. Tcl and the Tk Toolkit. Addison-Wesley Professional Computing Series. Addison-Wesley, Reading, MA.
30. PIKE, R., LOCANTHI, B., AND REISER, J. 1985. Hardware/software trade-offs for bitmap graphics on the Blit. Softw. Pract. Exper. 15, 2 (Feb.), 131-151.
31. POLETTO, M., ENGLER, D. R., AND KAASHOEK, M. F. 1997. tcc: A system for fast, flexible, and high-level dynamic code generation. In Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (Las Vegas, NV). ACM, New York, 109-121.
32. POLETTO, M. AND SARKAR, V. 1998. Linear scan register allocation. ACM Trans. Program. Lang. Syst. (To appear).
33. PRESS, W. H., TEUKOLSKY, S. A., VETTERLING, W. T., AND FLANNERY, B. P. 1992. Numerical Recipes in C, 2nd ed. Cambridge University Press, Cambridge, UK.
34. PU, C., AUTRY, T., BLACK, A., CONSEL, C., COWAN, C., INOUYE, J., KETHANA, L., WALPOLE, J., AND ZHANG, K. 1995. Optimistic incremental specialization: Streamlining a commerical operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (Copper Mountain, CO). ACM, New York.
35. PU, C., MASSALIN, H., AND IOANNIDIS, J. 1988. The Synthesis kernel. Comput. Syst. 1, 1, 11-32.
36. SPARC International 1994. SPARC Architecture Manual Version 9. SPARC International, Englewood Cliffs, New Jersey.
37. STEELE, JR., G. L. 1990. Common LISP, 2nd ed. Digital Press, Burlington, MA.
38. THEKKATH, C. A. AND LEVY, H. M. 1993. Limits to low-latency communication on high-speed networks. ACM Trans. Comput. Syst. 11, 2 (May), 179-203.
39. VEENSTRA, J. AND FOWLER, R. 1994. MINT: A front end for efficient simulation of shared-memory multiprocessors. In Proceedings of the 2nd International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'94) (Durham, NC). ACM, New York.
40. WALL, L., CHRISTIANSEN, T., AND SCHWARTZ, R. 1996. Programming Perl. O'Reilly, Sebastopol, CA.
41. WITCHEL, E. AND ROSENBLUM, M. 1996. Embra: Fast and flexible machine simulation. In Proceedings of ACM SIGMETRICS '96 Conference on Measurement and Modeling of Computer Systems (Philadelphia). ACM, New York, 68-79.