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.
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01559832
Contributor : Frédéric Dabrowski <>
Submitted on : Saturday, July 15, 2017 - 2:00:21 AM
Last modification on : Thursday, February 7, 2019 - 4:19:54 PM
Long-term archiving on : Friday, January 26, 2018 - 9:54:20 PM

File

dabrowski_2017-RR-07.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial - ShareAlike 4.0 International License

Identifiers

  • HAL Id : hal-01559832, version 1

Collections

Citation

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

Share

Metrics

Record views

178

Files downloads

161