An Efficient Validation Approach for Quasi-Synchronous Checkpointing oriented to Distributed Diagnosability - LAAS-Réseaux et Communications Accéder directement au contenu
Article Dans Une Revue Journal of Systems and Software Année : 2016

An Efficient Validation Approach for Quasi-Synchronous Checkpointing oriented to Distributed Diagnosability

Résumé

The Autonomic Computing paradigm is oriented towards enabling complex distributed systems to manage themselves, even in faulty situations. The diagnosability analysis is a priori study through which a system can be self-aware about its current state. It is from the determination of a consistent state that a system can take some actions to repair or reconfigure itself. Nevertheless, in a distributed system it is hard to determine consistent states since we cannot observe simultaneously all the local variables of different processes. In this context, the challenge is to efficiently monitor the system execution over time to capture trace information in order to determine if the system accomplishes both functional and non-functional requirements. Quasi-Synchronous Checkpointing is a technique that collects information from which a system can establish consistent snapshots. Based on this technique, several checkpointing algorithms have been developed. According to the checkpoint properties, they are classified into: Strictly Z-Path Free (SZPF), Z-Path Free (ZPF) and Z-Cycle Free (ZCF). Checkpointing algorithms are often evaluated with regard to performance, generally through simulation. However, their correctness has been mildly studied. In this paper, we propose an efficient validation approach based on a graph transformation oriented towards the automatic detection of the aforementioned properties.
Fichier principal
Vignette du fichier
An Efficient Validation Approach for Quasi-Synchronous Checkpointing oriented to Distributed Diagnosability.pdf (1.64 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01778725 , version 1 (26-04-2018)

Identifiants

Citer

Houda Khlif, Hatem Hadj Kacem, Saúl Eduardo Pomares Hernández, Ahmed Hadj Kacem, Cédric Eichler, et al.. An Efficient Validation Approach for Quasi-Synchronous Checkpointing oriented to Distributed Diagnosability. Journal of Systems and Software, 2016, 122, pp.364 - 377. ⟨10.1016/j.jss.2016.04.070⟩. ⟨hal-01778725⟩
85 Consultations
80 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More