Enhancing and Exploiting a Language Mechanism for Legitimate Manipulation of Execution States

我们可以实现语言系统的动态维护软件执行的功能，通过使用一种语言机制（称为L-闭包），使执行状态的合法操作。在这项研究中，我们提出的机制，有效地实现适当的尾部递归。我们还提出并评估了各种计划，利用并行系统中的可用资源，通过应用所提出的机制，动态负载平衡。使用所提出的机制的新实现，我们降低了L闭包的摊销调用成本。我们还在编译器实现中支持x86-64，并评估了短函数的寄存器分配效果。

We can implement language systems with the functionality of dynamic maintenance of software execution by using a language mechanism (called L-closures) which enables legitimate manipulation of execution states. In this study, we applied the proposed mechanism to the efficient implementation of proper tail recursion. We also proposed and evaluated various schemes for exploiting available resources in parallel systems by applying the proposed mechanism to dynamic load balancing. Using a new implementation of the proposed mechanism, we reduced amortized invocation costs of L-closures. We also supported x86-64 in the compiler implementation, and evaluated the effect of register allocation for short functions.