, Volume 23, Issue 4, pp 421-432,
Open Access This content is freely available online to anyone, anywhere at any time.
Date: 17 Sep 2010

A programming model for BSP with partitioned synchronisation


A BSP superstep is a distributed computation comprising a number of simultaneously executing processes which may generate asynchronous messages. A superstep terminates with a barrier which enforces a global synchronisation and delivers all ongoing communications. Multilevel supersteps can utilise barriers in which subsets of processes, interacting through shared memories, are locally synchronised (partitioned synchronisation). In this paper a state-based semantics, closely related to the classical sequential programming model, is derived for distributed BSP with partitioned synchronisation.

by J.C.P. Woodcock