Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling
Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling
复制标题
通过异常处理在命令式语言中可移植地实现延续运算符
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
A. Yonezawa
中科院分区：
文献类型：
--
作者：
Tatsurou Sekiguchi;T. Sakamoto;A. Yonezawa
本文描述了一种在Java和C++等命令式语言中以可移植的方式操作（部分）延续的方案，其中可移植性意味着该方案不依赖于本机堆栈框架的结构，也不依赖于虚拟机和运行时系统的实现。异常处理在该方案中起着重要的作用，以减少开销。该方案是基于程序转换，但在对比CPS转换，我们的计划保留了原始程序的调用图。该方案有两个重要的应用：移动的计算中的透明迁移和高可靠系统中的检查点。前一种技术使运行的计算能够移动到远程计算机，而后一种技术使运行的计算能够保存到存储中。
This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that this scheme does not depend on structure of the native stack frame nor implementation of virtual machines and runtime systems. Exception handling plays a significant role in this scheme to reduce overheads. The scheme is based on program transformation, but in contrast to CPS transformation, our scheme preserves the call graph of the original program. This scheme has two important applications: transparent migration in mobile computation and checkpointing in a highly reliable system. The former technology enables running computations to move to a remote computer, while the latter one enables running computations to be saved into storages.