Fault-Tolerant Programming

一个容错的分布式程序是一个程序， 尽管处理器和网络出现故障，仍继续执行。 的 这项研究的总体目标是开发技术和支持， 促进设计、建造和验证的系统 这种软件。 为了实现这一目标， 将在从通信协议到 形式验证 特别是：操作系统支持 容错分布式程序设计;程序设计语言 有助于构造容错的抽象， 分布式系统;现有软件工程的扩展 技术和编程环境，以包含容错 编程;和容错程序的验证将是 研究了 第一个、第二个和第四个主题代表 继续目前正在进行的调查和自然 第一个是在这些领域的扩展，第三个是一个新的倡议。 以来 容错很难孤立地研究，这项工作是基于 主要基于现有系统和语言，包括SR 分布式编程语言Psync进程间通信 机制和软件设计师的助理项目。 这 这种方法还有助于在研究问题上取得直接进展， 消除了建造必要基础设施的需要。

A fault-tolerant, distributed program is a program that can continue executing despite processor and network failures. The general goal of this research is to develop techniques and support systems that facilitate the design, construction, and verification of this type of software. To accomplish this goal, a number of topics will be investigated in areas ranging from communication protocols to formal verification. In particular: operating system support for fault-tolerant, distributed programming; programming language abstractions that facilitate construction of fault-tolerant, distributed systems; extension of existing software engineering techniques and programming environments to encompass fault-tolerant programming; and verification of fault-tolerant programs will be studied. The first, second, and fourth topics represent the continuation of investigations currently underway and natural extensions in those areas, while the third is a new initiative. Since fault-tolerance is difficult to study in isolation, this work is based largely on existing systems and languages, including the SR distributed programming language, the Psync interprocess communication mechanism, and the Software Designer's Associate project. This approach also facilitates immediate progress on research issues by eliminating the need to construct necessary infrastructure.