Barrier Synchronisation for occam-pi

Barnes, Frederick R.M. and Welch, Peter H. and Sampson, Adam T. (2005) Barrier Synchronisation for occam-pi. In: Arabnia, Hamid R., ed. Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications. CSREA Press, Las Vegas, Nevada, USA pp. 173-179. ISBN 1-932415-58-0. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)

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.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: concurrency, synchronisation, barriers, occam-pi, CSP, simulation, fine-grained, dynamics, time
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: Fred Barnes
Date Deposited: 24 Nov 2008 18:03
Last Modified: 13 Nov 2013 16:21
Resource URI: http://kar.kent.ac.uk/id/eprint/14305 (The current URI for this page, for reference purposes)
  • Depositors only (login required):