We use cookies to improve your experience with our site.

两种经典诊断模型下平衡立方的t/s-诊断度和诊断策略

The t/s-Diagnosability and Diagnostic Strategy of Balanced Hypercube Under Two Classic Diagnostic Models

  • 摘要: 随着半导体技术和软件技术的快速发展,对高性能大型多处理器系统的需求不断增加。为了提高可靠性,系统应具有较强的自诊断能力,以便在适当的时候修复故障处理器或更换有故障的处理器。通过分析处理器之间相互测试的结果来识别故障处理器的过程称为系统级诊断。t/s-诊断策略是一种系统级诊断策略,指的是当给定一个症状集和两个正整数ts时,只要故障顶点的个数不超过t,故障顶点可以被识别在一个点数不超过s的集合。PMC模型和MM*模型是两种经典的系统级诊断下的自动故障诊断模型。平衡立方是具有很多良好性质(例如二部性,点、边传递性以及较小的直径)的互连网络之一,受到了很多学者的研究。本文研究了平衡立方在PMC模型和MM*模型下的t/s-诊断度。此外,我们提出了分别在PMC模型下和MM*模型下的快速t/s诊断算法将所有故障顶点识别在一个顶点数不超过s的顶点集中。最后,我们将本文所得的结果与已取得的结果(平衡立方的条件诊断度、2好邻诊断度、额外诊断度以及t/3-诊断度)进行了比较分析。我们发现,当g取不同值时,平衡立方的t/s诊断度的值是其他诊断度(除额外诊断度外)的2倍以上,而与平衡立方的额外诊断度值只相差一个常数。这表明,本文所研究的t/s-诊断度可以增强平衡立方的诊断能力。

     

    Abstract: Fault diagnosis plays a crucial role in the fault tolerability assessment of an interconnection network, which is of great value in the design and maintenance of large-scale multiprocessor systems. A t/s-diagnostic strategy, as the generalization of the t/t-diagnostic strategy, refers to the self-diagnosis of a multiprocessor system in which all faulty vertices can be identified in a set of size at most s in the presence of at most t faulty vertices. In this work, we show that the balanced hypercube BH_n\;\; (n\geqslant 4) is ((2n+1)\left \lceil g/2\right \rceil-\left \lceil g/2\right \rceil^2)/((2n+1)\left \lceil g/2\right \rceil-\left \lceil g/2\right \rceil^2+(g-2))-diagnosable under both the Preparata, Metze, and Chien (PMC) and MM* models for 4\leqslant \left \lceil g/2\right \rceil\leqslant n. Moreover, we propose two effective t/s-diagnosis algorithms under the PMC and MM* models with time complexity O(N\rm logN) and O(N(\rm logN)^2) (N=2^2n is the order of BH_n), respectively. Finally, comparison results indicate that t/s-diagnosability strengthens the self-diagnosable capability of the system compared with traditional diagnosabilities.

     

/

返回文章
返回