Issue No. 07 - July (1999 vol. 48)

ISSN: 0018-9340

pp: 757-761

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.780885

ABSTRACT

<p><b>Abstract</b>—Recently, Fussell and Rangarajan [<ref type="bib" rid="bibT07577">7</ref>], [<ref type="bib" rid="bibT075712">12</ref>], [<ref type="bib" rid="bibT075713">13</ref>] considered performing multiple tests to achieve correct diagnosis of constant degree connection structures. They showed that the probability of correctly identifying every processor approaches one as <tmath>$n \longrightarrow \infty$</tmath>, where <tmath>$n$</tmath> is the number of processors in the system. In this paper, we give the performance analysis for the probabilistic diagnosis algorithm defined in [<ref type="bib" rid="bibT07577">7</ref>], [<ref type="bib" rid="bibT075712">12</ref>], [<ref type="bib" rid="bibT075713">13</ref>]. In comparison with [<ref type="bib" rid="bibT07577">7</ref>], [<ref type="bib" rid="bibT075712">12</ref>], [<ref type="bib" rid="bibT075713">13</ref>], we first derive a different and formal proof for the analytic expression of the probability of the event that a fault-free processor is correctly identified. We then show an exact analytic expression for the probability of the event that a faulty processor is correctly identified. Our result improves the previous results in [<ref type="bib" rid="bibT07577">7</ref>], [<ref type="bib" rid="bibT075712">12</ref>], [<ref type="bib" rid="bibT075713">13</ref>]. In [<ref type="bib" rid="bibT07577">7</ref>], an expression for the probability of the event that a faulty processor is wrongly identified was incorrectly used, while in [<ref type="bib" rid="bibT075712">12</ref>], [<ref type="bib" rid="bibT075713">13</ref>] the same expression was considered as an upper bound on the probability (see our Remark 3.1). However, no reasonable justification was given or proven. Based on our new results, we finally give the asymptotic analysis for the algorithm. We demonstrate that the probability of correctly identifying every processor approaches one as <tmath>$n \longrightarrow \infty$</tmath>.</p>

INDEX TERMS

System-level diagnosis, performance analysis, fault identification, multiprocessor systems.

CITATION

Qian-Yu Tang, Xiaoyu Song, "Diagnosis of Parallel Computers with Arbitrary Connectivity",

*IEEE Transactions on Computers*, vol. 48, no. , pp. 757-761, July 1999, doi:10.1109/12.780885