- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
4.怎样解决碰撞问题 生成规则只标识出在哪个地方发生了碰撞,碰撞的对象是哪些报文,它没有给出解决碰撞的方法。这个问题留给协议设计者自己解决。 图6.14利用优先级别方法解决cr(connection request)报文的冲突问题,M方的优先级别高于N方。这种方法类似于交替功能协议的组合规则。当M发出cr之后,如果收到N的cr报文,丢弃之,它仍然处于结点3。当N发出cr之后,如果收到M的cr,它从结点3转换到结点2。对于M和N来说,结点2含义是已收到对方的cr,准备发cc(connection confirm);结点3的含义是已发出cr,等待cc报文的到来;结点4表示联接已成功;结点l为初始结点。 图6.15示出另外一种解决图6.14中cr碰撞的非优先级别方法,当M和N处于结点3时,无论是碰撞报文+cr(cr),还是+cc,它们都进人结点4。 6.4.2 生成规则的使用要点 * 设P1=(M1,N1)和P2=(M2,N2)为两个安全CFSM网,S1和S2分别为它们的出口集合,C为的S1一个子集,我们定义,P1,C和P2的组合<P1,C,P2>为一个安全的(M,N)网: (1)将C中的M1的终止结点和M2的初始结点联结起来,M1的初始结点变为M的初始结点; (2)将C中的N1的终止结点和N2的初始结点联结起来,N1的初始结点变为N的初始结点; 图6.2中和联结起来形成,C=(2,2)。 图6.3中和联结起来形成,C=[(2,2),(3,3)],这两个图中,P1和P2相同,但由于所选择的C不同,联结起来的不同。 图6.4中自身联结形成,C=(4,4)。注意:<P1,(4,4)>和<P1,(4,4),P2>的结果不同。 6.2.3 多阶段网的链接规则 6.2.3 多阶段网的链接规则 6.2.3 多阶段网的链接规则 上述联接规则提供了一种从“协议零部件”组装成一个多阶段协议的方法。实际工作中,多阶段协议的设计应分三步进行。 1.得出各个协议零部件的CFSM网,验证它们是否为安全CFSM网,算出它们的出口结点对; 2.根据目标协议的要求,确定联接方案,即确定哪个CFSM网的出口结点对和哪个CFSM网联接; 3.联接所有零部件的CFSM网,形成目标协议的CFSM网,并对目标协议的CFSM进行简化。 6.2.3 多阶段网的链接规则 设P1=(M1,N1)和P2=(M2,N2)为两个CFSM网,将P1中M1的初始结点和P2中M2的的初始结点结合起来,P1中N1的的初始结点和P2中的的N2初始结点结合起来,我们就得P=(M,N)网。 如果(M,N)网有能力执行P1的功能或者P2的功能,但不能同时执行两者的功能,我们称这样的网为交替功能的CFSM网,其协议为交替功能协议(protocol with alternative functions)。 6.3 交替功能协议的综合方法 交替功能协议是常见的一种协议。例如,AB协议中S实体只负责报文的发送,R实体只负责报文接收。为了得到一个有双向通讯能力的系统我们可以将AB协议(S,R)和它的反向协议(R,S)复合起来形成交替功能协议,复合后的协议中,每个协议实体都有报文发送功能和报文接收功能,两个功能交替执行。 但是,按照上述方法得到的交替功能协议,即便P1和P2是安全CFSM网,也不能不保证P是安全CFSM网,它往往存在两个问题:同步和碰撞。 6.3 交替功能协议的综合方法 当下述两个条件之一出现时,同步问题产生: (1) M和N执行不同的功能,例如M执行P1功能而N执行P2功能; (2) 执行一个功能时发出的报文到达对方时,由于报文传输延时,对方已不执行原来的功能。 也就是说协议功能的对应关系遭到破坏。比如M1对应N1;M2对应N2 6.3.1 同步问题 (1.5,1.5,E,E),(2,1.5,E,g1),(2,2,E,E),(2,3,g2,E),(3,3,E,E),(1.5,3,E,g3),(6,3,E, g3.h1),(6,4,E,h1) 图6.5中, P1=(M1,N1)和P2=(M2,N2)都是两个安全的CFSM网。然而当P走过下列执行序列之后,P进入不确定的状态:(1.5,1.5,E,E),(2,1.5,E,g1),(2,2,E,E),(2,3,g2,E),(3,3,E,E),(1.5,3,E,g3),(6,3,E, g3.h1),(6,4,E,h1)。图6.5中的交替功能协议P的问题在于,从状态(1.5,3,E,g3)开始,M已执行P2的功能而N仍然处于P1的功能,即P处于(6,3,E,g3.h1)。当P处于(6,4,E,h1)状态时,对N来说,h1报文是属于P2功能的报文,而它处于P1的功能中。 设V0,W0,U0和R0分别为P1=(
文档评论(0)