Implementation of Dynamic Programming Languages

动态编程语言的实现

• 批准号: RGPIN-2016-05682
• 负责人: Feeley, Marc
• 金额: $ 2.77万
• 依托单位: Université de Montréal
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2020
• 资助国家: 加拿大
• 起止时间: 2020-01-01 至 2021-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=709925
• 关键词: Implementation; Dynamic; Programming; Languages

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).

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