RIA: The Application Oriented Fault Tolerance Paradigm for Multicomputer Systems

RIA：面向应用的多计算机系统容错范例

• 批准号: 8909749
• 负责人: Bruce McMillin
• 金额: $ 5.8万
• 依托单位: Missouri University of Science and Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-06-01 至 1991-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8909749&HistoricalAwards=false
• 关键词: RIA; Application; Oriented; Fault; Tolerance

This project focuses on identifying problem classes applicable to the Application Oriented Paradigm, a new class of fault-tolerance design method. In this approach, the applications programmer is presented with a Reliable Parallel Processing Model, which functionally consists of an application level constraint predicate for constraining and detecting faulty behavior, a configuration control layer for operation in the presence of failed components, and a distributed diagnostic basis. The applications programmer must only be concerned with the generation of an abstraction of each individual program's salient reliability features. This task is performed in concert with each phase of the Software Life Cycle beginning with the specification phase. The methodology is applied to the design of parallel software for massively parallel multicomputer networks, which can function in the presence of both hardware and software errors. Issues addressed include system issues and configuration control, application applicability, automated constraint predicate generation, and fault detection and recovery. Fault tolerance is of paramount importance in large distributed multicomputers. The design of a systematic method for developing reliable control systems in massively parallel multicomputer networks in the presence of both hardware and software error is very important. This research develops a systematic method and demonstrates its applicability on applications in the design of massively parallel systems. Support is strongly recommended

该项目的重点是确定适用于面向应用范式（一类新的容错设计方法）的问题类别。 在这种方法中，为应用程序程序员提供了一个可靠的并行处理模型，该模型在功能上由用于约束和检测错误行为的应用程序级约束谓词、用于在存在故障组件的情况下操作的配置控制层以及分布式诊断基础组成。 应用程序程序员必须只关心每个程序的显着可靠性特征的抽象的生成。 此任务与从规范阶段开始的软件生命周期的每个阶段一起执行。 该方法应用于大规模并行多计算机网络的并行软件设计，该网络可以在存在硬件和软件错误的情况下运行。 解决的问题包括系统问题和配置控制、应用程序适用性、自动约束谓词生成以及故障检测和恢复。 容错能力在大型分布式多计算机中至关重要。 在存在硬件和软件错误的情况下，设计一种在大规模并行多计算机网络中开发可靠控制系统的系统方法非常重要。 这项研究开发了一种系统方法，并证明了其在大规模并行系统设计中的适用性。 强烈建议支持