Grid’5000 is an internationally recognized platform dedicated to experiment-driven research in Computer Science, with a focus on parallel and distributed computing. Several members of STACK have been involved in the Grid'5000 consortium for several years. Adrien Lebre is taking part in the steering and the architect committees since 2010. A. Lebre and J.M. Menaud are responsible for the Nantes facilities while S. Ibrahim is responsible for the node in Rennes.
SeDuCe (2016-2020) aims at designing an experimental infrastructure dedicated to the study of DCs with low energy footprint. The project will set up the first experimental DC for studying the energy impact of Utility Computing and the contribution of renewable energy (solar panels, wind turbines). The SeDuCe testbed will serve to the validation of interdisciplinary scientific work in the axes of STIC and energy efficiency of the laboratory of the excellence cluster COMINLabs and more generally serve the Grid'5000 community.
SILECS (TGIR and ESFRI proposal) is an on-going proposal at the national and European levels to deploy a large-scale platform for experiment-driven research in distributed computing and networks. From a bird eye's perspective, SILECS' ambition is to propose a new testbed unifying the FIT and Grid'5000 infrastructures in order to allow researchers to tackle scientific challenges related to Internet of Things, DCs, and network backbones connecting them. This instrument will offer a multi-platform experimental infrastructure (HPC, Cloud, Big Data, Software Defined Storage, IoT, wireless, Software Defined Network/Radio) capable of exploring the next generation of ICT infrastructures. Such infrastructures are available only by a few initiatives in the US (Google, Apple, Facebook, Amazon) and China. Hence it is critical for the EU community to deploy such an infrastructure. Similarly to the involvement of STACK's members in Grid'5000, STACK's ambition is to become a key actor to make such an initiative effective. A. Lebre is taking part in the on-going working groups.
OpenStack is the de facto open-source management system to operate and use Cloud Computing infrastructures. Started in 2012, the OpenStack foundation gathers 500 organizations including groups such as Google, IBM, Intel\ldots The software platform relies on tens of services with a development cycle based on a 6-month basis. It is composed of more than 2 millions of lines of code, mainly in Python, just for the core-services. While these aspects make the whole ecosystem quite swift, they are also good signs of maturity of this community.
Our involvement within the community is mainly driven by the on-going activities of the Discovery Inria Project Lab. We are chairing and animating the Fog/Edge/Massively Distributed Special Interest Group and contributing to the Performance working group. The former investigates how OpenStack can address Fog/Edge Computing use-cases whereas the latter addresses scalability, reactivity and high-availability challenges. The major result, for the moment, is EnOS, a holistic framework to conduct performance evaluations of OpenStack (control and data plane).
SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments. The simulation engine uses algorithmic and implementation techniques toward the fast simulation of large systems on a single machine. The models are theoretically grounded and experimentally validated. The results are reproducible, enabling better scientific practices.
Its models of networks, cpus and disks are adapted to (Data)Grids, P2P, Clouds, Clusters and HPC, allowing multi-domain studies. It can be used either to simulate algorithms and prototypes of applications, or to emulate real MPI applications through the virtualization of their communication, or to formally assess algorithms and applications that can run in the framework.
The formal verification module explores all possible message interleavings in the application, searching for states violating the provided properties. We recently added the ability to assess liveness properties over arbitrary and legacy codes, thanks to a system-level introspection tool that provides a finely detailed view of the running application to the model checker. This can for example be leveraged to verify both safety or liveness properties, on arbitrary MPI code written in C/C++/Fortran.
OptiPlace is a flexible framework to solve VM placement problems by leveraging constraint programming using the Choco constraint solver. The core of OptiPlace is a reconfiguration engine inherited from previous activities on the Entropy proposal. We address the multi-dimensional/multi-objective bin-packing problem by take into account external inputs (renewable energy, security...). Unlike other solutions, OptiPlace has been designed to enhance software engineering capabilities to easily add new problems to the initial basic one, statically or on the fly.