分布式系统中的路由算法.pptxVIP

分布式路由算法

主要内容（contd）一般类型网络的分布式路由算法自适应和无死锁路由算法网格和圆环中的容错单播算法超立方中的容错单播算法容错组播算法

有效的进程间通信对分布式系统的性能很重要01根据目标个数的不同，进程间通信的类型有：02一对一（单播）03一对多（组播）04一对所有（广播）05进程间通信类型

通信延迟及其原因在基于消息传递的分布式系统中，消息一般在到达目标节点之前可能要通过一个或多个中间节点，故存在通信延迟。分布式系统中的通信延迟依赖于如下四个因素：网络拓扑：通常用图表示定义处理单元（PE）之间是如何连接的路由决定如何选择路径以便将消息传递到目的地。

流量控制01流量控制决定在消息沿路径传递时如何分配网络资源，包括：信道缓冲区02交换03这是一个实际的机制，它决定消息如何从一个输入信道转到一个输出信道。04通信延迟及其原因（contd）

路由算法类型包括：特殊vs.一般最短vs.非最短确定型vs.适应型源路由vs.目标路由容错型vs.非容错型冗余型vs.非冗余型死锁避免型vs.非死锁避免型路由算法类型

一般型路由算法01010203040506适合于所有类型的网络但是对于某种特定网络不是很有效特殊型路由算法只对特定的网络类型有效，如超立方、网格等这些算法由于利用了特定网络的拓扑属性，所以效率往往较高。0203040506一般型路由和特殊型路由

最短路径算法01对给定的源-目标对给出一个代价最小的路径02路径的代价03所有跳步（连接）代价的线性和。04缺点：可能会导致网络某一部分的拥塞05非最短路由算法06可以将消息路由到一个更长的路径从而避免拥塞。07在某些情况下，随机路由可能是有效的。08最短路由算法和非最短路由算法

01确定型路径算法02路由路径只在网络的拓扑发生改变时才发生变化，03而且它不使用任何有关网络状态的消息。04适应型路由算法05路径根据网络流量而改变。确定型路由和适应型路由

01容错型路由算法02即使出现错误，被路由消息也能保证送到。03非容错型路由算法04假定路由不会出错05路由算法不必动态调整自己的活动。容错型路由和非容错型路由

冗余型路由算法01只要这些路径中的一个是好的，那么就会至少有一个消息拷贝到达目标。03非冗余型路由算法05用几个边分离（或节点分离）的路径向同一个目标发送多个拷贝。02必须保证有且只有一个拷贝被接收04对每个目标只需转发消息的一个拷贝。06冗余型路由和非冗余路由

死锁避免型路由和

非死锁避免型路由01死锁避免型路由算法02通过仔细设计的路由算法，保证不发生死锁。03非死锁避免型路由算法04没有特别的措施来预防或避免死锁。05可能发生死锁，也可能不发生死锁。

路由函数01定义一个消息如何从源节点路由到目标节点。02每个PE在收到一个消息以后，都将决定：03把这条消息传送到本地存储器，还是04转发到一个邻接的PE05有许多不同的路由函数的定义，例如06依赖于目标的、依赖于输入的、依赖于源的、依赖于路径的等等07本章仅使用依赖于目标的路由函数08路由函数

依赖于源的：依赖于源节点、当前节点和目标节点依赖于目标的：仅仅依赖于当前节点和目标节点依赖于输入的：依赖于当前节点和目标节点以及邻近的链接依赖于路径的：依赖于目标节点和从源节点到达当前节点的路径路由函数类型

许多分组交换网，如法国的Transpac或美国的ARPAnet都使用最短路径路由1本节介绍三个一般类型网络的2最短路径路由算法：3Dijkstra集中式算法4Ford分布式算法5ARPAnet路由算法6一般类型网络的最短路径路由算法

一般类型网络的最短路径路由算法：

分布式系统图示每个链接的数字代表链接代价。4右图显示了一个分布式系5一般地，一个分布式系统可以用图来表示：1节点代表PE（处理单元）；2边代表通信链接；3统的例子6

第一种类型的算法以集中式的风格进行路由1Dijkstra集中式算法可以发现一个源节点到所有其他节点的最短路径。2Dijkstra集中式算法需求：3需要了解给定网络的全局拓扑消息，即：4网络中所有其他节点的列表；5节点之间的所有链接；6每个链接的代价。7Dijkstra集中式算法

Dijkstra集中式算法：

算法描述设D(v)是从源s到节点v的距离（沿给定路径的链接的代价的和）l(v,w)是节点v和w之间的代价Dijkstra算法如下：设N={s}；

对不在N中的每一个节点v，令D(v)=l(s,v)。

对那些没有连接到s的节点赋值为∞。找到不在N中的一个节点w，使D(w)最小并将w加入N；

然后对所有不在N中的其它节点计算并更新D(v)：

D(v):