Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-03177856
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

File

2020COAZ4055.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-03177856, version 1

Collections

Citation

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

Share

Metrics

Record views

105

Files downloads

86