Stopping safely hierarchical distributed components
Ludovic Henrio, Marcela Rivera · 2008
This paper 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 communicate asynchronously. One of the great challenges addressed by this paper is to synchronise those components during a process which involves their deactivation. This algorithm has been prototyped and evaluated experimentally in a distributed component example. This paper also describes the main properties of our algorithm (both correctness and termination) and its requirements on the component system to be stopped.