课件计算机网络教程.pptVIP

3.5.4 点对点协议PPP(续) F A C 协议 信息I FCS F 0x7E 1字节 1字节 2字节 不超过1500字节,是字节的整数倍 2字节 0x7E 协议字段： 若为0x0021时，表示信息字段为IP数据报； 若为0xC021时，则信息字段为链路控制数据; 若为0x8021时，则信息字段为网络控制数据 3.5.4 点对点协议PPP(续) 数据透明传输的实现： 采用面向比特方式时，运用比特填充技术 采用面向字符方式时，用0x7D(即0111101)作为“转义”字符： 若信息中出现标志字符F，则将其变为0x7D5E; 若信息中出现ASCII码的控制字符，则在其前加一个转义字符0x7D； 若信息中出现转义字符本身，则将其变为0x7D5D 3.5.4 点对点协议PPP(续) 用户拨号上网使用PPP协议的状态转换图 3.3.4 流量控制的滑动窗口机制(续) 协议 发送窗口 接收窗口 停等 1 1 回退n 大于1，小于等于2m-1 1 选择重传 大于1，小于等于2m-1 大于1 可以用滑动窗口的观点来统一看待停等、回退n和选择重传这三种协议，其差别仅在其窗口的大小 3.3.4 流量控制的滑动窗口机制(续) 为何回退n的发送窗口要小于等于2m-1 ？ 假设发送过程发送帧0到7；帧7的捎带确认回到发送过程；发送过程发送另外8帧，序号再次为0到7；现在帧7的另一个捎带确认到达。那么，是第二次发送的8帧都成功了还是全部丢失了？ 3.3.4 流量控制的滑动窗口机制(续) 为何选择重传的发送窗口要小于等于2m-1 ？ 发送窗口 接收窗口 初态 0 1 2 3 4 5 6 7 发送0-6 收到0-6 重发0-6 §3.4 协议描述与验证 由于协议的复杂性,因此要用一些形式化的、数字的确技术来描述和验证 有限状态机FSM(Finite State Machine)模型 Petri网模型 3.4.1 有限状态机模型 一种用来描述系统的常用方法 系统被描述成有限的状态，在一定的前提条件下会发生一系列的输入事件，这些事件使得系统采取相应的动作，并从一个状态转换成另一个状态，我们称为状态的变迁或转换（transition） 3.4.1 有限状态机模型(续) 发送方状态： 0 发送了0号帧 1 发送了1号帧 接收方状态： 0 期待接收0号帧 1 期待接收1号帧 信道状态： 0 信道上有0号帧 1 信道上有1号帧 A 信道上有ACK帧 S 信道处于空帧 以最简单的数据链路层停等协议为例 系统状态:(发送方状态、接收方状态、信道状态) 3.4.1 有限状态机模型(续) 序号 事件简称 状态变迁 0 丢失 (XXX)→(XXS) 1 接收0号帧 (000)→(01A) 2 发送1号帧 (01A)→(111) 3 接收1号帧 (111)→(10A) 4 发送0号帧 (10A)→(000) 5 拒收0号帧 (010)→(01A) 6 拒收1号帧 (101)→(10A) 7 重发0号帧 (0XS)→(0X0) 8 重发1号帧 (1XS)→(1X1) (000) (01A) (111) (10A) (00S) (01S) (010) (11S) (101) (10S) 0 7 1 2 3 4 0 5 7 0 8 6 0 8 0 0 3.4.1 有限状态机模型(续) 系统状态:(发送方状态，接收方状态，正向数据信道状态，反向Ack信道状态） 正向信道状态： 0 信道上有0号帧 1 信道上有1号帧 S 信道处于空帧 反向信道状态： A 信道上有ACK帧 S 信道处于空帧 前面图中Ack帧是不带确认帧号的，将状态进一步细化，如：若将传送数据帧的正向信道和传送Ack帧的反向信道分开。 3.4.1 有限状态机模型(续) 正反向信道分开的状态变迁图 3.4.2 Petri网模型 由德国学者C. A. Petri首先提出的一种描述方法 本质上也是一种有限状态机模型，但是它允许多种状态变迁同时交叉发生，对于异步并发过程的描述更为方便 Petri网的描述中有四种基本元素：位置（place）、标记（token）、变迁（transition）和带箭头的孤线（arc）。 3.4.2 Petri网模型(续) A B 1 2 具有2个位置和2个转换的Petri网 圆圈〇，表示可能进入的状态 位置中的小圆黑点，某个位置中有标记就表示已处于该状态 变迁用一根直线段来表示 在状态变迁过程中，由于每个变迁的输入弧线数并不一定与输出弧线数相等，因而整个图中的标记数是不守恒的，可能增多或减少 3.4.2 Pe