Textual Alignment in SPMD Programs - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2017

Textual Alignment in SPMD Programs


We provide a formal definition of textual alignment of collective operations in a simple imperative language extended with minimal spmd constructs. The definition relies on a instrumented operational semantics in which we record suitable informations about the execution flow. We prove that this property entails proper the absence of deadlocks and we claim that it provides an intuitive programming model.
Fichier principal
Vignette du fichier
dabrowski_2017-RR-07.pdf (358.5 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01559832 , version 1 (15-07-2017)


Attribution - NonCommercial - ShareAlike


  • HAL Id : hal-01559832 , version 1


Frederic Dabrowski. Textual Alignment in SPMD Programs . [Research Report] RR-2017-07, LIFO, Université d'Orléans. 2017. ⟨hal-01559832⟩
121 View
177 Download


Gmail Facebook X LinkedIn More