Paper Details

%T Communicating Mobile Processes
%A Frederick R. M. Barnes, Peter H. Welch
%E Ian R. East, David Duce, Mark Green, Jeremy M. R. Martin, Peter H. Welch
%B Communicating Process Architectures 2004
%X 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.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.