A programming model for BSP with partitioned synchronisation
- First Online:
- Cite this article as:
- Stewart, A. Form Asp Comp (2011) 23: 421. doi:10.1007/s00165-010-0163-2
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.