TY - JOUR
T1 - An algorithm for conditional-fault local diagnosis of multiprocessor systems under the MM⁎ model
AU - Lv, Yali
AU - Lin, Cheng Kuan
AU - Hsu, D. Frank
AU - Fan, Jianxi
N1 - Publisher Copyright:
© 2024 Elsevier B.V.
PY - 2024/3/1
Y1 - 2024/3/1
N2 - Diagnosis is a crucial subject for maintaining the reliability of multiprocessor systems. Under the MM⁎ diagnosis model, Sengupta and Dahbura proposed a polynomial-time algorithm with time complexity O(N5) to diagnose a system with N processors. In this paper, we propose a (α,β)-trees combination S(u,X,α,β) and give an algorithm to identify the fault or fault-free status of each processor for conditional local diagnosis under the MM⁎ model. According to our results, a connected network with a (α,β)-trees combination S(u,X,α,β) for a node u is conditionally locally (α+2β−3)-diagnosable at node u and the time complexity of our algorithm to diagnose u is O(α2β+αβ2). As an application, we show that our algorithm can identify the status of each node of n-dimensional star graph Sn if the faulty node number does not exceed 3n−8. Compared with existing algorithms, our algorithm allows more faulty nodes in a multiprocessor system.
AB - Diagnosis is a crucial subject for maintaining the reliability of multiprocessor systems. Under the MM⁎ diagnosis model, Sengupta and Dahbura proposed a polynomial-time algorithm with time complexity O(N5) to diagnose a system with N processors. In this paper, we propose a (α,β)-trees combination S(u,X,α,β) and give an algorithm to identify the fault or fault-free status of each processor for conditional local diagnosis under the MM⁎ model. According to our results, a connected network with a (α,β)-trees combination S(u,X,α,β) for a node u is conditionally locally (α+2β−3)-diagnosable at node u and the time complexity of our algorithm to diagnose u is O(α2β+αβ2). As an application, we show that our algorithm can identify the status of each node of n-dimensional star graph Sn if the faulty node number does not exceed 3n−8. Compared with existing algorithms, our algorithm allows more faulty nodes in a multiprocessor system.
KW - Conditional diagnosis
KW - Diagnosis algorithm
KW - Local diagnosability
KW - MM model
UR - http://www.scopus.com/inward/record.url?scp=85181843541&partnerID=8YFLogxK
U2 - 10.1016/j.tcs.2023.114372
DO - 10.1016/j.tcs.2023.114372
M3 - Article
AN - SCOPUS:85181843541
SN - 0304-3975
VL - 987
JO - Theoretical Computer Science
JF - Theoretical Computer Science
M1 - 114372
ER -