多处理机系统的容错诊断技术简介.pdfVIP

2007年第7期 福建 电脑 59 多处理机系统的容错诊断技术简介 周书明．郑淑霞 (福建师范大学数学与计算机科学学院福建福州350007) 【摘要】：多处理机系统的故障诊断度的高低是衡量其结构性能优劣的重要标志。本文简要介绍了现有诊断模 型及诊断策略，并指出该领域值得进一步关注的研究动向。 【关键词】：多处理机系统，诊断模型，诊断策略 1．引言 在精确诊断策略下．若一个系统是卜诊断的．那么每个结 多处理机系统的系统级故障诊断的研究已有近半个世纪的 点至少被其他t个结点检测．而且为了节省传输成本，检验一般 历史，无论是在诊断策略，诊断模型，还是诊断算法方面，都 只在相邻结点问进行．因此其诊断度一般叫小。在悲观诊断策略 取得了一系列的成果．随着计算机网络与多处理机系统的日益 普及，系统级故障诊断的研究．已经成为计算机技术的一个重要 『41提出了悲观诊断策略，也称为t／l【一诊断策略。在这个策略下， 领域。 所有的故障点都包含一个容错集F中．但这个容错集也可能包 对任何多处理机系统。特别是通信网络。不管其拓扑性质如 含k个正常结点。相比之下，悲观诊断策略下的诊断度较大，其 何。随着处理器数目的增加．处理器发生故障的情形是不可避免 适用范围更广。基于上述思想。樊建席等喂出了如下结论： 的。这就带来了多处理器系统在可靠性和使用性方面的问题。尤 定理4在，t，l【一诊断策略下，卜正则网络系统的诊断度为派， 其是在处理器发生故障而又不允许中断系统运行的情况下．这 一问题的严重性显得更为突出．解决这一问题的方法即为容错 策略的特例．价一诊断策略要求所有故障结点形成一个容错集。 技术，它由两步组成：第一步，故障诊断，将有故障的处理器识别 而且至多只有一个正常结点属于容错集F。Guey—YunCh帅g等 出来；第二步，系统重构，将第一步诊断出来的处理器用无故障 的处理器替代。其中第一步是关键。本文简要概述了现有的诊断 21的一个充分条件。 模型及诊断策略． 定理5G为卜正则网络系统(r≥5)，且不与G：同构，那么 2．PMC模型下的两种诊断策略 一个PMC模型【11可表为一个有向图f无向图是有向图的特下两条件满足： 殊情形)G=(V，E)，其中，V表示顶点集，E表示有向弧集。V中f11G中不含三角形： 每个顶点表示一个处理器，E中每条弧(u，v表示一个顶点u测 (2)对G中的任意两个不同结点u，v，l^协)nⅣfi月≤2。 由以上几个判定定理可以得到常见网络拓扑结构如：超立 试v。测试结果是一个函数f．E-一(o，1)，其中若u测试v是正常 的，则“u，c)=0；否则fKu，c)=1。PMC模型规定。无故障的顶点方体。超圆环面，蝴蝶网络，立方连接圈，De (处理器)总能给出正确的测试结果．而故障点给出的测试结果络等常见结构的容错诊断度『3，6】。 是不可靠的。一个症状群是一个函数S：E一(0，1)。V的一个子集 F称为与S是相容的．当且仅当以下两个条件满足： 型一样也是基于测试的模型．与PMC模型的唯一区别是当被 f11若甜∈y—F，勘(U，矿)=1，则v∈F 测试者为故障时．对它测试的结果必为1，相比之下，BGM诊 (2)若“∈矿一只勘(以矿)=0，则v∈矿一F； 断模型处理问题确定性比较高．处理方法相对简单。 一个系统能够诊断出其中最大故障顶点数称为该系统的诊 3．比较诊断模型 断度。下面给出PMC模型下的两种诊断策略。 第二类是基于比较的多处理器系统的故障诊断模型，它包 2．1精确诊断策略 称一个系统是诊断的，若对任何症状群S．至多存在一个与 的症候都是通过某些处理机执行同一任务，并将所得结果进行 S相容的V的子集F，使，该诊断策略称为是精确诊断策略。 比较而得到。若结果一致，测试结果为0；否则，测试结果为O。 HaI【i