Editing Dynamic compilation

{{Program execution}}

'''Dynamic compilation''' is a process used by some [[programming language]] implementations to gain performance during program execution. Although the technique originated in [[Smalltalk]],<ref>Peter L. Deutsch and Alan Schiffman. "Efficient Implementation of the Smalltalk-80 System", 11th Annual Symposium on Principles of Programming Languages, Jan 1984, pp. 297-302</ref> the best-known language that uses this technique is [[Java (programming language)|Java]]. Since the [[machine code]] emitted by a dynamic compiler is constructed and optimized at program runtime, the use of dynamic compilation enables optimizations for efficiency not available to statically-compiled programs (i.e. those compiled by a so-called "batch compiler", as written below) except through [[Duplicate code|code duplication]] or [[metaprogramming]].

[[Runtime environment]]s using dynamic compilation typically have programs run slowly for the first few minutes, and then after that, most of the compilation and recompilation is done and it runs quickly. Due to this initial performance lag, dynamic compilation is undesirable in certain cases. In most implementations of dynamic compilation, some optimizations that could be done at the initial [[compile time]] are delayed until further compilation at [[Run time (program lifecycle phase)|run-time]], causing further unnecessary slowdowns. [[Just-in-time compilation]] is a form of dynamic compilation.

==Incremental compilation==
A closely related technique is '''incremental compilation'''. An [[incremental compiler]] is used in [[POP-2]], [[POP-11]], [[Forth (programming language)|Forth]], some versions of [[Lisp (programming language)|Lisp]], e.g. [[Maclisp]] and at least one version of [[ML (programming language)|ML]] ([[Poplog]] ML).

This requires the [[compiler]] for the programming language to be part of the runtime system. In consequence, source code can be read in at any time, from the terminal, from a file, or possibly from a data-structure constructed by the running program, and translated into a machine code block or function (which may replace a previous function of the same name), which is then immediately available for use by the program. Because of the need for speed of compilation during interactive development and testing, the compiled code is likely not to be as heavily optimised as code produced by a standard 'batch compiler', which reads in source code and produces object files that can subsequently be linked and run. However an incrementally compiled program will typically run much faster than an [[interpreted language|interpreted]] version of the same program. Incremental compilation thus provides a mixture of the benefits of interpreted and compiled languages. To aid portability it is generally desirable for the incremental compiler to operate in two stages, namely first compiling to some intermediate platform-independent language, and then compiling from that to machine code for the host machine. In this case porting requires only changing the 'back end' compiler. Unlike dynamic compilation, as defined above, incremental compilation does not involve further optimisations after the program is first run.

==See also==
* [[Transmeta]] processors dynamically compile [[x86]] code into [[VLIW]] code.
* [[Dynamic recompilation]]
* [[Just-in-time compilation]]

== References ==
{{Reflist|30em}}

==External links==
*[https://web.archive.org/web/20050527084957/http://www.cs.washington.edu/research/dyncomp/ The UW Dynamic Compilation Project]
*[http://www.research.ibm.com/daisy/ Architecture Emulation through Dynamic Compilation]
*[https://web.archive.org/web/20081222135456/http://software.sci.utah.edu/doc/Developer/Guide/dev.dynamiccomp.html SCIRun]
*Article "[https://web.archive.org/web/20081201155138/http://www.ddj.com/documents/ddj0410h/ Dynamic Compilation, Reflection, & Customizable Apps]" by [[David B. Scofield]] and [[Eric Bergman-Terrell]]
*Article "[http://weblogs.asp.net/cazzu/archive/2003/10/07/30888.aspx High-performance XML: Dynamic XPath expressions compilation]" by [[Daniel Cazzulino]]
*[[Matthew R. Arnold]], [[Stephen Fink]], [[David P. Grove]], [[Michael Hind]], and [[Peter F. Sweeney]], [http://www.research.ibm.com/people/h/hind/papers.html#survey05 A Survey of Adaptive Optimization in Virtual Machines], Proceedings of the IEEE, 92(2), February 2005, Pages 449-466.

{{DEFAULTSORT:Dynamic Compilation}}
[[Category:Compiler construction]]