db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%T Resumable Java Bytecode \- Process Mobility for ProcessJ targeting the JVM
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Jan Bækgaard Pedersen, Brian Kauke
%E Peter H. Welch, Herman Roebbers, Jan F. Broenink, Frederick R. M. Barnes, Carl G. Ritson, Adam T. Sampson, G. S. Stiles, Brian Vinter
%B Communicating Process Architectures 2009
%X This paper describes an implementation of resumable and
mobile
processes for a new process\-oriented language called
ProcessJ.
ProcessJ is based on CSP and the pi\-calculus; it
is structurally very
close to occam\-pi, but the syntax is
much closer to the imperative
part of Java (with new
constructs added for process orientation). One
of the
targets of ProcessJ is Java bytecode to be executed on the
Java
Virtual Machine (JVM), and in this paper we describe
how to implement
the process mobility features of ProcessJ
with respect to the Java
Virtual Machine. We show how to add
functionality to support
resumability (and process mobility)
by a combination of code rewriting
(adding extra code to the
generated Java target code), as well as
bytecode rewriting.