Skip to main content

Communicating Mobile Processes

Barnes, Frederick R.M. and Welch, Peter H. (2004) Communicating Mobile Processes. In: East, Ian R. and Martin, Jeremy and Welch, Peter H. and Duce, David and Green, Mark, eds. Communicating Process Architectures 2004. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 201-218. ISBN 978-1-58603-458-0. (KAR id:14107)

PDF
Language: English
Download (162kB) Preview
[thumbnail of Communicating_Mobile_Processes.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format

Abstract

This paper presents a new model for mobile processes in occam-pi. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely disconnected from its local environment, moved (by communication along a channel), reconnected to a new environment and reactivated. Upon reactivation, the process resumes execution from the same state (i.e. data values and code positions) it held when it suspended. Its view of its environment is unchanged, since that is abstracted by its synchronisation (e.g. channels and barriers) interface and that remains constant. The environment behind that interface will (usually) be completely different. The mobile process itself may contain any number of levels of dynamic sub-network. This model is simpler and, in some ways, more powerful than our earlier proposal, which required a process to terminate before it could be moved. Its formal semantics and implementation, however, throw up extra challenges. We present details and performance of an initial implementation.

Item Type: Book section
Uncontrolled keywords: occam-pi, KRoC, mobile processes, CSP, pi-calculus
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:01 UTC
Last Modified: 16 Nov 2021 09:52 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/14107 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year