Active Objects for Coordinating BSP Computations (Short Paper)

Abstract : Among the programming models for parallel and distributed computing, one can identify two important families. The programming models adapted to data-parallelism, where a set of coordinated processes perform a computation by splitting the input data; and coordination languages able to express complex coordination patterns and rich interactions between processing entities. This article takes two successful programming models belonging to the two categories and puts them together into an effective programming model. More precisely, we investigate the use of active objects to coordinate BSP processes. We choose two paradigms that both enforce the absence of data-races, one of the major sources of error in parallel programming. This article explains why we believe such a model is interesting and provides a formal semantics integrating the notions of the two programming paradigms in a coherent and effective manner.
Complete list of metadatas

Cited literature [2 references]  Display  Hide  Download

https://hal.inria.fr/hal-01821487
Contributor : Hal Ifip <>
Submitted on : Friday, June 22, 2018 - 2:55:29 PM
Last modification on : Monday, February 11, 2019 - 10:10:02 AM
Long-term archiving on : Tuesday, September 25, 2018 - 11:29:29 AM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2021-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Gaetan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen. Active Objects for Coordinating BSP Computations (Short Paper). 20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.220-230, ⟨10.1007/978-3-319-92408-3_10⟩. ⟨hal-01821487⟩

Share

Metrics

Record views

213