Adding Mobility to Networked Channel-Types

This paper reports the specification of a sound concept for the mobility of network-channel-types in KRoC.net. The syntax and semantics of KRoC.net have also been modified in order to integrate it more seamlessly into the occam-π lan- guage. These new features are currently in the process of being implemented. Recent developments in occam-π and KRoC (such as live/dead channel-type-ends and mo- bile processes) are described, together with their impact on KRoC.net. This paper gives an overview of the recent developments in KRoC.net, and presents its proposed final semantics, as well as the proposed interface between the KR oC.net infrastructure and the KRoC compiler.

[1]  Mario Schweigler,et al.  Flexible, Transparent and Dynamic occam Networking With KRoC.net , 2003 .

[2]  Ian T. Foster,et al.  Globus: a Metacomputing Infrastructure Toolkit , 1997, Int. J. High Perform. Comput. Appl..

[3]  Steven Tuecke,et al.  The Physiology of the Grid An Open Grid Services Architecture for Distributed Systems Integration , 2002 .

[4]  Alex Rapaport,et al.  Mpi-2: extensions to the message-passing interface , 1997 .

[5]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[6]  T Locke.  Towards a Viable Alternative to OO -- Extending the sf occam/CSP Programming Model , 2001 .

[7]  Henk L. Muller,et al.  A Simple Protocol to Communicate Channels over Channels , 1998, Euro-Par.

[8]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[9]  Peter H. Welch,et al.  Process Oriented Design for Java: Concurrency for All , 2002, International Conference on Computational Science.

[10]  Ian T. Foster,et al.  The anatomy of the grid: enabling scalable virtual organizations , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[11]  Peter H. Welch,et al.  Communicating Mobile Processes , 2004, 25 Years Communicating Sequential Processes.

[12]  Fred R. M. Barnes,et al.  Dynamics and pragmatics for high performance concurrency , 2003 .

[13]  Peter H. Welch,et al.  The Kent retargetable occam compiler , 1996 .

[14]  Brian Vinter,et al.  Java PastSet: a structured distributed shared memory system , 2003, IEE Proc. Softw..

[15]  Mario Schweigler,et al.  The Distributed occam Protocol-A New Layer On Top Of TCP/IP To Serve occam Channels Over The Interne , 2001 .