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

Textual Alignment in SPMD Programs

Abstract

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)
Loading...

Dates and versions

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

Licence

Attribution - NonCommercial - ShareAlike

Identifiers

  • HAL Id : hal-01559832 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More