Hypermesh网络在PMC模型下的两种可诊断数.pdfVIP

口_1怯 2012年弟2，巷弟 ¨别 ElectronicSci．＆ Tech．／Nov．15．2012 Hypermesh网络在 PMC模型下的两种可诊断数 李刚平，朱 强，郭洋洋 (西安电子科技大学 理学院，陕西 西安 710071) 摘 要 通过对元维Hypermesh网络t一可诊断性与 一可诊 断性的研究，证明了在 PMC模型下，Hypermesh网 络是n(k一1)一可诊断的(nI2，k13)，且是[2n(k一1)一k]／[2n(k一1)一k]一可诊断的(n≥3，ki3)。 关键词 Hypermesh网络；可诊断数；PMC模型；悲观策略 中图分类号 TP332 文献标识码 A 文章编号 1007—7820(2012)11—001—04 ThetwoDiagnosabilityofHypermeshNetworkunderthePM C M odel LIGangping，ZHUQiang，GUOYangyang (SchoolofScience，XidianUniversity，Xi’an710071，China) Abstract In thispaper．we investigatethe t-diagnosability and t／t-diagnosabilityofk-ary n—dimensional Hypermeshnetwork，andprovethattheHypermeshnetworkisrt(一1)一diagnosableforn≥2，k13，and[2n(k— 1)一k]／[2n(k一1)一k]-diagnosablefornI3，kI3underthePMCmode1． Keywords Hypermeshnetwork；diagnosability；PMCmodel；pessimisticstrategy 在某些实时应用系统和绝大部分高性能计算系统 一 些指定的处理器并产生 0／1的测试结果。测试结果 中，通常都需要长时间地进行高速数据运算 ，而运算的 为0时表示测试通过；测试结果为 1时表示测试没有 时间越长、运算的速度越快，系统中的处理器发生故障 通过。0和 1就是测试处理器和被测试处理器之间有 的可能性就会越大。因此多处理器系统的可诊断性是 向边的权。测试者和被测试者都可能出错 ：当测试者 目前研究的热点问题 。尤其在某些场合需要系统具有 故障时可能产生的输出也就是测试结果是不确定的。 不问断的处理能力时，系统的可诊断性变得更加的重 当测试者没有故障时，测试结果是可靠的。所有测试 要。当今的社会正变得越来越依赖计算机，在一些应 结果的集合被称为系统症状 。根据系统的症状可以确 用 中，计算机系统发生故障的代价是高昂的甚至是致 定系统中哪些处理器是故障的，哪些处理器是没有故 命的。通过各种措施可以在一定程度上来避免故障， 障的。 但没有办法使得在计算机系统中不发生故障。参与运 一 些诊断模型已经被提出，例如 比较模型，PMC 算过程的哪怕只有一个处理器发生故障都会产生故障 模型等。它们是系统级诊断最常采用的两个模型。 的结果并且可能导致严重后果。然而在一个大型的多 PMC模型是在 1967年，由Prearata，Metze和 Chien首 处理器系统中，如果能及时发现故障节点，从而可以用 先提出，在这个模型下，如果两个处理器之间有连线， 非故障节点来代替它或者重新分配系统的负载，那么 它们就可以相互测试。在PMC模型中，假设测试者是 整个系统的性能就不会产生过大的影响。因此在一个 好的，那么测试结果就是可靠的。而如果测试者是故 多处理器系统中需要采取容错措施 ，使得可以自动诊 障处理器，那么无论被测试者是否有故障，测试的结果