上海交通大学 计算机网络3数据链路层.ppt

PPP的功能 PPP是Internet标准 （RFC1661 1662 1663） 处理错误监测 支持多种协议（IP、IPX、DECnet等） 连接时允许协商IP地址 允许身份认证 PPP --- 点对点协议 PPP的功能 PPP的组成部分 PPP的帧格式 PPP的链路控制协议 PPP的工作过程 PPP的组成部分 PPP提供了串行点对点链路上传输数据报的方法，包括以下三个部分： 串行链路上封装数据报的方法，既支持异步链路，也支持面向bit的同步链路 扩展的链路控制协议（Link Control Protocol - LCP），用于建立、配置和测试数据链路的连接 网络控制协议（NCP）簇，支持各种网络层协议 PPP --- 点对点协议 PPP的功能 PPP的组成部分 PPP的帧格式 PPP的链路控制协议 PPP的工作过程 PPP的帧格式 PPP的帧格式类似于HDLC，但是面向字符的协议（以字节为单位） 1 1 1 1/2 可变 2/4 1 标志地址控制协议 有效载荷 校验和 标志标志域：固定与HDLC类同 地址域：固定 控制域：缺省即无序号帧（即毋需确认） 协议域：不同的协议不同的代码 载荷域：可变长，缺省最长1500字节 校验和：缺省为2字节，也可定义为4字节，仅是头部的校验和 由于地址域和控制域基本固定，所以在LCP中省略 PPP --- 点对点协议 PPP的功能 PPP的组成部分 PPP的帧格式 PPP的链路控制协议 PPP的工作过程 PPP的链路控制协议LCP PPP的LCP （Link Control Protocol）提供了建立、配置、维护和终止点对点链接的方法 LCP的过程按以下四个阶段进行： 链路的建立和配置协调 链路质量检测 网络层协议配置阶段 关闭链路 LCP帧的类型 LCP帧的类型有三种 ： 链路建立帧：建立和配置链路 链路终止帧：终止链路 链路维护帧：管理、维护链路 PPP --- 点对点协议 PPP的功能 PPP的组成部分 PPP的帧格式 PPP的链路控制协议 PPP的工作过程 PPP的工作过程 发送端PPP首先发送LCP帧，以配置和测试数据链路 在LCP建立好数据链路并协调好所选设备之后，发送端PPP发送NCP帧，以选择和配置一个或多个网络协议 当所选的网络层协议配置好后，便可将各网络层协议的分组发送到数据链路上 配置好的链路将一直保持通信状态，直到LCP帧或NCP帧明确提示关闭链路，或有其它的外部事件发生（如用户干预等） 一次使用PPP协议的过程 初始状态 建立连接：建立成功到3)，否则到1) 选项协商：协商成功到4)，否则到7) 身份认证：认证成功到5)，否则到7) 配置网络：网络配置完后到6) 数据传输：数据传输完后到7) 释放链路：回到1) 一次使用PPP协议的状态图 Tnbm P241 Fig. 3-28 建立/取消线路的简化阶段流程图 死 终止 打开 线路检测到 完成 线路丢弃掉 两边认可选项 NCP配置 失败 失败 身份认证成功 身份认证 建立 网络 检查内容 检查有无死锁 不管事件如何发生，接收方不会连续收到两个0帧或两个1帧 每个状态都是可达的 协议描述和验证 有限状态机模型 （finite state machine） Petri网模型 由于实际使用的协议非常复杂，需有形式化的和数学的方法来验证协议的正确性 Petri网模型 Petri网有四个基本元素： 位置（place）：系统可能处的状态，用圈表示 转换（transition）：状态将作转换，用粗线段表示 弧（arc）：包括输入弧和输出弧，用带箭头的弧线表示 标记（token）：系统目前所处的位置，用园点表示 A 1 B 2 位置 弧 标记 转换 Tnbm P232 Fig. 3-22 具有2个位置和2个转换的Petri网 Petri网模型运算规则 当一个转换的输入弧中至少有一个输入标记时，则状态转换允许 转换允许的状态一旦被触发，则从每个输入位置上移走一个标记，并在每个输出位置上填上一个标记 每个转换或位置上，如果输入弧与输出弧的个数不相等，则标记不会守恒，即意味着可能会出错 协议3的Petri模型 发送方、接收方和通道的状态都分别表示 发送方正常运行的状态变迁轨迹自成环路（灰线） 接收方正常运行的状态变迁轨迹自成环路（灰线） 通道正常运行的状态变迁轨迹自成环路（