Skip to Main content Skip to Navigation
New interface
Conference papers

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

Cited literature [19 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, March 9, 2017 - 3:53:06 PM
Last modification on : Tuesday, June 29, 2021 - 12:20:08 PM
Long-term archiving on: : Saturday, June 10, 2017 - 2:37:17 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos. Coordinating Phased Activities while Maintaining Progress. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.31-44, ⟨10.1007/978-3-642-38493-6_3⟩. ⟨hal-01486033⟩



Record views


Files downloads