Stability of Distributed Algorithms in the Face of Incessant Faults
Stability of Distributed Algorithms in the Face of Incessant Faults
复制标题
分布式算法在不断出现故障的情况下的稳定性
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
S. Mitra
中科院分区：
文献类型：
--
作者：
R. DeVille;S. Mitra
对于由廉价组件构建的大型分布式系统，人们期望看到不断的故障。本文提出了这类故障的两种模型，并分析了两种常见的自稳定算法。对于少数进程，使用概率模型检查工具自动验证感兴趣的属性。对于大量的过程，这些性质是用直接马尔可夫链分析的渐近界来表征的，并通过数值模拟来近似。
For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two well-known self-stabilizing algorithms under these fault models. For a small number of processes, the properties of interest are verified automatically using probabilistic model-checking tools. For a large number of processes, these properties are characterized using asymptotic bounds from a direct Markov chain analysis and approximated by numerical simulations.