Abstractions that Simplify the Design and Verification of Fault-Tolerant Distributed Protocols

简化容错分布式协议设计和验证的抽象

• 批准号: 8901780
• 负责人: Sam Toueg
• 金额: --
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Continuing grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-07-01 至 1991-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8901780&HistoricalAwards=false
• 关键词: Abstractions; Simplify; Design; Verification; Fault

The research develops techniques that simplify the design and verification of fault-tolerant protocols for distributed computing systems. Protocol designers provided with the abstraction of a virtual system with perfect processor synchronization, reliable communication, and simple processor failures. Protocols written for this virtual system are translated into protocols that run correctly in "real" systems with unsynchronized processors, unreliable communication, and more complex failures. This methodology shields the designer from several aspects of the underlying system complexity; protocols are designed and verified for the simpler virtual system, and then run by simulation in the more complex underlying system.

这项研究开发了简化分布式计算系统容错协议的设计和验证的技术。协议设计者提供了一个虚拟系统的抽象，具有完美的处理器同步、可靠的通信和简单的处理器故障。为该虚拟系统编写的协议被转换为在具有不同步的处理器、不可靠的通信和更复杂的故障的“真实”系统中正确运行的协议。这种方法使设计者避免了底层系统复杂性的几个方面；协议是为更简单的虚拟系统设计和验证的，然后在更复杂的底层系统中通过模拟运行。