Title :
Efficient algorithms for system diagnosis with both processor and comparator faults
Author :
Chen, Yinong ; Bücken, Winfried ; Echtle, Klaus
Author_Institution :
Inst. fuer Rechnerentwurf und Fehlertoleranz, Karlsruhe Univ., Germany
fDate :
4/1/1993 12:00:00 AM
Abstract :
For the comparison-based self-diagnosis of multiprocessor systems, an extended model that considers both processor and comparator faults is presented. It is shown that in this model the system diagnosability is t⩽Zδ/2Z, where δ is the minimum vertex degree of the system graph. However, if the number of faulty comparators is assumed not to exceed the number of faulty processors, the diagnosability of the model reaches t⩽δ. An optimal O(|E|) algorithm, where E is the set of comparators, is given for identifying all faulty processors and comparators, provided that the total number of faulty components does not exceed the system diagnosability, and an O(|E|)2 algorithm for the case t⩽δ is also presented. These efficient algorithms determine the faulty processors by calculating each processor´s weight, which is mainly defined by the number of adjacent relative tests stating `agreement´. After sorting the processors according to their weights, the algorithms determine all faulty components by separating the sorted processor list
Keywords :
computational complexity; fault tolerant computing; multiprocessing systems; O(|E|)2 algorithm; comparator faults; comparison-based self-diagnosis; multiprocessor systems; processor faults; system diagnosis; Automatic testing; Fault diagnosis; Fault tolerant systems; Hardware; Helium; Microprocessors; Multiprocessing systems; Performance evaluation; Sorting; System testing;
Journal_Title :
Parallel and Distributed Systems, IEEE Transactions on