第三章：协议原理(2).ppt

协议交互实例
双向对等带应答交互
为实现某种功能,通常只需一方发起请求,另一方应答即可。但双方几乎同时发起,可不认为是冲突,而在发送应答后被认为是完成了交互
电子科技大学—通信与信息工程学院
1
Req
Req
ack
Req
Req
ack
注意:如果是独立的单向交互出现了双向情况,未收到应答的一方还将继续等待应答
双向对等
即使没有收到应答,在发出ack后认为交互操作完成
协议交互实例
四种带应答交互方式
独立单向交互
一方独立发起Req,与另一方是否发起无关
双向关联交互
一方发起Req后,触发对方也发起Req
带握手的单向交互
同独立单向交互,但交互前还有一个握手交互
双向对等交互
双方为达到同一目标发起的Req,一方先发起,另一方就不再发起,或双方同时发起,同时认可
电子科技大学—通信与信息工程学院
2
协议实现技术
在存在传输错误情况下,协议实现技术
避免协议错误动作
防止协议功能失效
电子科技大学—通信与信息工程学院
3
传输出错对交互的影响(独立单向)
电子科技大学—通信与信息工程学院
4
Req
Ack
定时器T
Ack先到达
Req
Ack
定时器T
Ack未到达(1)
Req
Ack
定时器T
Ack后到达
Req
定时器T
Ack未到达(2)
ACK先到达
ACK后到达
ACK达到情况
到达
未到达
因Ack出错
因Req出错
协议实现技术
协议实体软件模型
事件驱动,减少实体占用CPU资源
电子科技大学—通信与信息工程学院
5
Req
上实体请求事件,实体简单处理后返回
函数调用及返回的事件
请求下实体时,下实体也将能尽快返回
下实体的Ind,实体也是简单处理后返回
用Ind通知上实体,也是简单处理后返回
定时器通知,也是尽快处理后返回
事件驱动
例:发送PDU后,等待应答的处理过程
电子科技大学—通信与信息工程学院
6
Req
1、上实体传输DU,封装成PDU,放入发送队列(或直接发送)、保留副本后,函数返回
2、收到应答,删除PDU副本后,函数返回
一个动作分为两次操作实现,避免软件空循环等待
Ind触发实体完成应答操作
Req触发实体进入发送PDU操作,留下了等待应答的操作
等待应答期间,CPU资源交给了OS去调度
事件驱动
更多实现细节:
如果等不到对方应答,将重发PDU,再等待应答
电子科技大学—通信与信息工程学院
7
Req
1、上实体传输DU,封装成PDU,放入发送队列(或直接发送)、保留副本后,启动定时器,函数返回
Req触发实体进入发送PDU操作,留下了等待应答的操作
发送函数
、收到应答,删除PDU副本、停止定时器后,函数返回
Ind触发实体完成应答操作
接收函数
定时器通知,重发保留的PDU,重启定时器,函数返回
定时器函数
观测点:如果收到应答在前,定时器通知还会出现吗?
事件驱动
协议动作描述
两个状态,三个独立功能函数
电子科技大学—通信与信息工程学院
8
准备发送
等待应答
OnSend(…)
OnAck(…)
OnTimer(…)
Int OnSend(ICI,DU)
{
pdu=封装(DU);
RTB=copy(pdu);
sendReq(newICI,pdu)
Tid=startTimer(时长);
return 0;
}
Int OnAck(ICI,pdu)
{
delete RTB;
delete pdu;
StopTimer(Tid);
return 0;
}
Int OnTimer()
{
pdu=copy(RTB);
sendReq(newICI,pdu);
RestartTimer(Tid);
return 0;
}
Req
Ind
事件驱动
驱动及状态控制软件架构
电子科技大学—通信与信息工程学院
9
准备发送
等待应答
OnSend(…)
OnAck(…)
OnTimer(…)
Req
Ind
Int 实体Entry()
{
e=取事件();
switch(state)
{
case 准备发送:
Onsend(,);
state = 等待应答;
break;
case 等待应答:
if(==Ind)
{
OnAck(,);
state = 准备发送;
}
else
OnTimer();
break;
}
return 0;
}
Events
Entry()
Timer
协议动作描述(独立单向)
协议实体的状态机描