Safe Usage of Registers in BSPlib (Preprint)

Abstract : Bulk Synchronous Parallel (BSP) is a simple but powerful high-level model for parallel computation. Using BSPlib, programmers can write BSP programs in the general purpose language C. Direct Remote Memory Access (DRMA) communication in BSPlib is enabled using registrations: associations between the local memories of all processes in the BSP computation. However, the semantics of registration is non-trivial and ambiguously specified and thus its faulty usage is a potential source of errors. We give a formal semantics of BSPlib with which we characterize correct registration. Anticipating a static analysis, we give a simplified programming model that guarantees correct registration usage, drawing upon previous work on textual alignment.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download
Contributor : Arvid Jakobsson <>
Submitted on : Wednesday, January 2, 2019 - 5:37:02 PM
Last modification on : Monday, March 18, 2019 - 2:15:43 PM
Long-term archiving on : Wednesday, April 3, 2019 - 12:31:00 PM


Files produced by the author(s)


  • HAL Id : hal-01955283, version 1



Arvid Jakobsson, Frederic Dabrowski, Wadoud Bousdira. Safe Usage of Registers in BSPlib (Preprint). 2019. ⟨hal-01955283⟩



Record views


Files downloads