- 3
- 0
- 约1.09万字
- 约 54页
- 2017-03-28 发布于湖北
- 举报
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=(
原创力文档

文档评论(0)