Communicating Mobile Processes

Barnes, Frederick R.M. and Welch, Peter H. (2004) Communicating Mobile Processes. In: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England, . (Full text available)

PDF
Download (122kB)
[img]
Preview

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: Conference or workshop item (Paper)
Uncontrolled keywords: occam-pi, KRoC, mobile processes, CSP, pi-calculus
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:01
Last Modified: 17 Apr 2014 14:28
Resource URI: http://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