The Design of Self-Stabilizing Systems

这项研究的目的是设计正式的方法， 自我稳定的分布式系统的设计和分析。 的 对不可预见的外部干扰做出反应的能力是一项基本要求 任何智能分布式系统的稳定性准则。 瞬态 故障以不可预测的方式影响系统的全局状态， 方式 一个分布式系统被称为自稳定， 无论其初始状态如何，系统都能保证恢复 到一个合法的配置在有限数量的步骤。 在 在容错的背景下，自稳定的概念是 至关重要。 然而，目前已知的许多自我- 稳定系统都是手工制作的 还有很多工作要做， 加强自稳定算法的设计， 正式的方法，然后才能将这些原则应用于 非平凡系统的设计 该研究将探讨 非平凡的，自稳定系统的设计方法 不同的互连拓扑结构和研究潜力 在容错分布式系统设计中的应用。

The objective of this research is to devise formal methodologies for the design and analysis of self-stabilizing, distributed systems. The ability to react to unforeseen external perturbations is a fundamental stability criterion of any intelligent distributed system. Transient failures affect the global state of a system in an unpredictable manner. A distributed system is called self-stabilizing when, regardless of its initial state, the system is guaranteed to recover to a legitimate configuration in a finite number of steps. In the context of fault-tolerance, the concept of self-stabilization is of fundamental importance. However, many of the currently known self- stabilizing systems are hand-crafted. Much work needs to be done in consolidating the design of self-stabilization algorithms and devising formal methodologies, before these principles can be applied to the design of non-trivial systems. The proposed research will explore methods for the design of non-trivial, self-stabilizing systems on different interconnection topologies and investigate potential applications in the design of fault-tolerant distributed systems.