Skip to Main content Skip to Navigation
Journal articles

Toward Safe and Efficient Reconfiguration with Concerto

Maverick Chardet 1, 2, 3 Hélène Coullon 1, 2 Simon Robillard 1, 2
2 STACK - Software Stack for Massively Geo-Distributed Infrastructures
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
3 AVALON - Algorithms and Software Architectures for Distributed and HPC Platforms
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : For large-scale distributed systems that need to adapt to a changing environment, conducting a reconfiguration is a challenging task. In particular, efficient reconfigurations require the coordination of multiple tasks with complex dependencies. We present Concerto, a model used to manage the lifecycle of software components and coordinate their reconfiguration operations. Concerto promotes efficiency with a fine-grained representation of dependencies and parallel execution of reconfiguration actions, both within components and between them. In this paper, the elements of the model are described as well as their formal semantics. In addition, we outline a performance model that can be used to estimate the time required by reconfigurations, and we describe an implementation of the model. The evaluation demonstrates the accuracy of the performance estimations, and illustrates the performance gains provided by the execution model of Concerto compared to state-of-the-art systems.
Complete list of metadata
Contributor : Hélène Coullon Connect in order to contact the contributor
Submitted on : Friday, January 8, 2021 - 12:08:17 PM
Last modification on : Wednesday, December 1, 2021 - 10:32:07 AM
Long-term archiving on: : Friday, April 9, 2021 - 6:52:21 PM


Files produced by the author(s)



Maverick Chardet, Hélène Coullon, Simon Robillard. Toward Safe and Efficient Reconfiguration with Concerto. Science of Computer Programming, Elsevier, 2021, 203, pp.1-31. ⟨10.1016/j.scico.2020.102582⟩. ⟨hal-03103714⟩



Les métriques sont temporairement indisponibles