Portable implementation of continuation operators in imperative languages by exception handling

Authors:
Tatsurou Sekiguchi;Takahiro Sakamoto;Akinori Yonezawa
Affiliations:
Department of Information Science, Faculty of Science, University of Tokyo and PRESTO, Japan Science and Technology Corporation;Department of Information Science, Faculty of Science, University of Tokyo;Department of Information Science, Faculty of Science, University of Tokyo
Venue:
Advances in exception handling techniques
Year:
2001

Citing 16
Cited 5

A syntactic theory of sequential control

Theoretical Computer Science
The theory and practice of first-class prompts

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstracting control

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
High-level management of computation history for the design and implementation of a Prolog system

Software—Practice & Experience
A generalization of exceptions and control in ML-like languages

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
A type system for Java bytecode subroutines

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A calculus with code mobility

FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
A type system for object initialization in the Java bytecode language

ACM Transactions on Programming Languages and Systems (TOPLAS)
Java Virtual Machine Specification

Java Virtual Machine Specification
Arachne: A Portable Threads System Supporting Migrant Threads on Heterogeneous Network Farms

IEEE Transactions on Parallel and Distributed Systems
Transparent Migration of Java-Based Mobile Agents

MA '98 Proceedings of the Second International Workshop on Mobile Agents
Bytecode Transformation for Portable Thread Migration in Java

ASA/MA 2000 Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents
Portable Support for Transparent Thread Migration in Java

ASA/MA 2000 Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents
Mobile Computation

MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Analyzing Mobile Code Languages

MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure

A sound and complete axiomatization of delimited continuations

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
JiST: an efficient approach to simulation using virtual machines: Research Articles

Software—Practice & Experience
Continuations from generalized stack inspection

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Axioms for control operators in the CPS hierarchy

Higher-Order and Symbolic Computation
A serialisation based approach for processes strong mobility

DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.