Title: Programming Multi-BSP Algorithms in ML
Speaker: Victor Allombert
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. 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.
ELCI is a French software project that brings together academic and industrial partners to design and provide a software environment for the next generation of HPC systems. The principal objective for the project is to facilitate the development of a software environment that meets the demands of the new generation of HPC architectures. This will cover the whole software stack (system and programming environments), numerical solvers and pre/post/co processing software.
ELCI is a French software project that brings together academic and industrial partners to design and provide a software environment for the next generation of HPC systems. The project is funded by the participating partners and by the French FSN “Fond pour la Société Numérique”.
The principal objective for the project is to facilitate the development of a software environment that meets the demands of the new generation of HPC architectures. This will cover the whole software stack (system and programming environments), numerical solvers and pre/post/co processing software.
A co-design approach is employed, that covers the software environment for computer architectures, the requirements of more demanding applications, and is adapted to future hardware architectures (multicore/many core processors, high-speed networks and data storage).
These developments will be validated according to their capacity to deal with the new exascale challenges- larger scalability, higher resiliency, greater security, improved modularity, with better abstraction and interactivity for application cases.
Start Date: September 2014
Duration: 3 years
Avalon Members: T. Gautier, L.Lefevre, C. Perez, I. Rais, J. Richard
More information on the ELCI web site.
LEXISTEMS develops Xact.ai, a solution to provide an universal access to knowledge in Natual Langage (data & data’s structuration limitless).
For organizations, Xact.ai is the most effective way to monetize data assets. Whatever the nature and volume of knowledge bases.
LEXISTEMS’ solutions streamline the use and analysis of natural language in business and personal applications.
A new era is opening. Users are empowered, and organizations leverage the true value of their data assets.
LEXISTEMS and Avalon collaborate on the design and development of NLP algorithms and high-level data structuration.
Start Date: September 2016
Avalon Members: Marcos Assuncao, Eddy Caron and Thomas Pellisier-Tanon
More information on website: LEXISTEMS
HAC SPECIS: Inria project lab on High-performance Application and Computers: Studying PErformance and Correctness In Simulation (2016-2020) :
The goal of the HAC SPECIS (High-performance Application and Computers: Studying PErformance and Correctness In Simulation) project is to answer
methodological needs of HPC application and runtime developers and to allow to study real HPC systems both from the correctness and performance point of view. To this end, we gather experts from the HPC, formal verification and performance evaluation community. website : http://hacspecis.gforge.inria.fr/
Start Date: June 2016
Avalon Members: F. Suter, L. Lefevre