第8章分布式系统中路由算法.pptVIP

超立方单播路由算法：一个3维立方路由的例子 例中：源节点u=000目标节点w＝110。从点000到点110有下列三个点分离路径： 路径1（红色）：000?100?110 路径2（蓝色）：000?010?110 路径3（绿色）：000?001?011?111?110 超立方单播路由算法：超立方多路径路由的性质 超立方多路径路由具有如下性质： 若两个节点u和w在n维立方中的海明距离是k．则，在u和w之间就有n个点分离路径。在这n条路径中，有k个路径长度为k，其余n-k个路径长度为k+2。 000和110之间的距离|000⊕110|＝2。因此，上述路径中有两条长度为2，一条长度为4 路径1（红色）：000?100?110 路径2（蓝色）：000?010?110 路径3（绿色）：000?001?011?111?110 超立方单播路由算法：超立方多路径路由的性质 类似地．000和100之间的三条点分离路径为： 路径1（红色）：000?100 路径2（绿色）：000?001?101?100 路径3（蓝色）：000?010?110?100 000和100之间的海明距离|000⊕100|=1 Ford分布式算法：举例：第一轮 对于P1， 邻节点为P2,P3，由当前标记可知P2,P3距离P5都为∞，则P1不能通过任何节点到达P5，P1仍标记为(.,∞) 同理，P2仍标记为(.,∞) 对于P3， 邻节点为P1,P2,P4,P5，其中D(1)= D(2)=D(4)=∞,D(5)=0 由于P3到P5的距离20+D(5)为20小于当前D(3)= ∞,表明P3经P5有最短路径可达P5 故P3标记为(P5, 20) 同理，P4标记为(P5, 2)。 Ford分布式算法：举例：第二轮 对于P1， 邻节点为P2,P3，由当前标记可知P5距离P2为∞，距离P3为20，则P1通过P3有最短路径到达P5，D(1)为P1到P3的距离与P3到P5的距离之和为5+20=25，故P1标记为(P3,25)； 对于P2， 邻节点为P1,P3,P4，计算P2到Pi (i = 1,3,4)的距离与当前D(i)之和，并取最小值，可见计算P2到P4的距离与当前D(4)之和最小为3，说明P2经P4有最短路径到达P5，故P2标记更新为(P4,3)； 同理，更新P3和P4的标记为(P4,4)，(P5,2) Ford分布式算法：举例：第三轮 按同样方法更新P1,P2,P3,P4的标记为： (P2,7),(P4,3),(P4,4),(P5,2)； 由于此后再重复以上算法试图更新每一个节点的标记都不会改变其标记，算法结束。 Ford分布式算法：举例小结 Ford分布式算法（cont’d） 上例中，所有节点的行为在经过几轮之后都被同步了 上述同步方法仅仅是为了便于演示 同步方法是指所有节点在每一轮中都更新一次标记 Ford算法也适用于异步系统， 其中每个节点以随机的速率更新其D(v)值。 ARPAnet路由算法 ARPAnet的路由算法是一个可靠、实用的分布式路由算法，也是今天流行的Internet 路由算法的前身。 与Ford算法比较相似 不同的是 算法中的节点都维护一个一般化的路由表，以便记录通过不同邻接节点的最短路径。 这个路由表包含从这个节点到所有其它节点的最优路径的延迟。 每隔固定的时间间隔，路由表就被传送到它的所有邻接节点，直到最小延迟表在某一点达到稳定为止。 ARPAnet路由算法：举例 举例说明：用ARPAnet路由算法时，P1，P2，P3，P4的一般路由表，仍以P5为目标节点 每个表格都包含通过每个邻居到达P5的最短距离 假设在时刻0前已经达到了一个稳定点 即网络延迟表如右图 P2 7 P3 9 P1 11 P3 7 P4 3 P1 12 P2 6 P4 4 P5 20 P2 4 P3 6 P5 2 ARPAnet路由算法：举例（contd） 假设0时刻，P4与P5之间链接失效，则它更新它的路由延迟表，并传输给P4的所有邻节点，从而使那些节点的路由延迟表发生变化，直到产生一个新的稳定点 P2 7 P3 9 P1 11 P3 7 P8 3 P1 12 P2 6 P4 4 P5 20 P2 4 P3 6 P5 2?∞ ? ARPAnet路由算法：举例（contd） P2 7 P3 9 P1 11 P3 7 P4 3?5 P1 12 P2 6 P4 4?6 P5 20 P2 4 P3 6 P5 ∞ ? P2 7?9 P3 9?11 P1 11 P3 7?9 P4 5 P1 12 P2 6?8 P4