Coordinating Phased Activities while Maintaining Progress

Abstract : In order to develop reliable applications for parallel machines, programming languages and systems need to provide for flexible parallel programming coordination techniques. Barriers, clocks and phasers constitute promising synchronisation mechanisms, but they exhibit intricate semantics and allow writing programs that can easily deadlock. We present an operational semantics and a type system for a fork/join programming model equipped with a flexible variant of phasers. Our proposal allows for a precise control over the maximum number of synchronisation steps each task can be ahead of others. A type system ensures that programs do not deadlock, even when they use multiple phasers.
Type de document :
Communication dans un congrès
Rocco Nicola; Christine Julien. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7890, pp.31-44, 2013, Coordination Models and Languages. 〈10.1007/978-3-642-38493-6_3〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01486033
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:53:06
Dernière modification le : jeudi 9 mars 2017 - 17:00:11
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:37:17

Fichier

978-3-642-38493-6_3_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos. Coordinating Phased Activities while Maintaining Progress. Rocco Nicola; Christine Julien. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7890, pp.31-44, 2013, Coordination Models and Languages. 〈10.1007/978-3-642-38493-6_3〉. 〈hal-01486033〉

Partager

Métriques

Consultations de la notice

37

Téléchargements de fichiers

15