通信软件设计基础第二版01.ppt

协议动作和谓词 协议动作：协议在状态转换（迁移）过程中执行的操作。这些操作包括： 输出信息（SDU和PDU） 设置定时器 （开始计时） 复位定时器（停止计时） 修改协议变量 执行一系列动作（操作）的过程（函数） 其它操作（如读、写文件等） 谓词：描述协议动作执行时的条件语句。用布尔表达式来 表示 。 3.3.6 协议状态机 3.4 描述协议状态的迁移情况，可以用事件状态表或有限状态机来  描述 。 事件状态表：用表格形式详细说明协议状态与协议事件和协议 动作的关系 有限状态机：用状态迁移图来描述协议状态与协议事件和协议 动作的关系 协议状态机反映了协议元素之间的关系: 协议状态与输入事件和协议过程之间的关系； 协议的过程与协议动作之间的关系； 协议过程的执行结果与状态机转入的状态之间的关系。 当前状态 输入事件 谓词 协议动作 下一状态 状态1 事件1 动作1 状态2 状态2 事件2 谓词1成立 动作2 状态3 状态2 事件2 谓词1不成立 动作3 状态4 … 协议事件状态表一般格式 协议状态机 3.4 协议状态机 3.4 扩展有限状态机（EFSM），EFSM可以定义成一个四元系统S,i,E,T，其中： S： 系统状态集，状态数是有限的。 i： 系统初始状态，i∈S；一个系统有且仅有一个初始状态。 E: 输入事件集。 T: 转移函数集，是从S×E到S的映射。 协议状态机 3.4 转移函数定义为： Si Sj ∈ T, Si,Sj ∈ S “t”代表转移函数，有以下四种形式： （1） t = e/p:a； （2） t = e/?p:a； （3） t = e/a； （4） t = e。 其中，e代表输入事件，e∈E； p为谓词，表示条件；a表示动作。 t 协议状态机 3.4 fin+ack/ack fin/ack disconnect_req ack disconnect_req/ fin fin/ack、 disconnect_ind connection_resp/ syn+ack ack Twait_ack /fin syn+ack/ack、 connection_conf syn/ack、 connection_conf CLOSED WAIT_RESP SYN_SENT ESTABLISHED SYN_RECVD CLOSE_WAIT FIN_WAIT_1 FIN_WAIT_2 LAST_ACK CLOSING TIME_WAIT connection_req /syn syn /connection_ind Tw_resp Tcon_req/s_times2: disconnect_ind Tcon_req/ s_times3:syn data+ack/data_ind data_req/data+ack disconnect_resp /fin ack fin/ack Tdelay TCP协议的有限状态机图 协议状态机 3.4 两种描述方式比较： 事件状态表：直观易懂，便于编程实现。 有限状态机：整体感强，便于理解和交流。 中转和路由 3 2.1.3 n层内的多个中转实体形成一个逻辑网络 ? 路由 工 作 模 式 连接控制管理 2.2.1 用户之间连接的建立、维护及释放的管理 连接的合法性检查 密钥交换 QoS协商 资源分配与回收 连接目标名与地址的翻译 通讯方式管理 2.2.2 半双工通讯 n层协议要进行“发信权”管理 全双工通讯 n层协议要具有并发的收发功能 数据发送/接收管理 2.2.3 五种功能： (1) PDU的封装/解封装 (2) SDU分段/装配 (3) SDU拼接/分离 (4) PDU分割/组合 (5) 通信量填充 数据发送/接收管理 2.2.3 (n)SDU (n)PCI (n)PDU (n-1)SDU (n-1)SDU (n)PDU (n)PCI (n)SDU PDU的封装/解封装 1 nSDU nPCI1 DATA1 nPCIk DATAk nPDU1 nPDUk 分段 数据发送/接收管理 2.2.3 SDU分段/装配 2 装配 nSDU nPCI1 DATA1 nPCIk DATAk nPDU1 nPDUk 数据发送/接收管理 2.2.3 SDU分段/装配 2 (n)SDU1 (n)SDU2 (n)SDUi (n)PCI