A Brief History of Just-In-Time

ACM Computing Surveys

Volumn 35, Issue 2, 2003, Pages 97-113

  Aycock, John ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Dynamic compilation; Just in time compilation

Indexed keywords

BINARY CODES; CACHE MEMORY; COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; PROBLEM SOLVING; REDUCED INSTRUCTION SET COMPUTING; USER INTERFACES;

COMPLEX INSTRUCTION SET COMPUTER (CISC); JUST-IN-TIME (JIT) COMPILATION;

PROGRAM COMPILERS;

EID: 0345565890     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/857076.857077     Document Type: Article

References (114)

1. ABRAMS, P. S. 1970. An APL machine. Ph.D. dissertation. Stanford University, Stanford, CA. Also, Stanford Linear Accelerator Center (SLAC) Rep. 114.
2. ADL-TABATABAI, A.-R., CIERNIAK, M., LUEH, G.-Y., PARIKH, V. M., AND STICHNOTH, J. M. 1998. Fast, effective code generation in a just-in-time Java compiler. In PLDI'98. 280-290.
3. AGESEN, O. 1996. Concrete type inference: Delivering object-oriented applications. Ph.D. dissertation. Stanford University, Stanford, CA. Also Tech. Rep. SMLI TR-96-52, Sun Microsystems, Santa Clara, CA (Jan. 1996).
4. AGESEN, O. 1997. Design and implementation of Pep, a Java just-in-time translator. Theor. Prac. Obj. Syst. 3, 2, 127-155.
5. 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. 91-107.
6. ALTMAN, B., GSCHWIND, M., SATHAYE, S., KOSONOCKY, S., BRIGHT, A., FRITTS, J., LEDAK, P., APPENZELLER, D., AGRICOLA, C., AND FILAN, Z. 2000a. BOA: The architecture of a binary translation processor. Tech. Rep. RC 21665, IBM Research Division, Yorktown Heights, NY.
7. ALTMAN, E. R., KAELI, D., AND SHEFFER, Y. 2000b. Welcome to the opportunities of binary translation. IEEE Comput. 33, 3 (March), 40-45.
8. ARMSTRONG, J. 1997. The development of Erlang. In Proceedings of ICFP '97 (1997). 196-203.
9. AUSLANDER, J., PHILIPOSE, M., CHAMBERS, C., EGGERS, S. J., AND BERSHAD, B. N. 1996. Fast, effective dynamic compilation. In Proceedings of PLDI '96. 149-159.
10. AZEVEDO, A., NICOLAU, A., AND HUMMEL, J. 1999. Java annotation-aware just-in-time (AJIT) compilation system. In Proceedings of JAVA '99. 142-151.
11. BALA, V., DUESTERWALD, E., AND BANERJIA, S. 1999. Transparent dynamic optimization. Tech. Rep. HPL-1999-77, Hewlett-Packard, Polo Alto, CA.
12. BARTLETT, J. 1992. Familiar Quotations (16th ed.). J. Kaplan, Ed. Little, Brown and Company, Boston, MA.
13. BELL, J. R. 1973. Threaded code. Commun. ACM 16, 6 (June), 370-372.
14. BENTLEY, J. 1988. Little languages. In More Programming Pearls. Addison-Wesley, Reading, MA, 83-100.
15. BIK, A. J. C., GIRKAR, M., AND HAGHIGHAT, M. R. 1999. Experiences with Java JIT optimization. In Innovative Architecture for Future Generation High-Performance Processors and Systems. IEEE Computer Society Press, Los Alamitos, CA, 87-94.
16. BROWN, P. J. 1976. Throw-away compiling. Softw. - Pract. Exp. 6, 423-434.
17. BROWN, P. J. 1990. Writing Interactive Compilers and Interpreters. Wiley, New York, NY.
18. BURGER, R. G. 1997. Efficient compilation and profile-driven dynamic recompilation in scheme. Ph.D. dissertation, Indiana University, Bloomington, IN.
19. BURKE, M. G., CHOI, J.-D., PINK, S., GROVE, D., HIND, M., SARKAR, V., SERRANO, M. J., SREEDHAR, V. C., AND SRINIVASAN, H. 1999. The Jalapeño dynamic optimizing compiler for Java. In Proceedings of JAVA '99. 129-141.
20. CARDELLI, L. 1984. Compiling a functional language. In 1984 Symposium on Lisp and Functional Programming. 208-217.
21. CHAMBERS, C. 1992. The design and implementation of the self compiler, an optimizing compiler for object-oriented programming languages. Ph.D. dissertation. Stanford University, Stanford, CA.
22. CHAMBERS, C. AND UNGAR, D. 1989. Customization: optimizing compiler technology for Self, a dynamically-typed object-oriented programming language. In Proceedings of PLDI '89. 146-160.
23. CHAMBERS, C. AND UNGAR, D. 1990. Iterative type analysis and extended message splitting: Optimizing dynamically-typed object-oriented programs. In Proceedings of PLDI '90. 150-164.
24. CHAMBERS, C. AND UNGAR, D. 1991. Making pure object-oriented languages practical. In Proceedings of OOPSLA '91. 1-15.
25. CHAMBERS, C., UNGAR, D., AND LEE, E. 1989. An efficient implementation of Self, a dynamically-typed object-oriented programming language based on prototypes. In Proceedings of OOPSLA '89. 49-70.
26. CHEN, W.-K., LERNER, S., CHAIKEN, R., AND GILLIES, D. M. 2000. Mojo: a dynamic optimization system. In Proceedings of the Third ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3, Dec. 2000).
27. CIERNIAK, M. AND LI, W. 1997. Briki: an optimizing Java compiler. In Proceedings of IEEE COMPCON'97. 179-184.
28. CMELIK, B. AND KEPPEL, D. 1994. Shade: A fast instruction-set simulator for execution profiling. In Proceedings of the 1994 Conference on Measurement and Modeling of Computer Systems. 128-137.
29. CONSEL, C., HORNOF, L., MARLET, R., MULLER, G., THIBAULT, S., VOLANSCHI, E.-N., LAWALL, J., AND NOYÉ, J. 1998. Tempo: Specializing systems applications and beyond. ACM Comput. Surv. 30, 3 (Sept.), 5pp.
30. CONSEL, C. AND NOËL, F. 1996. A general approach for run-time specialization and its application to C. In Proceedings of POPL '96. 145-156.
31. CRAMER, T., FRIEDMAN, R., MILLER, T., SEBERGER, D., WILSON, R., AND WOLCZKO, M. 1997. Compiling Java just in time. IEEE Micro 17, 3 (May/June), 36-43.
32. DAKIN, R. J. AND POOLE, P. C. 1973. A mixed code approach. The Comput. J. 16, 3, 219-222.
33. DAWSON, J. L. 1973. Combining interpretive code with machine code. The Comput. J. 16, 3, 216-219.
34. DEAVER, D., GORTON, R., AND RUBIN, N. 1999. Wiggins/Redstone: An on-line program specializer. In Proceedings of the IEEE Hot Chips XI Conference (Aug. 1999). IEEE Computer Society Press, Los, Alamitos, CA.
35. DEUTSCH, L. P. AND SCHIFFMAN, A. M. 1984. Efficient implementation of the Smalltalk-80 system. In Proceedings of POPL '84. 297-302.
36. DIECKMANN, S. AND HÖLZLE, U. 1997. The space overhead of customization. Tech. Rep. TRCS 97-21. University of California, Santa Barbara, Santa Barbara, CA.
37. EBCIOǦLU, K. AND ALTMAN, E. R. 1996. DAISY: Dynamic compilation for 100% architectural compatibility. Tech. Rep. RC 20538. IBM Research Division, Yorktown Heights, NY.
38. EBCIOǦLU, K. AND ALTMAN, E. R. 1997. Daisy: Dynamic compilation for 100% architectural compatibility. In Proceedings of ISCA '97. 26-37.
39. ENGLER, D. R. 1996. VCODE: a retargetable, extensible, very fast dynamic code generation system. In. Proceedings of PLDI'96. 160-170.
40. ENGLER, D. R. AND HSIEH, W. C. 2000. DERIVE: A tool that automatically reverse-engineers instruction encodings. In Proceedings of the ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo '00). 12-22.
41. 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 Proceedings of POPL '96. 131-144.
42. ENGLER, D. R. AND PROEBSTING, T. A. 1994. DCG: An efficient, retargetable dynamic code generation system. In Proceedings of ASPLOS VI. 263-272.
43. FRANZ, M. 1994. Code-generation on-the-fly: A key to portable software. Ph.D. dissertation. ETH Zurich, Zurich, Switzerland.
44. FRANZ, M. AND KISTLER, T. 1997. Slim binaries. Commun. ACM 40, 12 (Dec.), 87-94.
45. FRASER, C. W. AND PROEBSTING, T. A. 1999. Finite-state code generation. In Proceedings of PLDI '99. 270-280.
46. GABRIEL, R. P. AND MASINTER, L. M. 1985. Performance and Evaluation of Lisp Systems. MIT Press, Cambridge, MA.
47. GEPPERT, L. AND PERRY, T. S. 2000. Transmeta's magic show. IEEE Spectr. 37, 5 (May), 26-33.
48. GOLDBERG, A. AND ROBSON, D. 1985. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, MA.
49. GORTON, R. 2001. Private communication.
50. GOSLING, J. 2001. Private communication.
51. GSCHWIND, M., ALTMAN, B. R., SATHAYE, S., LEDAK, P., AND APPENZELLER, D. 2000. Dynamic and transparent binary translation. IEEE Comput. 33, 3, 54-59.
52. HAMMOND, J. 1977. BASIC - an evaluation of processing methods and a study of some programs. Softw. - Pract. Exp. 7, 697-711.
53. HANSEN, G. J. 1974. Adaptive systems for the dynamic run-time optimization of programs. Ph.D. dissertation. Carnegie-Mellon University, Pittsburgh, PA.
54. HAYGOOD, R. C. 1994. Native code compilation in SICStus Prolog. In Proceedings of the Eleventh International Conference on Logic Programming. 190-204.
55. HENNESSY, J. L. AND PATTERSON, D. A. 1996. Computer Architecture: A Quantitative Approach, 2nd ed. Morgan Kaufmann, San Francisco, CA.
56. HÖLZLE, U. 1994. Adaptive optimization for Self: Reconciling high performance with exploratory programming. Ph.D. dissertation. Carnegie-Mellon University, Pittsburgh, PA.
57. HÖLZLE, U. AND UNGAR, D. 1994a. Optimizing dynamically-dispatched calls with run-time type feedback. In Proceedings of PLDI '94. 326-336.
58. HÖLZLE, U. AND UNGAR, D. 1994b. A third-generation Self implementation: Reconciling responsiveness with performance. In Proceedings of OOPSLA '94. 229-243.
59. ISHIZAKI, K., KAWAHITO, M., YASUE, T., TAKEUCHI, M., OGASAWARA, T., SUGANUMA, T., ONODERA, T., KOMATSU, H., AND NAKATANI, T. 1999. Design, implementation, and evaluation of optimizations in a just-in-time compiler. In Proceedings of JAVA '99. 119-128.
60. JOHANSSON, E., PETTERSSON, M., AND SAGONAS, K. 2000. A high performance Erlang system. In Proceedings of PPDP '00. 32-43.
61. JOHNSTON, R. L. 1977. The dynamic incremental compiler of APL3000. In APL '79 Conference Proceedings. Published in APL Quote Quad 9, 4 (June), Pt. 1, 82-87.
62. JONES, N. D., GOMARD, C. K., AND SESTOFT, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice Hall, Englewood Cliffs, NJ.
63. KEPPEL, D. 1991. A portable interface for on-the-fly instruction space modification. In Proceedings of ASPLOS IV. 86-95.
64. KEPPEL, D., EGGERS, S. J., AND HENRY, R. R. 1991. A case for runtime code generation. Tech. Rep. 91-11-04. Department of Computer Science and Engineering, University of Washington, Seattle, WA.
65. KISTLER, T. 1997. Dynamic runtime optimization. In Proceedings of the Joint Modular Languages Conference (JMLC '97). 53-66.
66. KISTLER, T. 1999. Continuous program optimization. Ph.D. dissertation. University of California, Irvine, Irvine, CA.
67. KISTLER, T. 2001. Private communication.
68. KISTLER, T. AND FRANZ, M. 1999. The case for dynamic optimization: Improving memory-hierarchy performance by continuously adapting the internal storage layout of heap objects at run-time. Tech. Rep. 99-21 (May). University of California, Irvine, Irvine, CA. Revised September, 1999.
69. KLAIBER, A. 2000. The technology behind Crusoe processors. Tech. Rep. (Jan.), Transmeta Corporation, Santa Clara, CA.
70. KNUTH, D. E. 1971. An empirical study of Fortran programs. Softw. - Pract. Exp. 1, 105-133.
71. KRALL, A. 1998. Efficient JavaVM just-in-time compilation. In Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques (PACT '98). 205-212.
72. KRALL, A. AND GRAFL, R. 1997. A Java just-in-time compiler that transcends JavaVM's 32 bit barrier. In Proceedings of PPoPP '97 Workshop on Java for Science and Engineering.
73. LEE, P. AND LEONE, M. 1996. Optimizing ML with run-time code generation. In Proceedings of PLDI '96. 137-148.
74. LEE, S., YANG, B.-S., KIM, S., PARK, S., MOON, S.-M., EBCIOǦLU, K., AND ALTMAN, E. 2000. Efficient Java exception handling in just-in-time compilation. In Proceedings of Java 2000. 1-8.
75. LEONE, M. AND DYEVIG, R. K. 1997. Dynamo: A staged compiler architecture for dynamic program optimization. Tech. Rep. 490. Computer Science Department, Indiana University, Bloomington, IN.
76. LEONE, M. AND LEE, P. 1994. Lightweight run-time code generation. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. 97-106.
77. MARLET, R., CONSEL, C., AND BOINOT, P. 1999. Efficient incremental run-time specialization for free. In PLDI'99. 281-292.
78. MAURIELLO, R. 2000. Private communication.
79. MAY, C. 1987. Mimic: A fast System/370 simulator. In Proceedings of the SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques (June). ACM Press, New York, NY, 113.
80. McCARTHY, J. 1960. Recursive functions of symbolic expressions and their computation by machine, part I. Commun. ACM 3, 4, 184-195.
81. McCARTHY, J. 1981. History of LISP. In History of Programming Languages, R. L. Wexelblat, Ed. Academic Press, New York, NY, 173-185.
82. MILLER, T. C. 1977. Tentative compilation: A design for an APL compiler. In APL '79 Conference Proceedings. Volume 9 Published in APL Quote Quad 9, 4 (June), Pt. 1, 88-95.
83. MITCHELL, J. G. 1970. The design and construction of flexible and efficient interactive programming systems. Ph.D. dissertation. Carnegie-Mellon University, Pittsburgh, PA.
84. MITCHELL, J. G. 2000. Private communication.
85. 2: A language for conversational computing. In Interactive Systems for Experimental Applied Mathematics, M. Klerer and J. Reinfelds, Eds. Academic Press, New York, NY. (Proceedings of 1967 ACM Symposium.)
86. MOCK, M., BERRYMAN, M., CHAMBERS, C., AND EGGERS, S. J. 1999. Calpa: A tool for automating dynamic compilation. In Proceedings of the Second ACM Workshop on Feedback-Directed and Dynamic Optimization. 100-109.
87. NG, T. S. AND CANTONI, A. 1976. Run time interaction with FORTRAN using mixed code. The Comput. J. 19, 1, 91-92.
88. PITTMAN, T. 1987. Two-level hybrid interpreter/native code execution for combined space-time program efficiency. In Proceedings of the SIGPLAN Symposium on Interpreters and Interpretive Techniques. ACM Press, New York, NY, 150-152.
89. PIUMARTA, I. AND RICCARDI, F. 1998. Optimizing direct threaded code by selective inlining. In Proceedings of PLDI '98. 291-300.
90. PLEZBERT, M. P. AND CYTRON, R. K. 1997. Does "just in time" = "better late then never"? In Proceedings of POPL '97. 120-131.
91. 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 PLDI '97. 109-121.
92. RAMSEY, N. AND FERNÁNDEZ, M. 1995. The New Jersey machine-code toolkit. In Proceedings of the 1995 USENIX Technical Conference. 289-302.
93. RAU, B. R. 1978. Levels of representation of programs and the architecture of universal host machines. In Proceedings of the 11th Annual Microprogramming Workshop (MICRO-11). 67-79.
94. RÉMY, D., LEROY, X., AND WEIS, P. 1999. Objective Caml - a general purpose high-level programming language. ERCIM News 36, 29-30.
95. ROSENBLUM, M., HERROD, S. A., WITCHEL, E., AND GUPTA, A. 1995. Complete computer system simulation: The SimOS approach. IEEE Parall. Distrib. Tech. 3, 4 (Winter), 34-43.
96. SCHROEDER, S. C. AND VAUGHN, L. E. 1973. A high order language optimal execution processor: Fast Intent Recognition System (FIRST). In Proceedings of a Symposium on High-Level-Language Computer Architecture. Published in SIGPLAN 8, 11 (Nov.), 109-116.
97. SEBESTA, R. W. 1999. Concepts of Programming Languages (4th ed.). Addison-Wesley, Reading, MA.
98. SMITH, R. B. AND UNGAR, D. 1995. Programming as an experience: The inspiration for Self. In Proceedings of ECOOP '95.
99. SUN MICROSYSTEMS. 2001. The Java HotSpot virtual machine. White paper. Sun Microsystems, Santa Clara, CA.
100. THIBAULT, S., CONSEL, C., LAWALL, J. L., MARLET, R., AND MULLER, G. 2000. Static and dynamic program compilation by interpreter specialization. Higher-Order Symbol. Computat. 13, 161-178.
101. THOMPSON, K. 1968. Regular expression search algorithm. Commun. ACM 11, 6 (June), 419-422.
102. TRANSMETA CORPORATION. 2001. Code morphing software. Available online at http://www.transmeta.com/echnology/architecture/code_ morphing.html. Transmeta Corporation, Santa Clara, CA.
103. TYMA, P. 1998. Why are we using Java again? Commun. ACM 41, 6, 38-42.
104. UNG, D. AND CIFUENTES, C. 2000. Machine-adaptable dynamic binary translation. In Proceedings of Dynamo '00. 41-51.
105. UNGAR, D. AND SMITH, R. B. 1987. Self: The power of simplicity. In Proceedings of OOPSLA '87. 227-242.
106. UNGAR, D., SMITH, R. B., CHAMBERS, C., AND HÖLZLE, U. 1992. Object, message, and performance: How they coexist in Self. IEEE Comput. 25, 10 (Oct.), 53-64.
107. UNIVERSITY OF MICHIGAN. 1966a. The System Loader. In University of Michigan Executive System for the IBM 7090 Computer, Vol. 1. University of Michigan, Ann Arbor, MI.
108. UNIVERSITY OF MICHIGAN. 1966b. The "University of Michigan Assembly Program" ("UMAP"). In University of Michigan Executive System for the IBM 7090 Computer, Vol. 2. University of Michigan, Ann Arbor, MI.
109. VAN DYKE, E. J. 1977. A dynamic incremental compiler for an interpretive language. Hewlett-Packard J. 28, 11 (July), 17-24.
110. VAN ROY, P. 1994. The wonder years of sequential Prolog implementation. J. Logic Program. 19-20, 385-441.
111. WICKLINE, P., LEE, P., AND PFENNING, F. 1998. Runtime code generation and Modal-ML. In Proceedings of PLDI '98. 224-235.
112. WIRTH, N. AND GUTKNECHT, J. 1989. The Oberon system. Softw. - Pract. Exp. 19, 9 (Sep.), 857-893.
113. YANG, B.-S., MOON, S.-M., PARK, S., LEE, J., LEE, S., PARK, J., CHUNG, Y. C., KIM, S., EBCIOǦLU, K., AND ALTMAN, E. 1999. LaTTe: A Java VM just-in-time compiler with fast and efficient register allocation. In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques. 128-138. IEEE Computer Society Press, Los Alamitos, CA.
114. ZHENG, C. AND THOMPSON, C. 2000. PA-RISC to LA-64: Transparent execution, no recompilation. IEEE Comput. 33, 3 (March), 47-52.