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.
Type de document :
Communication dans un congrès
20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Jun 2018, madrid, Spain
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01813178
Contributeur : Ludovic Henrio <>
Soumis le : mardi 12 juin 2018 - 10:06:28
Dernière modification le : mercredi 10 octobre 2018 - 10:09:45

Identifiants

  • HAL Id : hal-01813178, version 1

Collections

Citation

Ludovic Henrio. Active objects for coordinating BSP computations (short paper). 20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Jun 2018, madrid, Spain. 〈hal-01813178〉

Partager

Métriques

Consultations de la notice

47