一种利用纠错码的确定性分布式表决策略.pdfVIP

CFIC_8论文集 一种利用纠错码的确定性分布式表决策略 李亦凡张焕围 (武汉大学数学与计算机学院武汉大学软件工程国家重点实验室) 攮姜：盎可靠性计算中．分寿式表决是一十稂重要的秘题．在一个有N-F冗余模决t黼R1的系统中，h 夸计霉模块橱碗的任务÷它们之间需要固期性地锭当蓊的状态进行表决，苯交提出一种硪子K躲系境串 酌；数表决笨略，长算法翻异l纠铸码采走幅受降低平均通讯复杂窿，赣载地．通过选择于{}算错误概率 相匹配的秘错码及其参敷。缓算法的性能可进一步提高÷ 蕞冀询：^冁系统，通讯复杂庹．多数一致表决。规错码， 一．简介 本节简要介绍了有关编码技术，分布式表决及表决算法的一些基本概念。 1．1编码技术 码是通过码符(规定集合中的元素．例如0和1)序列(称为码向量或码字) 表达信息的一种形式。码符以最有效的玎式(即件j屠少的码符)来表达信息，这样得到的码称为源码。 非源码的码通常称为冗余码。具有‘定差错控制能力(检错或纠错)的码称为差错控制码(包括检错码 译码。常用的差错摔制码包括奇偶校验码．触环码及算术码等。 1．2分布式表决 对于实时系统尤其是嵌入式实时控制系统，系统的实时响成时间和可靠性是两个最重要的性能评价 参数。这类分布式系统采用的容错汁算方式必须保证在提高系统可靠性的同时不影响实时响应时间，此 时最台适的容错汁算方式是错误屏蔽技术，即通过大量的冗余处理单元(模块)同时操作，并将操作结 果进行多数一致表决，达到肼蔽少数处理单元的错误的H的。 在构造容错计算系统中．分书表决足一个关键问题。它用于保、证分布，￡数据一致性，同时提供了模 过对当前的计算状态(或汁算结果及一些刚于相瓦交流的信息)进行表决来达到周期性同步。如产生了 表决结果，它们就将各自当前状态统·为该结果；如无表决结果产生，则表明有较严莺汁算错误发生， 需要对上一结果进行重复计算并再度提交表决。例如在一个分布式存储系统中，表决可用于保持各地冗 余数据的一致性。 I．3表决算法 关于表决算法，有许多冈素要加以考虑，如算法的适应性，表决权重是否动态可调及表决是否可配 置等。本文侧重于考虑算法的通讯复杂度。当前的一些表决鲜法大多是就本地计算结果的一部分进行表 制。其基本思想为：每个模块利用预先定好的检错码对本地的计算数据结果进行编码。然后传送该编码 的一部分代码。由j：枪借码的作剐，髯结果之间的不同可以以某种概率被发现，F是通过对完整局部结 李亦凡等： 一种利用纠错码的确定性分布式表决策略 果的重传。即可得出表决结果。尽管此机制可大幅度降低用于通讯的开销，它仍旧有可能漏掉一些数据 闻的差异，从而会得到一个错误的表决结果，即它也是非确定性的：另外，这种机制只利用了编码的检错 能力，未能充分发挥它的全部效用。正如本文后面所表明的那样，一般的，仅仅利用检错码的确定性表 决算法并不能减少通讯开销。 在很多应用场合，为了得到更准确的表决结果，必须采用确定性算法。本文提出了一种新型的利用 纠错码的确定性袭决机制。该算法有以下特点： (1)不仅利f}j了编码的检错能力，而且充分发挥了其纠错能力(以往的算法只用到了检错能力)， 这样可以太大降低由于发生错误而重传局部数据的概率，从而降低了通讯复杂度。 (2)该算法的效力与原始的广播算法(稍后有介绍)相同。文中对它的正确性作了证明。 (3)该算法对于各种应用环境有一定的适应性。即通过对纠错码及其参数的适当选取，对于不同的 错误发生率可达到较优的平均通讯复杂度。 本文组织如下：第2节描述了NMR系统中的表决问题；第3节为改进的算法；第4部分给出了其正 确性证明及简要的数学分析，第5部分是结束语。 二．问窟定义 在本节中，给出了NMR系统模型及通讯复杂度的定义，然后介绍了表决问题及两个典型算法。 2．1 NMR系统模型 一个典型的NMR系统包含N个通过通讯媒介相连的计算模块。对于一个给定的计算任务，每个模 块执行相问的一系列指令(设备计算部件的错误发生概率为P)。通讯媒介可以是总线，共享存储器，点 对点网络或广播型网络。本文假定为町靠广播型网络，亦即每个模块可以将其结果通过一次可靠的操作 传送给其它所有