A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems - LAAS-Réseaux et Communications Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems

Résumé

—Autonomic Computing Systems are oriented to pre-vente the human intervention and to enable distributed systems to manage themselves. One of their challenges is the efficient monitoring at runtime oriented to collect information from which the system can automatically repair itself in case of failure. Quasi-Synchronous Checkpointing is a well-known technique, which allows processes to recover in spite of failures. Based on this technique, several checkpointing algorithms have been developed. According to the checkpoint properties detected and ensured, they are classified into: Strictly Z-Path Free (SZPF), Z-Path Free (ZPF) and Z-Cycle Free (ZCF). In the literature, the simulation has been the method adopted for the performance evaluation of checkpointing algorithms. However, few works have been designed to validate their correctness. In this paper, we propose a validation approach based on graph transformation oriented to automatically detect the previous mentioned checkpointing properties. To achieve this, we take the vector clocks resulting from the algorithm execution, and we model it into a causal graph. Then, we design and use transformation rules oriented to verify if in such a causal graph, the algorithm is exempt from non desirable patterns, such as Z-paths or Z-cycles, according to the case.
Fichier principal
Vignette du fichier
papier.pdf (516.83 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01097074 , version 1 (08-01-2015)

Identifiants

Citer

Houda Khlif, Hatem Hadj Kacem, Saúl Eduardo Pomares Hernández, Cédric Eichler, Ahmed Hadj Kacem, et al.. A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014)., Jun 2014, Parma, Italy. pp.80 - 85, ⟨10.1109/WETICE.2014.23⟩. ⟨hal-01097074⟩
342 Consultations
339 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More