第6章 分布式路由算法

一般类型的算法适合于所有类型的网络，但对某种特定网络可 能不是很有效。
最短型和非最短型
多数算法都是最短路径算法，即追求源-目的的最短跨步（跳跃、 链接）数或代价总和，但因此可能导致网络某一部分的拥塞；
非最短型的算法可以将消息路由到一个更长的路径（实现网络 的负载均衡）从而避免拥塞。
《分布式系统》(六) 08-04
操作：使用v的每个邻接节点w的当前值D(w)更新D(v)的值，方 法是计算D(w)+l(w,v)并使：D(v) := min{D(v), D(w)+l(w, v)}；更 新v的标记：用使上述表达式取值最小的邻接节点代替n，并用 新值代替D(v)。（寻找是否能通过其它邻居有一条到达目标节 点更短的路径！）
各非目标节点分散、异步地计算出它到目标节点的最短 路径（最小代价、及其出口）。
《分布式系统》(六) 08-04
16
Ford分布式算法
具体算法：
每个节点都有(n, D(v))的标记。这里D(v)代表该节点到 目标节点的最短路的当前值；n是截至目前得到的最短 路径的下一个节点。
步骤：
1. 初始化。设d是目标节点。令D(d)=0，将其它节点标记为(. , )； 2. 对所有节点的最短路径做标记。即对每个不为d的节点v做如下
《分布式系统》(六) 08-04
5
交换
存储-转发和分割-通过的主要区别：
存储-转发对所选路径长度很敏感； 分割-通过对所选路径长度几乎不敏感（或在没有网络拥
塞的情况下不敏感）；
因此，使用存储-转发模型的目标就是减少路径长度， 使用分割-通过模型的目标是减少网络拥塞。 衡量存储-转发模型下的路由性能有2个主要参数：
路由函数代表性的定义有：
依赖于目标的。这种函数仅仅依赖于当前和目标节点。
依赖于输入的。这种函数依赖于当前和目标节点，以及 接收消息的邻近链接（节点）。
依赖于源。这种函数依赖于源节点、当前节点和目标节 点。
依赖于路径。这种函数依赖于目标节点和从源节点到达 目标节点的路径。一般地，这样的路径是用路由消息来 表示的。
步骤：
1. 初始步骤。设N={s}。对不在N中每个节点v，如果它与s直接相 连接则令D(v)＝l(s, v)，否则令D(v)＝；
2. 找到不在N中的一个节点w使D(w)最小并且将w加入N中，对所 有不在N中的节点更新D(v)：D(v) := min{D(v), D(w)+l(w, v)}。 （沿当前的最短路径扩散计算出到其它节点的最短距离！）
P3 ( . , )
(P5, 20) (P4, 4) (P4, 4)
P4 ( . , )
(P5, 2) (P5, 2) (P5, 2)
P2
4
1
P1
5
3
P4
2
P5
2
20
P3
《分布式系统》(六) 08-04
18
ARPAnet/Internet的路由策略
基本与Ford类似，也是分布式、通过路由（可达） 信息的逐步传递扩散的，能适应网络中链路状态的 变化。
一般类型（General Purpose ）：满足一般性的目标； 特殊类型（Special Purpose）：满足特定的目标。
重点讨论在一般环境下最短路由算法和三种通信方 式在特定环境下的路由算法。
《分布式系统》(六) 08-04
2
导论
分布式系统的进程间通信主要通过消息传递来实现：
邻接PE（直接消息传递实现直接通信） 非邻接PE（通过中间PE传递消息实现间接通信）
2
20
P3
节点PE(或进程)
P5
例子网络图
《分布式系统》(六) 08-04
13
Dijkstra集中式算法
从源节点开始，以集中式方式（集中在源节点上执行 算法）的决定型路由算法。
在源节点集中计算出它到所有其它节点的最短路径（最 小代价）。
具体算法：
设D(v)是从源s到节点v的距离（沿着给定路径的链接代 价的总和），设l(v, w)是节点v和w之间的代价。
冗余型算法可以通过多条路径向目的地发送多个相同的拷贝， 只要至少有一个拷贝到达目的地就算成功；（到达的多个相同 的拷贝将被丢弃）
非冗余型算法不具备这种特性。而多数的路由算法是非冗余型 的。
利用冗余型的方法，可以将一个消息分成多个片段，同时通过 多条路径传输，以降低整体的通信延迟。
死锁避免型和非死锁避免型
效果依次增强，我们主要使用依赖于目标的路由函数。
《分布式系统》(六) 08-04
12
一般类型的最短路径路由
一般类型网络拓扑下的最短路径路由算法，介绍：
Dijkstra集中式算法 Ford分布式算法 ARPAnet（Internet）的路由策略
链接代价
(通信延迟、费用等)
4
P1
5
P2
1
3
P4
2
分布式进程间通信的目标就是在源和目的间通过中 间 PE 传 递 消 息 时 ， 实 现 高 效 性 （ 如 较 低 的 通 信 延 迟）。有几个方面的影响因素：
拓扑：定义了PE间是如何连接的； 路由：决定如何选择路径以便高效将消息传递到目的地；
流量控制：决定在消息沿路径传递时如何分配资源（如信 道、缓冲区等）；
死锁避免型算法可以保证不发生死锁； 非死锁避免型算法可能发生死锁（进入一个死循环路径）。
《分布式系统》(六) 08-04
11
路由函数
PE在收到消息后，通过调用路由函数决定把这条 消息传送到本地存储器或转发到一个邻接的节点。
每次通过路由函数计算以决定转发方向，而不是查询由 路由算法维护的路由表。
3. 重复步骤2，直到所有的节点都包含在N中。
《分布式系统》(六) 08-04
14
Dijkstra集中式算法
以Dijkstra集中式算法应用于例子网络，设P5是源 节点。
步 初始 1 2 3 4
N {P5} {P5, P4} {P5, P4, P2} {P5, P4, P2, P3} {P5, P4, P2, P3, P1}
源根据目标节点的位置决定发送方向（使用路由函 数） ：如果目标离顺时针方向近，则顺时针方向将 消息发送给下一个中间节点，否则选择逆时针方向 将消息发送给下一个中间节点。
一个消息通过几个中间节点按照顺时针或逆时针方 向传递，直到到达目标节点。
m2 to 6
P2 P1
P3
m2 to 4
P4
P6
P5
《分布式系统》(六) 08-04
时间步数（time steps）：消息到达目标之一要经过的最 大链接数；
通信步数（traffic steps）：消息到达所有目标所经过的 不同链接数的总和。
《分布式系统》(六) 08-04
6
端口模型
有2种端口模型：
单端口：一次只能在一个输出端口上发送 所有端口：一次可以在所有输出端口上发送
第6章 分布式路由算法
分布式路由算法
高效的进程间通信（高效路由）对分布式系统的性 能很重要。 根据目标个数的不同，进程间通信方式有：
一对一（单播，unicast，点对点）； 一对多（组播，multicast）； 和 一对所有（广播，broadcast）。
根据用途，路由算法有多种划分方法。如：
3. 重复步骤2，直到不再有改变发生。（或算法一直执行）
《分布式系统》(六) 08-04
17
Ford分布式算法
以Ford分布式算法应用于例子网络，设P5是目标 节点。
步 初始 1 2 3
P1 ( . , )
( . , )
(P3, 25) (P2, 7)
P2 ( . , )
( . , )
(P4, 3) (P4, 3)
P2
4
D(1) 7 7 7
1
D(2)
3 3 3 3
D(3)
20 4 4 4 4
D(4)
2 2 2 2 2
P1
5
3
P4
2
P5
2
20
P3
《分布式系统》(六) 08-04
15
Ford分布式算法
从目标节点开始扩散，每个节点和其邻居交换代 价和路由信息，直到这些节点的路由表达到最短 路径的要求为止。这是一个以分布式方式（分布在 非目标节点上执行算法）的决定型路由算法。
而根据发送的消息是否一样，又有两种通信情况：
一般通信：一个源给不同的目标发送相同消息；
个性化通信：一个源给不同的目标发送不同消息。
《分布式系统》(六) 08-04
8
路由
路由算法可以从多个方面去划分：
特殊类型和一般类型
特殊类型的算法利用特定网络（如网格、超立方等）的拓扑属 性，往往对这类特定网络效率很高；
书上例：P117。
Internet中RIP路由（一种距离向量路由）用到的算 法。
《分布式系统》(六) 08-04
19
特殊类型网络中的单播
为了简化讨论，假设所有特殊类型网络中的链接代 价都为一。 在环形、网状、圆环和n维立方等特殊类型网络中单 播的最短路由。
《分布式系统》(六) 08-04
20
双向环中的单播
21
双向环中的单播
算法的DCDL表示：
P(i)::= *[ start-a-routing •receive-a-data-clockwise •receive-a-data-counterclockwise ]
start-a-routing::= [ destination is closer along clockwise direction send(m,des) to P((i+1) mod n)
分割-通过（cut through，直通）