Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance

—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. We present in this paper a component based method for the design of masking fault-tolerant programs. In this method, components are added to a fault-intolerant program in a stepwise manner, first, to transform the fault-intolerant program into a nonmasking fault-tolerant one and, then, to enhance the fault-tolerance from nonmasking to masking. We illustrate the method by designing programs for agreement in the presence of Byzantine faults, data transfer in the presence of message loss, triple modular redundancy in the presence of input corruption, and mutual exclusion in the presence of process fail-stops. These examples also serve to demons...

• Type: Journal
• Year: 1998
• Where: TSE
• Authors: Anish Arora, Sandeep S. Kulkarni
• Keywords: Fault-intolerant Program, Fault-tolerance, Fault-tolerance Guarantees, TSE 1998