School of Computing

Barrier synchronisation for occam-pi

Frederick R.M. Barnes, Peter H. Welch, and Adam T. Sampson

In Hamid R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05), pages 182-196, Las Vegas, Nevada, USA, June 2005. CSREA Press.

Abstract

This paper introduces a safe language binding for CSP multiway events (barriers) that has been built into occampi (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). The occampi barriers are more general than those of BSP (an occampi system can contain any number of barriers, with some processes ignoring them and some registered with many). On the other hand, they are also, currently, less general than those of CSP (occampi processes must commit to barrier synchronisation -- it cannot be used as part of a choice or ALT). Structured support for resignation, a higher-level CSP design pattern, is also built into occampi barriers. Applications are outlined for fine-grained modelling of dynamic systems, where the barriers are used for maintaining simulation time and synchronising safe access to shared data between millions of processes. Implementation details and early performance benchmarks (16 nanoseconds per process per barrier synchronisation on a 3.2 GHz. Pentium IV) are also presented, along with some likely directions for future research.

Download publication 341 kbytes (PostScript)

Bibtex Record

@inproceedings{2247,
author = {Frederick R.M. Barnes and Peter H. Welch and Adam T. Sampson},
title = {Barrier Synchronisation for occam-pi},
month = {June},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2247},
    publication_type = {inproceedings},
    submission_id = {19248_1127481899},
    ISBN = {1-932415-58-0},
    booktitle = {Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05)},
    editor = {Hamid R. Arabnia},
    address = {Las Vegas, Nevada, USA},
    publisher = {CSREA Press},
    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