Active Objects for Coordinating BSP Computations (Short Paper)

Gaetan Hains (1) , Ludovic Henrio (2) , Pierre Leca (1, 2) , Wijnand Suijlen (1)

1 Huawei Technologies France [Boulogne-Billancourt]
2 I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis

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.

Mots clés: Parallelism; Programming models; Active objects; BSP

Domaines: Informatique [cs]; Réseaux et télécommunications [cs.NI]

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⟩