A policy-based approach for strong mobility of composed Web services

This paper presents a flexible, portable, and transparent solution for strong mobility of composed Web services relying on policy-oriented techniques. The proposed approach provides a checkpoint solution based on automatic code instrumentation using correct source code transformation rules. This checkpoint technique permits to save the execution state of a mobile orchestration process as well as the execution states of its orchestrated partners. Thus, after migration, only non-executed codes will be resumed. In addition, our approach enables dynamic adaptation of the employed checkpointing and mobility techniques using aspects. For that, we use policies allowing dynamic selection of the used checkpointing and mobility techniques according to the execution context. Moreover, the proposed solution includes a module allowing the determination of the checkpointing interval satisfying QoS requirements. Experimentations show the efficiency of the proposed solution.

[1]  Georg Stellner,et al.  CoCheck: checkpointing and process migration for MPI , 1996, Proceedings of International Conference on Parallel Processing.

[2]  John W. Young,et al.  A first order approximation to the optimum checkpoint interval , 1974, CACM.

[3]  Giovanni Vigna,et al.  Understanding Code Mobility , 1998, IEEE Trans. Software Eng..

[4]  Gerald Baumgartner,et al.  Implementation of strong mobility for multi-threaded agents in Java , 2003, 2003 International Conference on Parallel Processing, 2003. Proceedings..

[5]  Deron Liang,et al.  Fault tolerant Web Services , 2007, J. Syst. Archit..

[6]  Asser N. Tantawi,et al.  Performance analysis of checkpointing strategies , 1984, TOCS.

[7]  Mohamed Jmaiel,et al.  Periodic Checkpointing for Strong Mobility of Orchestrated Web Services , 2009, 2009 Congress on Services - I.

[8]  Jehoshua Bruck,et al.  An On-Line Algorithm for Checkpoint Placement , 1997, IEEE Trans. Computers.

[9]  Fabio Kon,et al.  Checkpointing BSP parallel applications on the InteGrade Grid middleware: Research Articles , 2006 .

[10]  Fabienne Boyer,et al.  Experiences implementing efficient Java thread serialization, mobility and persistence , 2004 .

[11]  Colin Stirling,et al.  A Generalization of Owicki-Gries's Hoare Logic for a Concurrent while Language , 1988, Theor. Comput. Sci..

[12]  József Kovács,et al.  Transparent parallel checkpointing and migration in clusters and ClusterGrids , 2009, Int. J. Comput. Sci. Eng..

[13]  Amnon Barak,et al.  The MOSIX multicomputer operating system for high performance cluster computing , 1998, Future Gener. Comput. Syst..

[14]  Michael R. Lyu,et al.  Performance and effectiveness analysis of checkpointing in mobile environments , 2003, 22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings..

[15]  Mohamed Jmaiel,et al.  A Runtime Performance Analysis for Web Service-Based Applications , 2010, ICWE Workshops.

[16]  Franck Cappello,et al.  Coordinated checkpoint versus message log for fault tolerant MPI , 2004, 2003 Proceedings IEEE International Conference on Cluster Computing.

[17]  Zakaria Maamar,et al.  On Modeling and Developing Self-Healing Web Services Using Aspects , 2007, 2007 2nd International Conference on Communication Systems Software and Middleware.

[18]  Franck Cappello,et al.  Coordinated checkpoint versus message log for fault tolerant MPI , 2004, Int. J. High Perform. Comput. Netw..

[19]  K. Mani Chandy,et al.  Analytic models for rollback and recovery strategies in data base systems , 1975, IEEE Transactions on Software Engineering.

[20]  Fabio Kon,et al.  Checkpointing BSP parallel applications on the InteGrade Grid middleware , 2006, Concurr. Comput. Pract. Exp..

[21]  Mark A. Franklin,et al.  Checkpointing in Distributed Computing Systems , 1996, J. Parallel Distributed Comput..

[22]  Rüdiger Kapitza,et al.  Adaptive Web Service Migration , 2008, DAIS.

[23]  Kang G. Shin,et al.  Optimal Checkpointing of Real-Time Tasks , 1987, IEEE Transactions on Computers.

[24]  Mohamed Jmaiel,et al.  Aspect-Oriented Checkpointing Approach of Composed Web Services , 2010, ICWE Workshops.

[25]  John Shalf,et al.  The Cactus Worm: Experiments with Dynamic Resource Discovery and Allocation in a Grid Environment , 2001, Int. J. High Perform. Comput. Appl..

[26]  Rodrigo Rodrigues,et al.  Efficient middleware for byzantine fault tolerant database replication , 2011, EuroSys '11.

[27]  W YoungJohn.  A first order approximation to the optimum checkpoint interval , 1974 .

[28]  Sacha Krakowiak,et al.  Experiences implementing efficient Java thread serialization, mobility and persistence , 2004, Softw. Pract. Exp..

[29]  Ryszard Kowalczyk,et al.  Towards adaptive management of QoS-aware service compositions , 2007, Multiagent Grid Syst..

[30]  Akinori Yonezawa,et al.  A Simple Extension of Java Language for Controllable Transparent Migration and Its Portable Implementation , 1999, COORDINATION.

[31]  Andrew Warfield,et al.  Live migration of virtual machines , 2005, NSDI.

[32]  Henri E. Bal,et al.  Transparent Fault Tolerance for Grid Applications , 2005, EGC.

[33]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[34]  Richard Wolski,et al.  Minimizing the Network Overhead of Checkpointing in Cycle-harvesting Cluster Environments , 2005, 2005 IEEE International Conference on Cluster Computing.

[35]  James S. Plank,et al.  Experimental assessment of workstation failures and their impact on checkpointing systems , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[36]  Thomas Hérault,et al.  Computing on large-scale distributed systems: XtremWeb architecture, programming models, security, tests and convergence with grid , 2005, Future Gener. Comput. Syst..

[37]  Jeffrey M. Bradshaw,et al.  Strong Mobility and Fine-Grained Resource Control in NOMADS , 2000, ASA/MA.

[38]  Jack Dongarra,et al.  Self adaptivity in Grid computing: Research Articles , 2005 .

[39]  Liang Chen,et al.  Supporting fault-tolerance in streaming grid applications , 2007, 2008 IEEE International Symposium on Parallel and Distributed Processing.

[40]  David Sinreich,et al.  An architectural blueprint for autonomic computing , 2006 .

[41]  Mira Mezini,et al.  AO4BPEL: An Aspect-oriented Extension to BPEL , 2007, World Wide Web.

[42]  C. Ghezzi,et al.  Towards Self-healing Service Compositions , 2004 .

[43]  Sathish S. Vadhiyar,et al.  Self adaptivity in Grid computing , 2005, Concurr. Pract. Exp..

[44]  Mohamed Jmaiel,et al.  Providing Predictive Self-Healing for Web Services: A QoS Monitoring and Analysis-based Approach , 2008 .

[45]  Mohamed Jmaiel,et al.  Towards Making WSRF Based Web Services Strongly Mobile , 2008, 2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

[46]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[47]  Mohamed Jmaiel,et al.  Low cost checkpoint/rollback solution for strong mobility of orchestrated Web services , 2010, 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE).