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.
Type de document :
Rapport
[Research Report] RR-2017-07, LIFO, Université d'Orléans. 2017
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01559832
Contributeur : Frédéric Dabrowski <>
Soumis le : samedi 15 juillet 2017 - 02:00:21
Dernière modification le : samedi 22 juillet 2017 - 01:08:52
Document(s) archivé(s) le : vendredi 26 janvier 2018 - 21:54:20

Fichier

dabrowski_2017-RR-07.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales 4.0 International License

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

130

Téléchargements de fichiers

40