《计算机网络教程》高传善 第3章 数据链路层-3.pptVIP

《计算机网络教程》电子教案;本讲内容;3.4 协议描述与验证;3.4 协议描述与验证有限状态机模型;3.4 协议描述与验证（续） 有限状态机模型;3.4 协议描述与验证（续） 有限状态机模型;表3.5 事件及状态变迁表 注:表中X代表为任何状态.;根据前表改写：其主变迁路径是事件4、1、2、3不断周而复始地出现，即发送方发送0号帧、接收方接收0号帧、发送方发送1号帧、接收方接收1号帧、……。这时，协议是能正确工作的。当信道出错发生时，就会偏离主路径，比如说1、0、7、5、0、7、5、2、0、8、3、4、0、7、1、……。 ;3.4 协议描述与验证（续） 有限状态机模型;画出新状态变迁图如图所示。该图中某些有向边旁注有2+5、1+2、3+4、4+6等，表明是两个事件（变迁）都发生了。例如2+5表示2号事件和5号事件都发生了，至于是先发生2号事件（发送方发送1号帧）或先发生5号事件（接收方拒收0号帧）则是无关紧要的 ;3.4 协议描述与验证Petri网;3.4 协议描述与验证（续） Petri网;我们仍以Ack帧不带帧号的停等协议为例来看一看如何用Petri网来描述网络协议 ;3.4 协议描述与验证（续） Petri网;3.4 协议描述与验证（续） Petri网;3.4 协议描述与验证（续） Petri网;本讲内容;3.5 数据链路层协议举例;3.5 数据链路层协议举例（续）;3.5 数据链路层协议举例起止式异步规程;3.5 数据链路层协议举例（续） 起止式异步规程;3.5 数据链路层协议举例（续） 起止式异步规程;3.5 数据链路层协议举例（续） 起止式异步规程;3.5 数据链路层协议举例面向字符的同步协议BSC;3.5 数据链路层协议举例（续） 面向字符的同步协议BSC;3.5 数据链路层协议举例（续） 面向字符的同步协议BSC;3.5 数据链路层协议举例（续） 面向字符的同步协议BSC;3.5 数据链路层协议举例（续） 面向字符的同步协议BSC;3.5 数据链路层协议举例面向比特的同步协议HDLC;3.5 数据链路层协议举例（续） 面向比特的同步协议HDLC;3.5 数据链路层协议举例（续） ;练习题