© 1988 by British Computer Society
Analysis of Comparison-based Diagnosable Systems using Temporal Criteria
Department of Electrical and Computer Engineering, The University of Colorado, Campus Box 425, Boulder, CO 80309, USA
This paper deals with a new approach to system-level diagnosis by comparison. This approach is based on temporal criteria for the identification of faulty units in a multiprocessor computer system for fault-tolerant processing. A hybrid fault model is presented. It relates the effects of different types of fault (permanent and transient) to the execution of jobs. Jobs are assigned on a unit-pair basis for fault-tolerant processing. An algorithm is presented to release the result outputs correctly using comparisons. This algorithm employs a scheduling technique referred to as sense of direction in the comparison assignment.
A novel source for misdiagnosis, referred to as temporal invalidation, is introduced in the comparison assignment. The algorithm for the job-release process is optimal with respect to the number of comparisons.
The analysis is extended to prove that a comparison-based system can yield a higher throughput than a voting arrangement with the same number of units.
Received April 1986. Revised January 1987.
* Supported by a grant from AT&T and by an Engineering Foundation Research Initiation Grant.
Department of Electrical and Computer Engineering, The University of Colorado, Campus Box 425, Boulder, CO 80309, U.S.A.