 |
Coordination Models and Languages 15th International Conference, COORDINATION 2013 Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 |
 |
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.
Cited literature [19 references]
https://hal.inria.fr/hal-01486033
Contributor : Hal Ifip <>
Submitted on : Thursday, March 9, 2017 - 3:53:06 PM
Last modification on : Thursday, October 10, 2019 - 2:16:03 PM
Document(s) archivé(s) le : Saturday, June 10, 2017 - 2:37:17 PM
Contributor : Hal Ifip <>
Submitted on : Thursday, March 9, 2017 - 3:53:06 PM
Last modification on : Thursday, October 10, 2019 - 2:16:03 PM
Document(s) archivé(s) le : Saturday, June 10, 2017 - 2:37:17 PM
File
978-3-642-38493-6_3_Chapter.pd...
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License
