分布式算法第6次课.pptVIP

第三章 环上选举算法 汪 炀 Non-uniform Alg 基本特征 选择环中最小id（各id互不相同）的结点作为leader，按Phase运行，每个阶段由n个轮组成。在Phase i (i ≥ 0)，若存在一个id为i的结点，则该结点为leader，并终止算法，因此，最小id的结点被选为leader 显然，Phase数目取决于n个节点的标志符的取值。 具体实现 Phase i包括轮：n·i+1, n·i+2, …, n·i+n 在第i阶段开始，若一个结点的id是i，且它尚未终止，则该节点绕环发送一个msg后作为一个leader终止；若一结点的id不是i，且它收到一个msg，则它转发此msg后作为non-leader终止。 分析 正确性：显然，只有最小的标志符被选中作为leader Msg复杂性：恰有n个msg被发送，故复杂性为O(n)。注意这n个msg均是在找到leader的那个Phase里发送的。 时间复杂性 依赖于环大小和环上最小标志符，不妨设环大小为n，最小标识符为i，则算法执行轮数为：n·(i+1)，不妨设i≥0 //运行时间与环大小及标识符取值相关 缺点 必须知道环大小n和同步开始，下面算法克服了这些限制 ①为什么id为i的结点要在phase i发msg ∵各结点互不知道彼此的id值 ∴只能在第i phase，结点(id=i)发自己的id ②为什么每个phase要n轮 Uniform Alg 特点：①无须知道环大小，②弱同步模型 一个处理器可以在任意轮里自发地唤醒自己，也可以是收到另一个处理器的msg后被唤醒 基本思想 ① 源于不同节点的msg以不同的速度转发 源于id为i的节点的msg，在每一个接收该msg的节点沿顺时针转发到下一个处理器之前，被延迟2i-1轮 ② 为克服非同时启动，须加一个基本的唤醒阶段，其中每个自发唤醒的结点绕环发送一个唤醒msg，该msg转发时无延迟 ③ 若一个结点在算法启动前收到一个唤醒msg，则该结点不参与算法，只是扮演一个relay(转发)角色：即转发或没收msg 要点：在基本阶段之后，选举leader是在参与结点集中进行的，即只有自发唤醒的结点才有可能当选为leader。 具体实现 ① 唤醒：由一个结点发出的唤醒msg包含该结点的id，该msg以每轮一边的正常速率周游，那些接收到唤醒msg之前未启动的结点均被删除(不参与选举) ② 延迟：当来自一个id为i的节点的msg到达一个醒着的节点时，该msg以2i速率周游，即每个收到该msg的节点将其延迟2i-1轮后再转发。 Note： 一个msg到达一个醒着的节点之后，它要到达的所有节点均是醒着的。一个msg在被一个醒着的节点接收之前是处在1st阶段 (唤醒msg，非延迟) ，在到达一个醒着的节点之后，它就处于2nd阶段，并以2i速率转发(非唤醒msg，延迟) ③ 没收规则 a) 一个参与的节点收到一个msg时，若该msg里的id大于当前已看到的最小(包括自己)的id，则没收该msg； b) 一个转发的节点收到一个msg时，若该msg里的id大于当前已看到的最小(不包括自己)的id，则没收该msg。 算法 Alg3.2 同步leader选举 var waiting : init Φ; asleep : init true; //加上relay更好 ？ : init false; 1: 设R是计算事件中接收msg的集合 2: s:= Φ;// the msg to be sent 3: if asleep then { 4: asleep:=false; 5: if R = Φ then { // pi未收到过msg，属于自发唤醒 6: min:=id; //参与选举 7: s:=s+{id}; // 准备发送 }else{ //已收到过msg，但此前未启动，被唤醒故Pi不参与 8: min:=∞; //选举，置min为∞ ，使其变为relay结点 // relay:=true; ？ } } 9: for each m in R do {// 处理完收到的m后相当于从R中删去 10: if m min then { // 收到的id较小时通过 11: become not elected; // Pi未被选中 //可用relay控制使转发节点不延迟？ 12: 将m加入waiting且记住m何时加入; //m加入延迟转发 13: