School of Computing

Mobile Barriers for occam-pi: Semantics, Implementation and Application

P.H. Welch and F.R.M. Barnes

In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 182-196, IOS Press, The Netherlands, September 2005. IOS Press.

Abstract

This paper introduces a safe language binding for CSP multiway events (barriers -- both static and mobile) that has been built into occam-pi (an extension of the classical occam language with dynamic parallelism, mobile processes and mobile channels). Barriers provide a simple way for synchronising multiple processes and are the fundamental control mechanism underlying both CSP (Communicating Sequential Processes) and BSP (Bulk Synchronous Parallelism).

Formal semantics (through modelling in classical CSP), implementation details and early performance benchmarks (16 nanoseconds per process per barrier synchronisation on a 3.2 GHz Pentium IV) are presented, along with some likely directions for future research. Applications are outlined for the fine-grained modelling of dynamic systems, where barriers are used for maintaining simulation time and the phased execution of time steps, coordinating safe and desired patterns of communication between millions (and more) of processes.

This work forms part of our TUNA project, investigating emergent properties in large dynamic systems (nanite assemblies).

Download publication 238 kbytes (PDF)

Bibtex Record

@inproceedings{2272,
author = {P.H. Welch and F.R.M. Barnes},
title = {{M}obile {B}arriers for occam-pi: {S}emantics, {I}mplementation and {A}pplication},
month = {September},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2272},
    publication_type = {inproceedings},
    submission_id = {19181_1131315816},
    ISBN = {1-58603-561-4},
    booktitle = {Communicating Process Architectures 2005},
    editor = {J.F. Broenink and H.W. Roebbers and J.P.E. Sunter and P.H. Welch and D.C. Wood},
    volume = {63},
    series = {Concurrent Systems Engineering Series},
    address = {IOS Press, The Netherlands},
    publisher = {IOS Press},
    ISSN = {1383-7575},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014