Implementation of Dynamic Programming Languages

像JavaScript、Python和Ruby这样的动态编程语言越来越受欢迎。这些语言提供了许多简化复杂应用程序开发的特性：快速开发周期、自省、语言可扩展性、高度抽象、代码迁移等。这些语言的当前实现使用高度复杂的多层设计，但与静态编程语言（C、Java等）相比，在性能方面仍然落后。所提出的研究计划的长期目标是降低动态编程语言的虚拟机的开发成本并提高其性能。******该研究项目将继续研究即时编译领域的最新进展。惰性基本块版本控制技术在消除动态类型程序的运行时类型检查方面已被证明是有效的。这种方法将首先进行扩展，使其在源程序使用高阶函数和不使用高阶函数时都能在程序间操作。然后，我们将通过将该方法应用于其他编译问题，包括寄存器分配、内存管理、函数内联和自动程序并行化，来激发该方法的强大功能。*******我们还将研究自托管JIT编译器的设计，该编译器可以从以前运行的程序（可能由其他位置的其他用户运行）中获益，以减少重新编译程序的成本。我们还计划研究在动态语言环境下并行性的实现。我们对函数式编程语言Clojure（基于事务和代理）、Erlang（基于actor）和Termite（通过连续序列化提供任务迁移）的并行模型很感兴趣

Dynamic programming languages such as JavaScript, Python and Ruby are gaining in popularity. These languages offer many features which ease the development of evolvable complex applications: a rapid development cycle, introspection, language extensibility, high level of abstraction, code migration, etc. Current implementations of these languages use highly complex multi-tier designs which nevertheless still lag in terms of performance when compared to static programming languages (C, Java, etc). The long term objectives of the proposed research program are to lower the development cost of VMs for dynamic programming languages and improve their performance.******The research program will continue work on recent advancements in the field of Just-In-Time compilation. The technique of lazy Basic Block Versioning has been shown to be effective at eliminating run-time type checks from dynamically typed programs. This approach will first be extended to make it operate interprocedurally, both when the source program uses higher order functions and not. Then we will instigate the power of the approach by applying it to other compilation problems, including register allocation, memory management, function inlining and automatic program parallelization.*******We will also investigate the design of a self-hosted JIT compiler which can benefit from previous runs of the programs, possibly by other users at other locations, to reduce the cost of recompiling the program. We also plan to study the implementation of parallelism in the context of dynamic languages. We are interested in the parallelism model of the functional programming languages Clojure (based on transactions, agents), Erlang (based on Actors) and Termite (that offers task migration through continuation serialization).**