Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus

Maverick Chardet 1 Hélène Coullon 1 Christian Pérez 2 Dimitri Pertin 1 Charlène Servantie 1 Simon Robillard 1
1 STACK - Software Stack for Massively Geo-Distributed Infrastructures
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
2 AVALON - Algorithms and Software Architectures for Distributed and HPC Platforms
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : Complex distributed software systems are built by connecting software components across a large number of physical or virtual machines. Deploying such systems reliably and efficiently is a difficult task that involves multiple actors. Coordination mechanisms and programming support are needed. In this paper, we introduce Madeus, a component-based model that allows efficient and highly parallel deployment procedures for distributed software through a declarative approach. We describe the formal model of Madeus, its performance prediction model, and its concrete language and prototype. We evaluated Madeus on a complex real-world use case, the deployment of OpenStack, and measured a deployment time reduced by up to 71% compared to existing solutions.
Complete list of metadatas

Cited literature [40 references]  Display  Hide  Download

https://hal.inria.fr/hal-02737859
Contributor : Hélène Coullon <>
Submitted on : Tuesday, June 2, 2020 - 7:57:14 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:52 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02737859, version 1

Citation

Maverick Chardet, Hélène Coullon, Christian Pérez, Dimitri Pertin, Charlène Servantie, et al.. Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus. 2020. ⟨hal-02737859⟩

Share

Metrics

Record views

44

Files downloads

192