The Design of Self-Stabilizing Systems

自稳定系统的设计

• 批准号: 9109078
• 负责人: Sukumar Ghosh
• 金额: $ 6万
• 依托单位: University of Iowa
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-06-01 至 1994-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9109078&HistoricalAwards=false
• 关键词: Design; 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.

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