Skip to Main content Skip to Navigation
New interface
Journal articles

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.
Document type :
Journal articles
Complete list of metadata
Contributor : Mario Bravetti Connect in order to contact the contributor
Submitted on : Saturday, June 25, 2016 - 9:55:17 AM
Last modification on : Friday, July 8, 2022 - 10:08:38 AM

Links full text




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, 2016, ⟨10.1016/j.jlamp.2016.03.002⟩. ⟨hal-01337333⟩



Record views