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.
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01742406
Contributeur : Yoann Marquer <>
Soumis le : samedi 24 mars 2018 - 19:05:22
Dernière modification le : mardi 10 avril 2018 - 01:19:25
Document(s) archivé(s) le : jeudi 13 septembre 2018 - 08:25:34

Fichier

BSP-While-long-1.pdf.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01742406, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

84

Téléchargements de fichiers

36