Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling

Authors:
Tatsurou Sekiguchi;Takahiro Sakamoto;Akinori Yonezawa
Affiliations:
-;-;-
Venue:
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Year:
2001

Citing 17
Cited 3

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
A Simple Extension of Java Language for Controllable Transparent Migration and Its Portable Implementation

COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
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

Managing continuations for proper tail recursion

Proceedings of the 2010 international conference on Lisp
Delimited control in OCaml, abstractly and concretely: system description

FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Delimited control in OCaml, abstractly and concretely

Theoretical Computer Science

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.