Textual Alignment in SPMD Programs - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2017

Textual Alignment in SPMD Programs

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Identifiants

  • HAL Id : hal-01559832 , version 1

Citer

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

Partager

Gmail Mastodon Facebook X LinkedIn More