并发与资源竞争（基本网） 》 P P P llxx@ustc.edu.cn 16/112
llxx@ustc.edu.cn 16/112 并发与资源竞争（基本网） P1 t1 P2 P3 t2 P4 t3 P5 P6 t4
例：停等协议（链路层协议） ·设甲、乙双方进行通信（同步？异步？） -甲发信息帧，乙回送确认帧。 -双方约定采用“停止等待协议”。 ·中间两个库所表示信道（半双工or全双工？） ommunication Protocol Send msg Send Ack Receive Ack 17
例：停等协议（链路层协议） • 设甲、乙双方进行通信(同步？异步？) –甲发信息帧，乙回送确认帧。 –双方约定采用“停止等待协议”。 • 中间两个库所表示信道（半双工or全双工？）
停等协议的执行过程 Communication Protocol Communication Protocol Send msg Receive 5 Send msg PI P2 end Ack Send Ack Receive Ack Recei 多 19 Communication Protocol Communication Protocol send msg P2 SdAc末 Rece Receive Ack 21
停等协议的执行过程
例：协议3（在停等协议上增加帧类型和信道状态 STC 功能：发送方向接收方交替发送帧0和帧1，第一次发帧0。 每个状态用三个字母表示：YZ X:发送方正发送的帧序号， 为0或1： Y:接收方正等待的帧序号，为0或1： Z:信道状态，为0,1，Ack,-(空) 初始状态为(000) To 00 01 010 Who Frame Frame network Transition runs? accepted emitted layer 0 (frame lost) 000 01A 1 R 0 A Yes 2 A 4 2 R 1 A Yes 3 4 S A 0 10A 111 5 R 0 A No 6 6 R 1 A No 0 8 (timeout) 0 8 s (timeout) 1 101 10 8 (a) (b)
例：协议3（在停等协议上增加帧类型和信道状态） 功能：发送方向接收方交替发送帧0和帧1，第一次发帧0。 每个状态用三个字母表示：XYZ X：发送方正发送的帧序号，为0或1； Y：接收方正等待的帧序号，为0或1； Z：信道状态，为0，1，Ack，-（空）。 初始状态为（000）
A Petri net model for protocol 3 C:Seg 0 on the line D:Ack on the line E:Seq 1 on the line Emit 0 10 Process 2 8 Wait Expect 1 for Ack 0 -Loss Timeout Reject 0 D Emit 1 11 Process 1 Ack L055 Wait 9 Expect 0 for E Ack 1 Timeout Reject 1 7 Loss Sender's Channel Receiver's state state
A Petri net model for protocol 3