基于分层网络实现高效的自稳定的选举算法研究.pdfVIP

840 计算机技术与应用进展·2006 基于分层网络实现高效的自稳定的选举算法+ 林克旺 厦门大学计算机科学系福建厦门361005 摘要：本文结合自稳定的选举算法和分层网络来构造一个高效的领导人选举算法，谊算法具有更 优的稳定时间复杂度以及允许系统包含故障。 关键词：领导人选举自稳定分层网络分布式算法 1引 言 的对称状态演变为最终的非对称状态。在许多情况下，一旦一个领导人被选举出来，～些分布式的任务就 可以通过一个集中式的解决方案来完成。这些任务包括：合意问题、资源分配、同步等。在分布式计算中 使用选举领导人的情况非常多。比如在一个基于令牌的网络中，由于前面一个拥有令牌的节点毁损或者传 递令牌的消息的丢失，就导致令牌的丢失，在这种情况下，其它所有的节点必须协作选举出一个领导来产 生一个新的令牌。 当给系统引入故障模型时，选举领导人的问题变得非常复杂。但是，在设计新的算法时，通常要考虑 统可以从任意的初始状态开始运行，经过有限的时间，系统到达一个合法的全局状态，并从这个状态开始， 系统总处于一致的状态”J。 此外，现实中的网络结构通常是分层的(主机接入在子网中，而子网又接入主干网)，而且不是～般 的图”。在设计实际的网络协议时，可以利用这个实际情况，比如分层的DNS和NTP以及分层路由等。 目前，选举领导人已被大量地研究‘2】n】【8】【9lIⅧⅢ】。然而，现实需要更灵活的算法，这些算法能够适应于 网络配置的变化。为了构造这样的算法，本文使用附加的逻辑结构，使得分布式算法能够适应于不同种类 的网络配置、提高原来的自稳定的选举领导人算法的时间效率并允许系统包含故障。 2两个基本算法 1990年，Dolev等人提出了一个基于匿名网络的自稳定的选举领导人算法”JI”。这个算法假设节点之间 通过具有读，写原子性(read／write 统一控制，即在任何形态下由调度器选择一个节点去执行一个原子步(atomic step)。在该算法中，系统的 每个形态可以编码为一个有向图，它在邻节点之间定义了一个父子关系，图中的每个节点要么是一个根要 么有一个父节点(这个节点的一个邻居)，图中的每棵树都有一个标识符。整个算法分为两个阶段，消除环 elimination)阶段和整合树(tree 路(cycle fusion)阶段。在消除环路阶段，每个节点计算它到它所属的树 作者们介t林克旺(1978一)，男，福建福州人，硕士研究生，主要研究方向；分布式算法、分布式计算。 基于分层网络实现高效的自稳定的选举算法841 的根节点的距离(即它的父节点到根节点的距离加1)，当节点意识到这个增长的距离可能会导致环路出现 时，节点就从原来那棵树独立出来成为一棵新的树。在整合树阶段，每个节点重复检查它的邻节点，一旦 发现邻节点所属的树的标识符比它“大”，则把这个邻节点设为它的父节点，很明显，如果这个节点是一个 根节点，那么图中的树就少一棵。两个阶段结束之后，算法最终会到达一个形态，在这个形态中只存在一 棵包含所有节点的树，而且这棵树的根即为leader。整个算法的稳定时间复杂度是O(△Dlogn)轮。 failure 之后，Aguilera等人为了设计一个最终完美的故障检测器(eventuallyperfect detector)◇P，在 测器Q最终保证在每个正确节点上的输出结果是同一个正确的节点。它首次解决了自稳定和通信效率的问 题，并且允许消息丢失。其基本思想是：节点按轮执行，轮r=0，1，2，…，保存的是节点当前的执行轮。 果是，则每隔8(网络传输延迟)给所有其它节点发送消息(OK，r)。当一个节点在第k轮中收到消息(OK， 该节点的当前轮)，则节点开始第k轮。该算法最终能在O(n)轮稳定，并且当系统稳定之后，一个领导能 在常量时间内选举出来。 3自稳定的选举领导人算法 本节利用分层