Skip to Main content Skip to Navigation

Combining active object and BSP programs

Abstract : This thesis presents a hybrid programming model between two parallel programming models: active objects and BSP (Bulk Synchronous Parallel). Active objects are specialized in task parallelism; they enable the execution of functionally different codes in parallel and the exchange of their results thanks to futures, which represent these results before they are available. The BSP model enables a quite different parallelism from the one provided by active objects: data-parallelism. This form of parallelism consists of cutting a task into several pieces in order to process them faster in parallel. These two specialized models enable high-level programming and provide interesting properties such as ease of programming and determinism under certain conditions. The point of combining these two models is therefore to allow the writing of programs combining task-parallelism and data-parallelism, while benefiting from the properties of the two models. This thesis studies this new BSP active object model under a theoretical aspect (with operational semantics) and a practical aspect (with a C++/MPI implementation). We also introduce a new concept of distributed future. Our distributed futures consist in unifying the concepts of futures and distributed vectors in order to represent distributed data. This allows a better integration between active objects and BSP. With our distributed futures, our BSP active objects can communicate efficiently with each other in parallel. The efficiency of these distributed futures is shown through benchmark scenarios executed on our implementation. They allow us to confirm a performance improvement of our distributed futures against classical futures.
Document type :
Complete list of metadata
Contributor : Abes Star :  Contact Connect in order to contact the contributor
Submitted on : Tuesday, March 23, 2021 - 2:34:18 PM
Last modification on : Monday, October 11, 2021 - 5:44:09 PM


Version validated by the jury (STAR)


  • HAL Id : tel-03177856, version 1



Pierre Leca. Combining active object and BSP programs. Programming Languages [cs.PL]. Université Côte d'Azur, 2020. English. ⟨NNT : 2020COAZ4055⟩. ⟨tel-03177856⟩



Record views


Files downloads