A Quick Pessimistic Diagnosis Algorithm for Hypercube-Like Multiprocessor Systems under the PMC Model

• Published in: IEEE transactions on computers Vol. 62; no. 2; pp. 259 - 267
• Main Author: Tsai, Chang-Hsiung
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.02.2013; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Algorithm design and analysis; Algorithms; Complexity theory; Diagnosis; Diagnostic systems; Fault diagnosis; Faults; hypercube-like; Hypercubes; Microprocessors; Multiprocessing systems; Multiprocessor; pessimistic strategy; Program processors; Reliable system; Strategy; Studies; system-level diagnosis; Testing; the PMC model
• ISSN: 0018-9340; 1557-9956
• DOI: 10.1109/TC.2011.228

Processor fault diagnosis is an essential subject for the reliability of a multiprocessor system. The precise strategy and the pessimistic strategy are two classical diagnostic strategies which are based on the well-known PMC model. The precise strategy problem of fault diagnosis is discussed widely and demands that all processors be identified correctly, specifically that all fault-free processors are identified as "fault free" and all faulty processors are identified as "faulty." The pessimistic diagnosis strategy is a process to diagnose faults that allows all faulty processors to be isolated within a set that contains at most one fault-free processor. In this paper, we study the pessimistic diagnosis strategy under the PMC model for hypercube-like multiprocessor systems. The contribution is to propose an efficient pessimistic diagnosis algorithm for hypercube-like multiprocessor systems. If we denote by N the total number of processors in the hypercube-like system to be diagnosed, the algorithm can run in O(N) time.