Details

Autor(en) / Beteiligte

• Chardet, Maverick
• Coullon, Hélène
• Robillard, Simon

Titel

Toward safe and efficient reconfiguration with Concerto

Ist Teil von

• Science of computer programming, 2021-03, Vol.203, p.102582-31, Article 102582

Ort / Verlag

Elsevier B.V

Erscheinungsjahr

2021

Quelle

Access via ScienceDirect (Elsevier)

Beschreibungen/Notizen

• •A formal reconfiguration model.•Automatic coordination of software components lifecycle.•Higher expressiveness of parallelism within reconfigurations.•A predictable execution model to assess the performance of reconfigurations.•A theoretical and experimental evaluation. 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.