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.