Functional abstraction for programming multi-level architectures : formalisation and implementation

Abstract : From personal computers using an increasing number of cores, to supercomputers having millions of computing units, parallel architectures are the current standard. The high performance architectures are usually referenced to as hierarchical, as they are composed from clusters of multi-processors of multi-cores. Programming such architectures is known to be notoriously difficult. Writing parallel programs is, most of the time, difficult for both the algorithmic and the implementation phase. To answer those concerns, many structured models and languages were proposed in order to increase both expressiveness and efficiency. Among other models, Multi-BSP is a bridging model dedicated to hierarchical architecture that ensures efficiency, execution safety, scalability and cost prediction. It is an extension of the well known BSP model that handles flat architectures.In this thesis we introduce the Multi-ML language, which allows programming Multi-BSP algorithms “à la ML” and thus, guarantees the properties of the Multi-BSP model and the execution safety, thanks to a ML type system. To deal with the multi-level execution model of Multi-ML, we defined formal semantics which describe the valid evaluation of an expression. To ensure the execution safety of Multi-ML programs, we also propose a typing system that preserves replicated coherence. An abstract machine is defined to formally describe the evaluation of a Multi-ML program on a Multi-BSP architecture. An implementation of the language is available as a compilation toolchain. It is thus possible to generate an efficient parallel code from a program written in Multi-ML and execute it on any hierarchical machine
Document type :
Theses
Complete list of metadatas

Cited literature [155 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01693568
Contributor : Abes Star <>
Submitted on : Friday, January 26, 2018 - 12:27:08 PM
Last modification on : Wednesday, December 19, 2018 - 3:50:03 PM
Long-term archiving on : Friday, May 25, 2018 - 4:13:30 AM

File

TH2017PESC1016.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01693568, version 1

Collections

Citation

Victor Allombert. Functional abstraction for programming multi-level architectures : formalisation and implementation. Logic [math.LO]. Université Paris-Est, 2017. English. ⟨NNT : 2017PESC1016⟩. ⟨tel-01693568⟩

Share

Metrics

Record views

327

Files downloads

352