Safe Usage of Registers in BSPlib (Preprint) - Université d'Orléans Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

Safe Usage of Registers in BSPlib (Preprint)

Résumé

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.
Fichier principal
Vignette du fichier
NGPS2019.Jakobsson.Dabrowski.Bousdira.preprint.20190102.pdf (782.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01955283 , version 1 (02-01-2019)

Identifiants

  • HAL Id : hal-01955283 , version 1

Citer

Arvid Jakobsson, Frederic Dabrowski, Wadoud Bousdira. Safe Usage of Registers in BSPlib (Preprint). 2019. ⟨hal-01955283⟩
52 Consultations
71 Téléchargements

Partager

Gmail Facebook X LinkedIn More