第8章分布式系统中的路由算法.ppt
《第8章分布式系统中的路由算法.ppt》由会员分享,可在线阅读,更多相关《第8章分布式系统中的路由算法.ppt(88页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、 分布式路由算法分布式路由算法 主要内容(主要内容(contd)l一般类型网络的分布式路由算法l自适应和无死锁路由算法 l网格和圆环中的容错单播算法l超立方中的容错单播算法l容错组播算法 进程间通信类型进程间通信类型l有效的进程间通信对分布式系统的性能很重要l根据目标个数的不同,进程间通信的类型有:l一对一(单播)l一对多(组播)l一对所有(广播)通信延迟及其原因通信延迟及其原因l在基于消息传递的分布式系统中,消息一般在到达目标节点之前可能要通过一个或多个中间节点,故存在通信延迟。l分布式系统中的通信延迟依赖于如下四个因素:l网络拓扑:l通常用图表示l定义处理单元(PE)之间是如何连接的l路由
2、l决定如何选择路径以便将消息传递到目的地。通信延迟及其原因通信延迟及其原因(contd)l流量控制l流量控制决定在消息沿路径传递时如何分配网络资源,包括:信道缓冲区l交换l这是一个实际的机制,它决定消息如何从一个输入信道转到一个输出信道。路由算法类型路由算法类型l路由算法类型包括:l特殊 vs.一般l最短 vs.非最短l确定型 vs.适应型l源路由 vs.目标路由l容错型 vs.非容错型l冗余型 vs.非冗余型l死锁避免型 vs.非死锁避免型 一般型路由和特殊型路由一般型路由和特殊型路由l 一般型路由算法l适合于所有类型的网络l但是对于某种特定网络不是很有效l特殊型路由算法l只对特定的网络类型
3、有效,如超立方、网格等l这些算法由于利用了特定网络的拓扑属性,所以效率往往较高。最短路由算法和非最短路由算法最短路由算法和非最短路由算法l最短路径算法l对给定的源-目标对给出一个代价最小的路径l路径的代价l所有跳步(连接)代价的线性和。l缺点:可能会导致网络某一部分的拥塞l非最短路由算法l可以将消息路由到一个更长的路径从而避免拥塞。l在某些情况下,随机路由可能是有效的。确定型路由和适应型路由确定型路由和适应型路由l确定型路径算法l路由路径只在网络的拓扑发生改变时才发生变化,l而且它不使用任何有关网络状态的消息。l适应型路由算法l路径根据网络流量而改变。容错型路由和非容错型路由容错型路由和非容错
4、型路由l容错型路由算法l即使出现错误,被路由消息也能保证送到。l非容错型路由算法l假定路由不会出错l路由算法不必动态调整自己的活动。冗余型路由和非冗余路由冗余型路由和非冗余路由l冗余型路由算法l用几个边分离(或节点分离)的路径向同一个目标发送多个拷贝。l只要这些路径中的一个是好的,那么就会至少有一个消息拷贝到达目标。l必须保证有且只有一个拷贝被接收l非冗余型路由算法l对每个目标只需转发消息的一个拷贝。死锁避免型路由和死锁避免型路由和 非死锁避免型路由非死锁避免型路由l死锁避免型路由算法l通过仔细设计的路由算法,保证不发生死锁。l非死锁避免型路由算法l没有特别的措施来预防或避免死锁。l可能发生死
5、锁,也可能不发生死锁。路由函数路由函数l路由函数l定义一个消息如何从源节点路由到目标节点。l每个PE在收到一个消息以后,都将决定:1)把这条消息传送到本地存储器,还是2)转发到一个邻接的PEl有许多不同的路由函数的定义,例如l依赖于目标的、依赖于输入的、依赖于源的、依赖于路径的等等l本章仅使用依赖于目标的路由函数 路由函数类型路由函数类型l依赖于源的:依赖于源节点、当前节点和目标节点l依赖于目标的:仅仅依赖于当前节点和目标节点l依赖于输入的:依赖于当前节点和目标节点以及邻近的链接l依赖于路径的:依赖于目标节点和从源节点到达当前节点的路径 一般类型网络的最短路径路由算一般类型网络的最短路径路由算
6、法法l许多分组交换网,如法国的Transpac或美国的ARPAnet都使用最短路径路由l本节介绍三个一般类型网络的最短路径路由算法:lDijkstra集中式算法lFord分布式算法lARPAnet路由算法 一般类型网络的最短路径路由算法:一般类型网络的最短路径路由算法:分布式系统图示分布式系统图示l一般地,一个分布式系统可以用图来表示:节点代表PE(处理单元);边代表通信链接;每个链接的数字代表链接代价。l右图显示了一个分布式系统的例子 Dijkstra集中式算法集中式算法l第一种类型的算法以集中式的风格进行路由lDijkstra集中式算法可以发现一个源节点到所有其他节点的最短路径。lDijk
7、stra集中式算法需求:l需要了解给定网络的全局拓扑消息,即:网络中所有其他节点的列表;节点之间的所有链接;每个链接的代价。Dijkstra集中式算法:集中式算法:算法描述算法描述设D(v)是从源s到节点v的距离(沿给定路径的链接的代价的和)l(v,w)是节点v和w之间的代价Dijkstra算法如下:1.设N=s;对不在N中的每一个节点v,令D(v)=l(s,v)。对那些没有连接到s的节点赋值为。2.找到不在N中的一个节点w,使D(w)最小并将w加入N;然后对所有不在N中的其它节点计算并更新D(v):D(v):=minD(v),D(w)+l(w,v)重复步骤2,直到所有节点都在N中 Dijks
8、tra集中式算法:集中式算法:算法举例算法举例l上述算法作用于如图所示的网络:以P5为源节点1.集合N只包含源节点P5即N=P5。对不在N中的节点P1,P2,P3,P4计算:D(1)=D(2)=;(由于P1和P2不与P5直接相连)D(3)=l(P5,P3)=20D(4)=l(P5,P4)=2 Dijkstra集中式算法:集中式算法:算法举例(算法举例(contd)2.取D(1),D(2),D(3),D(4)中具最小值的对应节点P4加入到集合N中,N=P5,P4,对不在N中的其它节点P3,P2,P1更新D(1)=minD(1),D(4)+l(4,1)=min,2+=,D(2)=minD(2),D
9、(4)+l(4,2)=min,2+1=3,D(3)=minD(3),D(4)+l(4,3)=min20,2+2=4。Dijkstra集中式算法:集中式算法:算法举例(算法举例(contd)3.取D(1),D(2),D(3)中具最小值的对应节点P2加入到集合N中,N=P5,P4,P2,对不在N中的其它节点P3,P1更新D(1)=minD(1),D(2)+l(2,1)=min,3+4=7D(3)=minD(3),D(2)+l(2,3)=min4,3+3=4。Dijkstra集中式算法:集中式算法:算法举例(算法举例(contd)4.取D(1),D(3)中具最小值的对应节点P3加入到集合N中,N=P
10、5,P4,P2,P3对不在N中的其它节点P1更新D(1)=minD(1),D(3)+l(3,1)=min7,4+5=7 Dijkstra集中式算法:集中式算法:算法举例(算法举例(contd)5.取D(1)中具有最小值的对应节点P1加入到集合N中,N=P5,P4,P2,P3,P1,此时,节点都在N中,算法结束。Dijkstra集中式算法:集中式算法:连续的步骤,如下表:连续的步骤,如下表:Ford分布式算法分布式算法l第二种类型的路由算法采用分散式的方法进行路由l分布式算法l每个节点在交互式的基础上和其邻节点交换代价和路由信息,直到这些节点的路由表到达最短路径的要求为止 Ford分布式算法(分
11、布式算法(contd)lFord分布式算法也包括两个部分:l一个初始步骤l一个最短距离计算的步骤l这里,最短距离指一个给定节点和目标节点之间的距离l当所有节点都带有1)一个表示它们到目标节点距离的标记以及2)沿着最短路径到达目标节点要经过的下一个节 点的标记时,算法结束。Ford分布式算法:分布式算法:算法描述算法描述l每个节点v,都有(n,D(v)的标记。lD(v)代表该节点到目标节点的最短距离的当前值;ln是截至目前得到的最短路径的下一个节点。1.初始步骤:设d是目标节点。令D(d)=0,将所有其它节点标记为(.,)Ford分布式算法:分布式算法:算法描述(算法描述(contd)2.最短距
12、离计算步骤:对所有节点的最短路径做标记:对每个节点vd:使用v的每个邻节点w的当前D(w)计算D(w)+l(w,v),使得D(v):=minD(v),D(w)+l(w,v)更新v的标记:用使上述表达式取值最小的邻接节点代替n,并用新值代替D(v)。对每个节点重复上述操作,直到不再有改变 Ford分布式算法:分布式算法:举例举例l上述算法作用于如图所示的网络:以P5为目标节点l初始:令D(5)=0,将其他节点P1,P2,P3,P4都标记为(.,)Ford分布式算法:分布式算法:举例:第一轮举例:第一轮l对于P1,l邻节点为P2,P3,由当前标记可知P2,P3距离P5都为,则P1不能通过任何节点到
13、达P5,P1仍标记为(.,)l同理,P2仍标记为(.,)l对于P3,l邻节点为P1,P2,P4,P5,其中D(1)=D(2)=D(4)=,D(5)=0l由于P3到P5的距离20+D(5)为20小于当前D(3)=,表明P3经P5有最短路径可达P5l故P3标记为(P5,20)l同理,P4标记为(P5,2)。Ford分布式算法:分布式算法:举例:第二轮举例:第二轮l对于P1,l邻节点为P2,P3,由当前标记可知P5距离P2为,距离P3为20,则P1通过P3有最短路径到达P5,D(1)为P1到P3的距离与P3到P5的距离之和为5+20=25,故P1标记为(P3,25);l对于P2,l邻节点为P1,P3
14、,P4,计算P2到Pi(i=1,3,4)的距离与当前D(i)之和,并取最小值,可见计算P2到P4的距离与当前D(4)之和最小为3,说明P2经P4有最短路径到达P5,故P2标记更新为(P4,3);l同理,更新P3和P4的标记为(P4,4),(P5,2)Ford分布式算法:分布式算法:举例:第三轮举例:第三轮l按同样方法更新P1,P2,P3,P4的标记为:(P2,7),(P4,3),(P4,4),(P5,2);l由于此后再重复以上算法试图更新每一个节点的标记都不会改变其标记,算法结束。Ford分布式算法:分布式算法:举例小结举例小结 Ford分布式算法(分布式算法(contd)l上例中,所有节点的
15、行为在经过几轮之后都被同步了l上述同步方法仅仅是为了便于演示l同步方法是指所有节点在每一轮中都更新一次标记lFord算法也适用于异步系统,l其中每个节点以随机的速率更新其D(v)值。ARPAnet路由算法路由算法lARPAnet的路由算法是一个可靠、实用的分布式路由算法,也是今天流行的Internet 路由算法的前身。l与Ford算法比较相似l不同的是l算法中的节点都维护一个一般化的路由表,以便记录通过不同邻接节点的最短路径。l这个路由表包含从这个节点到所有其它节点的最优路径的延迟。l每隔固定的时间间隔,路由表就被传送到它的所有邻接节点,直到最小延迟表在某一点达到稳定为止。ARPAnet路由算
16、法:路由算法:举例举例l举例说明:用ARPAnet路由算法时,P1,P2,P3,P4的一般路由表,仍以P5为目标节点l每个表格都包含通过每个邻居到达P5的最短距离l假设在时刻0前已经达到了一个稳定点l即网络延迟表如右图P27P39P111P37P43P112P26P44P520P24P36P52ARPAnet路由算法:路由算法:举例(举例(contd)l假设0时刻,P4与P5之间链接失效,则它更新它的路由延迟表,并传输给P4的所有邻节点,从而使那些节点的路由延迟表发生变化,直到产生一个新的稳定点P27P39P111P37P83P112P26P44P520P24P36P52 ARPAnet路由算
17、法:路由算法:举例(举例(contd)P27P39P111P37P435P112P26P446P520P24P36P5P279P3911P111P379P45P112P268P46P520P246P368P5ARPAnet路由算法:路由算法:举例(举例(contd)l上述过程一直持续到达到一个新的稳定点,P1,P2,P3,P4分别用了20,19,17,20个时间间隔,如下图所示。ARPAnet路由算法(路由算法(contd)lARPAnet路由算法中 每个节点对所有邻居都发送相同消息,对接收节点不做任何标识。l这样,某些节点就会接收无用消息。l在链接节点失效时候,这些消息会导致我们不期望的循环
18、。l例如ARPAnet路由算法:路由算法:不期望的循环,举例不期望的循环,举例l例如,P4和P5链接失效时,P4的最短路径为4,但是这个4来自于P2,而P2到P5的最短路径原来就依赖于P4与P5的链接,由于P4使用P2的信息时,P2的信息尚未得到更新,导致出现不期望的循环:P4P2P4P27P39P111P37P43P112P26P44P520P24P36P52ARPAnet路由算法:路由算法:不期望循环的消除不期望循环的消除l循环的消除是在路由消息中包含路径的所有节点,并把这些消息发给邻居节点。l然而,它的效率较低,因为它的额外开销太大。lShin和Chou,提出了一个避免循环算法:只需在路
19、由消息中存储路径中最近的l个节点,l与相应网络中循环的最大长度有关特殊类型网络的单播路由算法特殊类型网络的单播路由算法l一般类型网络的路由算法适用于所有拓扑类型的网络。但是,l每个节点需要维持路由延迟表,而且l不适用于特殊类型的网络,原因是效率太低。l得益于特殊网络的拓扑特性,可以不使用路由延迟表而构造最短路径路由算法l本节介绍三种特殊网络的单播路由算法:l双向环单播路由算法l网格和圆环单播路由算法l超立方单播路由算法双向环单播路由算法双向环单播路由算法l在双向环上进行决定型单播路由非常简单:l消息沿着一个方向被转发:顺时针或者逆时针l由于消息可以沿两个方向发送,所以由源节点根据目标节点的位置
20、决定发送方向:l如果目标离顺时针方向近,则用顺时针方向;l否则选择逆时针方向。l一个消息通过几个中间节点按照顺时针或逆时针方向传递,直到到达目标节点。双向环单播路由算法(双向环单播路由算法(contd)l双向环上的单播路由算法可以使用两条路径:l一条沿着顺时针,l另一条沿着逆时针。l消息l也可以被复制,然后每个方向发一个拷贝;l也可以分成两半,每半转发到一个方向。双向环单播路由算法:双向环单播路由算法:算法一般化算法一般化l双向环是k元1维立方,即只有一维度。l若维度大于1,例如网格和超立方,就用有序维度路由l每次将每个消息向一个维度路由l圆环:在一个维度中的各点以环的方式连接起来,带有周边连
21、接l网格:一个维度中的各点以线性排列的形式连接起来,没有周边连接双向环单播路由算法:双向环单播路由算法:算法一般化(算法一般化(contd)l环形路由方法可用于在一个维度中对消息进行路由。l沿着一个线性排列路由是很简单的。l当消息到达每个维度的对等者时,就使用下一个维度。l通过使经过的各个维度保持一个单调的顺序,就可以保证不会发生死锁。l但这种方法适应性差。网格和圆环单播路由算法网格和圆环单播路由算法l网格和圆环是k元2维立方。l圆环有周边邻接,l网格没有周边连接。l类似地,3维网格和圆环是k元3维立方。网格和圆环单播路由算法:网格和圆环单播路由算法:2维网格的维网格的XY路由路由l在2维网格
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 分布式 系统 中的 路由 算法
限制150内