协议综合技术.ppt

第六章 协议综合技术 图6.7 添加接受弧解决碰撞 第六章 协议综合技术 算法步骤—2：如果竞争条件（2）存在，那么执行类似算法步骤—1的算法（从略）。 图6.6中存在的碰撞问题按照算法6.1增加两条弧就得到解决（图6.7）：M中增加闭环接收弧+h1，N中增加一条结点4到结点2的接收弧+g1，添加闭环接收弧+h1 和接收弧+ g1的原因解释如下：因为图6.6中的M1和N2的初始结点分别有发送弧-g1忽然-h1，因此竞争条件（1）存在，执行算法步骤—1的a．（在M中添加一条闭环接收弧）和b．（在N中添加一条非闭环接收弧）。当M正在执行P1的协议功能时，它接收h1报文，但由于报文是P2的报文，它丢弃之。当N正在执行P2的协议功能时，它接收g1报文，虽然g1报文是P1的报文，N放弃执行P2功能而执行P1协议功能。这就是P1网的优先级高于P2网的结果。如果算法的前提改为P2网的优先级高于P1网。那么算法执行结果是相反的，即N中添加闭环接收弧而M中添加非闭环接收弧。 第六章 协议综合技术 图6.8模拟的是IBM BSC协议的联接建立阶段（call setup phase）的交替功能协议。图中： ENQ Link Setup Enquiry ACK Affirmative Acknowledgement NAK Negative Acknowledgement WAK Weak Acknowledgement 第六章 协议综合技术 图6.8 IBM BSC协议 (P,S)网的功能是：P发出联接请求（ENQ）之后，如果收到NAK或WAK，就返回到初始结点；如果收到ACK，就进入结点3。（P’,S’）网的功能是和(P,S)功能相反的：S’发出ENQ之后，如果它收到NAK或WAK，就返回到原始结点；如果收到ACK就进入结点6，（P+P’,S+S’）网位(P,S)网和（P’,S’）网的组合网，组合网有碰撞问题，即P和S’可能同时发出ENQ（竞争条件（1））。解决这种碰撞的方法按算法6.1，是在P+P’的结点2添加闭环接收弧＋ENQ，在S+S’的结点2之间添加接收弧＋ENQ（图6.8）。 第六章 协议综合技术 6.3.4同步条件 为了解决交替功能协议的同步问题，我们必须首先解决什么样的CFSM网是同步的CFSM网的判定问题。同步CFSM网的判定法则基于规范CFSM(Well－formed CFSM)概念。 如果一个CFSM的初始结点没有任何输入弧，那么我们称它为规范CFSM，记作RF(M)这里M为非规范化的CFSM，将非规范的CFSM转换成规范CFSM的方法是引入新结点，使初始结点的输入弧指向引入的新结点。图6.9给出和转换成RF(M1)和RF(N1)的例子，M1和N1与图6.5中M1和N1相同。 第六章 协议综合技术 第六章 协议综合技术 判定CFSM网是否同步的问题变成判定它所对应的规范CFSM网是否同步的问题。设P=(M,N)的规范CFSM网为（RF(M),RF(N)）,那么（M,N）网为同步CFSM网的条件是：如果（V,W,X,Y）为（RF(M),RF(N)）的任意可达结点，那么RF(N)中必须存在一条从W开始的一串接收符取尽Y中所有报文；相反，RF(M)中必须存在一条从V开始的接收符取尽X中所有报文。 利用上述法则，我们就可以判定图6.9中的（M1，N1）网不是同步的CFSM网。当RF(M1)到达结点1 ′ ， RF(N1)达到结点4时，RF(N1)发送报文g4（即X=g4），报文不能被RF(M1)接收。 第六章 协议综合技术 现在我们给出交替功能协议的同步条件。假定P1=(M1,N1)和P2=(M2,N2)为两个CFSM网，按照算法6.1组合成的交替功能协议P=(M,N)为同步CFSM网的条件是： （1） P1和P2分别是两个同步的安全的CFSM网； （2） P1和P2的M1，N1，M2，N2都不存在闭环发送弧路径（即从结点j开始j为止有一串发送弧）。 上述定理的证明是非常麻烦的。满足两个条件所形成的交替功能协议一定是同步的，但是，不满足两个条件所形成的交替功能协议也可能是同步的。为了确保算法6.1产生的交替功能协议是同步的，我们应该使和满足上述两个同步条件。 图6.5中，P=(M,N)存在同步问题是因为P1=(M1,N1)不是同步的CFSM网。图6.10中，因为M1存在一个由-g1和-g2构成的闭环发送路径，因此P存在同步问题。 第六章 协议综合技术 第六章 协议综合技术 6.4 单功能协议的综合方法(不讲解) P.Zafiropulo等人提出的生成规则是最早的协议综合方法之一，它适合于