The Community for Technology Leaders
Green Image
Issue No. 10 - Oct. (2011 vol. 22)
ISSN: 1045-9219
pp: 1669-1680
Tzu-Liang Kung , Asia University, Taichung
Cheng-Kuan Lin , National Chiao Tung University, Hsinchu
Jimmy J.M. Tan , National Chiao Tung University, Hsinchu
ABSTRACT
Diagnosis is an essential subject for the reliability of multiprocessor systems. Under the PMC diagnosis model, Dahbura and Masson [12] proposed a polynomial-time algorithm with time complexity O(N^{2.5}) to identify all the faulty processors in a system with N processors. In this paper, we present a novel method to diagnose a conditionally faulty system by applying the concept behind the local diagnosis, introduced by Somani and Agarwal [30], and formalized by Hsu and Tan [18]. The goal of local diagnosis is to identify the fault status of any single processor correctly. Under the PMC diagnosis model, we give a sufficient condition to estimate the local diagnosability of a given processor. Furthermore, we propose a helpful structure, called the augmenting star, to efficiently determine the fault status of each processor. For an N-processor system in which every processor has an O(\log N) degree, the time complexity of our algorithm to diagnose any given processor is O((\log N)^2), provided that each processor can construct an augmenting star structure of full order in time O((\log N)^2) and the time for a processor to test another one is constant. Therefore, the time totals to O(N(\log N)^2) for diagnosing the whole system.
INDEX TERMS
Fault diagnosis, PMC model, diagnosability, reliability, diagnosis algorithm.
CITATION
Tzu-Liang Kung, Cheng-Kuan Lin, Jimmy J.M. Tan, "Conditional-Fault Diagnosability of Multiprocessor Systems with an Efficient Local Diagnosis Algorithm under the PMC Model", IEEE Transactions on Parallel & Distributed Systems, vol. 22, no. , pp. 1669-1680, Oct. 2011, doi:10.1109/TPDS.2011.46
329 ms
(Ver 3.3 (11022016))