基于超立方体容错路由算法剖析.docVIP

基于超立方体容错路由算法剖析 　　摘要：基于超立方体的优良的拓扑性质，提出了一个应用于超立方体网络的容错路由算法。该容错路由算法是基于局部信息的，因为路由算法在路由过程中，只需要知道其邻节点的信息，而无须知道其他节点的出错情况。对于给定的源节点和目的节点，路由算法均能够找到一条最优容错路径，并且可以预防死锁。模拟实验结果表明，路由算法所构造的路由路径长度接近于两个节点之间的最优路径长度。 　　关键词：超立方体网络;容错;空闲维 　　中图分类号：TP302．8文献标志码：A 　　文章编号：1001－3695(2007)07－0273－03 　　 　　0引言?? 　　 　　由于多处理机系统的规模越来越大，系统中出现处理机故障或处理机间链路故障的可能性也随之增加。设计较好的容错路由策略，能尽可能多地记录系统中存在的最优通路信息，使得当系统中存在故障时实现更有效的容错路由，达到提高整个系统性能的目的，也越发显得重要。假设G是一个网络，网络G的容错性是指满足以下条件的最大的整数??k:??在网络G中去掉任意??k??个节点和相应的边后不会破坏网络的连通性。?? 　　超立方体网络是研究者们研究得最早，并且现在仍然是最为重要和最有吸引力的网络模型之一。特别地，高对称性、强层次结构和最大容错性等性质是超立方体网络最有吸引力的几个特征。近年来在科研和工业界中已设计和生产出研究用和商用的、以超立方体网络为模型的并行计算机系统。?? 　　国内外对基于超立方体容错路由的研究已有多年，也得到了很多很有价值的成果。大致可分为以下几类：?? 　　（1）通过添加额外的节点或连接边来完成容错。虽然可以达到容错的目的，但是这类方法会使得投入的硬件成本增加，另外对于那些已经投入市场的并行机而言，再去改变它们的拓扑结构使其容错性能增强是不可行的。?? 　　（2）采用大量的虚通道(Virtual Channel)。但是使用虚通道会增加节点的缓冲空间和复杂的逻辑控制。这些虚通道也使得节点变得更容易出错和不可靠。?? 　　（3）采用错误块(Fault Block) 模型。使用错误块模型会减少部分正确节点。?? 　　（4）利用拓扑结构本身的性质来进行容错。它不需要添加额外的节点，这类方法不会改变拓扑结构。?? 　　本文利用超立方体自身的性质设计了路由算法。该算法是简单的，同时又是很强的。首先，在超立方体网络故障数小于??n??的情况下，该算法均适用，在满足要求的条件时，该算法将成功地构造一条路由路径。其次，该算法是基于局部信息的，网络中的每一个节点只需要知道其邻节点的状态而不要求知道网络的全局信息。该算法是高效的。?? 　　 　　1基本概念和常用术语?? 　　 　　 　　4实验结果?? 　　 　　本文提出的算法基于超立方体局部信息的连通性容错模型。笔者作了大量的模拟实验，以研究不同错误概率情况下的超立方体网络路由算法的容错性和概率。模拟实验基于均匀的节点错误概率分布，即假定每一个节点具有相等的并且是独立的错误概率??P????f。值得说明的是，在超立方体网络满足一定的条件下，算法理论上能够构造出至少一条从源节点到目的节点的连通路径。模拟实验结果如表1所示。??n??是超立方体网络的维数，这里测试了维数??n??=10、15和20的情况。对每一个维数??n??，测试了五种节点错误概率，即??P????f=0.5%、12.5%、25%和30%。对于每个这样的超立方体网络??H??n??, 选择其局部子立方体??H??m??，在??H??m??随机选择20对正确节点，并测试算法的容错性和效率。以下是测试程序所使用的输入参数和输出参数介绍。?? 　　输入参数：?? 　　??n――超立方体网络的维数。?? 　　P????f――节点错误概率。?? 　　??H??m――局部子立方体，这里固定m=3和m=4两种。?? 　　P??――每个超立方体网络所测试源节点和目的节点对的样本数，这里固定为20。?? 　　输出参数：?? 　　Path_Found――通过算法找到的节点间路径数目占无节点错误时节点间路径总数的比率。?? 　　MinPath_Found――通过算法找到的节点间最短路径数目占无节点错误时节点间路径总数的比率。?? 　　PathBit――算法所成功构造的路由路径长度的总和与相应的源节点及目的节点对之间海明距离的总和之间的比值。?? 　　实验表明，如果单个节点的错误概率不大于12.5%，网络中正确节点保持连通的概率为95%左右；如果单个节点的错误概率不大于0.5%，则对于所有实际规模的超立方体网络，网络中正确节点保持连通的概率至少为99%，而且该算法构造的路由路径长度小于源节点和目的节点海明距离的1.5倍。??