Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation

Algorithmic Completeness of BSP Languages

Abstract : The Bulk-Synchronous Parallel (BSP) bridging model is a candidate for a simple and practical definition for High Performance Computing (HPC) algorithms. These BSP algorithms have been axiomatized, then captured by the operational semantics of the BSP Abstract State Machines (ASM-BSP), an extension of the ASM model of Gurevich. In this technical report, we define a minimal imperative language While-BSP, and prove that this model of computation fairly simulates the executions of the ASM-BSP machines, and reciprocally that ASM-BSP simulates While-BSP. Therefore, While-BSP is algorithmically complete for the BSP algorithms, and so does usual programming languages like Pregel, or imperative languages using the BSPLIB library.
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Yoann Marquer Connect in order to contact the contributor
Submitted on : Saturday, March 24, 2018 - 7:05:22 PM
Last modification on : Wednesday, November 3, 2021 - 9:28:43 AM
Long-term archiving on: : Thursday, September 13, 2018 - 8:25:34 AM


Files produced by the author(s)


  • HAL Id : hal-01742406, version 1



yoann Marquer, Frédéric Gava. Algorithmic Completeness of BSP Languages. [Technical Report] Laboratoire d'Algorithmique, Complexité et Logique, Université Paris-Est Créteil. 2018. ⟨hal-01742406⟩



Record views


Files downloads