RESEARCH INITIATION AWARD: Nonmasking Fault-tolerance in Distributed Systems

9398640阿罗拉这个项目解决了分布式系统的设计，实现和应用，其输入输出关系只是暂时违反故障发生时。由于效率、可计算性或应用的原因，这种“非掩蔽”容错在分布式系统中通常是期望的。研究的一个目标是证明，一定的非掩蔽容错系统，即稳定复位子系统，可以有效地实现和有效地利用在各种分布式环境中。为此目的， (i)将开发软件，以增强任何给定的 具有稳定复位子系统的分布式系统， (ii)将实施衡量效率的工具， 非掩蔽容错，以及 (iii)应用程序将被证明，其中软件 很有用 研究的另一个目标是证明非屏蔽容错分布式系统可以以统一和严格的方式设计。为此，将制定方法， （一）申请人 系统 设计 基于 分布式 约束 满意度， (ii)系统设计的基础上逐步完善， 保持非掩蔽容错，以及 (iii)非掩蔽容错推理 实时操作和约束的存在。 这项研究将建立在研究人员以前的工作上，即建立一个统一而严格的框架， 容错。 ***

9398640 Arora This project addresses the design, implementation and application of distributed systems whose input-output relation is violated only temporarily when faults occur. Such "nonmasking" fault- tolerance is often desirable in distributed systems for reasons of efficiency, computability, or application. One goal of the research is to demonstrate that a certain nonmasking fault- tolerant system, namely a stabilizing reset subsystem, can be implemented efficiently and utilized effectively in a wide variety of distributed environments. To this end, (i) software will be developed that augments any given distributed system with a stabilizing reset subsystem, (ii) tools will be implemented that measure the efficiency of nonmasking fault-tolerance, and (iii) applications will be demonstrated where the software is useful. Another goal of the research is to demonstrate that nonmasking fault-tolerant distributed systems can be designed in a uniform and rigorous manner. To this end, methods will be developed for (i) system design based on distributed constraint satisfaction, (ii) systems design based on stepwise refinements that preserve nonmasking fault-tolerance, and (iii) reasoning about nonmasking fault-tolerance in the presence of real-time actions and constraints. The research will build upon the investigator's prior work on a uniform and rigorous framework for reasoning about fault- tolerance. ***