Designing masking fault-tolerance via nonmasking fault-tolerance
Designing masking fault-tolerance via nonmasking fault-tolerance
复制标题
通过非屏蔽容错设计屏蔽容错
DOI：
10.1109/reldis.1995.526225
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
S. Kulkarni
中科院分区：
文献类型：
--
作者：
A. Arora;S. Kulkarni
屏蔽容错可确保程序在出现故障时继续满足其规范。相比之下，非屏蔽容错并不能保证这么多：它只保证当故障停止发生时，程序执行收敛到程序不断(重新)满足其规范的状态。本文提出了一种实用的掩蔽容错设计方法，即先设计非掩蔽容错，然后对非掩蔽容错程序进行最小限度的变换，从而实现掩蔽容错。我们通过设计新颖的全分布式程序来演示这种方法，这些程序用于终止检测、互斥和领导者选举，这些程序可以容忍任意有限数量的进程故障停止和/或修复。
Masking fault-tolerance guarantees that programs continually satisfy their specification in the presence of faults. By way of contrast, nonmasking fault-tolerance does not guarantee as much: it merely guarantees that when faults stop occurring, program executions converge to states from where programs continually (re)satisfy their specification. In this paper, we show that a practical method to design masking fault-tolerance is to first design nonmasking fault-tolerance and to then transform the nonmasking fault-tolerant program minimally so as to achieve masking fault-tolerance. We demonstrate this method by designing novel fully distributed programs for termination detection, mutual exclusion, and leader election, that are masking tolerant of any finite number of process fail-stops and/or repairs.