Dynamic Rebinding for Concurrent Object Groups: Theory and Practice

Mario Bravetti 1, 2 Elena Giachino 1, 2 Michael Lienhardt 1 Peter Wong 3
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : In this paper we propose a new mechanism for Dynamic Rebinding, a particular kind of Dynamic Software Updating that focuses on modifying the workflow of a program. This mechanism is built upon the concurrency model of Concurrent Object Groups that is adopted in programming languages like Coboxes, Creol or ABS. Using this model, which extends and solves some of the limitations of Active Objects, it becomes possible for an update to wait for the program to reach a local quiescent state and then perform the update without creating any inconsistency in the program's state. We validate our mechanism by formally proving that i) no updates are performed when the program has not reached a local quiescent state, ii) an update is guaranteed to be applied if we first wait for the program to reach a local quiescent state, and iii) it is possible to perform different updates atomically. We also provide a type system that checks the good usage of the rebinding operator. We implemented a prototype supporting our mechanism in the toolchain of the ABS language, and we tested the implementation by supporting dynamic changes in the server policy of an industrial case study from the eCommerce Fredhopper platform, offered by SDL. Without our rebinding mechanism, supporting such dynamic changes in a provably correct manner would not have been so simple. Finally, we developed an implementation of type checking for the ABS language extended with our rebinding primitives, and successfully tested it for the case study discussed in the paper.
Type de document :
Article dans une revue
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016, 〈10.1016/j.jlamp.2016.03.002〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01337333
Contributeur : Mario Bravetti <>
Soumis le : samedi 25 juin 2016 - 09:55:17
Dernière modification le : mardi 3 juillet 2018 - 13:24:07

Identifiants

Collections

Citation

Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Wong. Dynamic Rebinding for Concurrent Object Groups: Theory and Practice. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016, 〈10.1016/j.jlamp.2016.03.002〉. 〈hal-01337333〉

Partager

Métriques

Consultations de la notice

235