Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking

Abstract : We propose a new metric for effectively and accurately evaluating the performance of self-stabilizing algorithms. Self-stabilization is a versatile category of fault-tolerance that guarantees system recovery to normal behavior within a finite number of steps, when the state of the system is perturbed by transient faults (or equally, the initial state of the system can be some arbitrary state). The performance of self-stabilizing algorithms is conventionally characterized in the literature by asymptotic computation complexity. We argue that such characterization of performance is too abstract and does not reflect accurately the realities of deploying a distributed algorithm in practice. Our new metric for characterizing the performance of self-stabilizing algorithms is the expected mean value of recovery time. Our metric has several crucial features. Firstly, it encodes accurate average case speed of recovery. Secondly, we show that our evaluation method can effectively incorporate several other parameters that are of importance in practice and have no place in asymptotic computation complexity. Examples include the type of distributed scheduler, likelihood of occurrence of faults, the impact of faults on speed of recovery, and network topology. We utilize a deep analysis technique, namely, probabilistic model checking to rigorously compute our proposed metric. All our claims are backed by detailed case studies and experiments.
Liste complète des métadonnées

Contributeur : Sébastien Tixeuil <>
Soumis le : mardi 14 janvier 2014 - 12:20:44
Dernière modification le : jeudi 22 novembre 2018 - 14:40:47




Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil. Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking. International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. IEEE, pp.153-162, 2013, 〈10.1109/SRDS.2013.24〉. 〈hal-00930109〉



Consultations de la notice