Replicated Synchronization for Imperative BSP Programs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Replicated Synchronization for Imperative BSP Programs

Résumé

The BSP model (Bulk Synchronous Parallel) simplifies the construction and evaluation of parallel algorithms, with its simplified synchronization structure and cost model. Nevertheless, imperative BSP programs can suffer from synchronization errors. Programs with textually aligned barriers are free from such errors, and this structure eases program comprehension. Replicated synchronization is a sufficient condition for the absence of such errors. We propose a simplified formalization of barrier inference as data flow analysis, which verifies statically whether an imperative BSP program has replicated synchronization, which is a sufficient condition for textual barrier alignment.

Dates et versions

hal-01494832 , version 1 (24-03-2017)

Identifiants

Citer

Arvid Jakobsson, Frederic Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaetan Hains. Replicated Synchronization for Imperative BSP Programs. International Conference on Computational Science (ICCS), 2017, Zürich, Switzerland. ⟨10.1016/j.procs.2017.05.123⟩. ⟨hal-01494832⟩
130 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More