Stopping safely hierarchical distributed components: application to GCM

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.

[1]  Thierry Coupaye,et al.  An Open Component Model and Its Support in Java , 2004, CBSE.

[2]  Friedemann Mattern,et al.  Algorithms for distributed termination detection , 1987, Distributed Computing.

[3]  Martin Glinz,et al.  Runtime Adaptation of Applications Through Dynamic Recomposition of Components , 2005, ARCS.

[4]  Andreas Polze,et al.  Configuration and dynamic reconfiguration of component-based applications with Microsoft .NET , 2003, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003..

[5]  Joachim Niehren,et al.  A concurrent lambda calculus with futures , 2005, Theor. Comput. Sci..

[6]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[7]  Salim Hariri,et al.  A component-based programming model for autonomic applications , 2004, International Conference on Autonomic Computing, 2004. Proceedings..

[8]  Petr Hnetynka,et al.  Advanced Features of Hierarchical Component Models , 2007, ISIM.

[9]  Ralf H. Reussner,et al.  Palladio - Prediction of Performance Properties , 2007, CoCoME.

[10]  Martin Glinz,et al.  The CASA Approach to Autonomic Applications , 2005 .

[11]  Denis Caromel,et al.  A Theory of Distributed Objects , 2005 .

[12]  Christian Delbé.  Tolérance aux pannes pour objets actifs asynchrones : protocole, modèle et expérimentations , 2007 .

[13]  Gerard Tel,et al.  Synchronous, asynchronous, and causally ordered communication , 1996, Distributed Computing.

[14]  Pierre-Charles David,et al.  Experience with implementing safe reconfigurations in Component-based embedded systems , 2007 .

[15]  Pierre-Yves Cunin,et al.  Automatic Adaptation of Component-based Software: Issues and Experiences , 2002, PDPTA.

[16]  Denis Caromel,et al.  Asynchronous and deterministic objects , 2004, POPL '04.

[17]  Erika Ábrahám,et al.  Behavioral interface description of an object-oriented language with futures and promises , 2009, J. Log. Algebraic Methods Program..

[18]  Denis Caromel,et al.  ProActive: an integrated platform for programming and running applications on Grids and P2P systems , 2006 .

[19]  Xuejun Chen,et al.  A Component Framework for Dynamic Reconfiguration of Distributed Systems , 2002, Component Deployment.

[20]  Jamie Hillman,et al.  An open framework for dynamic reconfiguration , 2004, ICSE 2004.