An algorithm for safely stopping a component system

Ludovic Henrio (1) , Marcela Rivera (1)

1 OASIS - Active objects, semantics, Internet and security

This report proposes an algorithm for safely stopping a subsystem of a component assembly. More precisely, it safely stops a component and all its subcomponents in a distributed and hierarchical component model. Our components are distributed, autonomous, and communicating asynchronously. Thus, one of the great challenges addressed by this report is to synchronize those components during a process which involves their deactivation. This algorithm has been prototyped and experimented on a distributed component example. This report also describes the main properties of our algorithm (both correctness and termination) and its requirements on the component system to be stopped.

Mots clés: component; synchronization; distribution; reconfiguration

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Ludovic Henrio, Marcela Rivera. An algorithm for safely stopping a component system. [Research Report] RR-6444, INRIA. 2008, pp.18. ⟨inria-00239449v2⟩