专栏首页take time, save time三十天学不会TCP,UDP/IP网络编程 -- TCP中的智慧之连续ARQ

三十天学不会TCP,UDP/IP网络编程 -- TCP中的智慧之连续ARQ

突然发现上一篇文章贴图有问题,关键我怎么调也调不好,为了表达歉意,我再贴一篇gitbook上的吧,虽然违背了我自己的隔一篇在这里发一次的潜规则~其余完整版可以去gitbook(https://www.gitbook.com/@rogerzhu/)看到。

如果对和程序员有关的计算机网络知识,和对计算机网络方面的编程有兴趣,虽然说现在这种“看不见”的东西真正能在实用中遇到的机会不多,但是我始终觉得无论计算机的语言,热点方向怎么变化,作为一个程序员,很多基本的知识都应该有所了解。而当时在网上搜索资料的时候,这方面的资料真的是少的可怜,所以,我有幸前两年接触了这方面的知识,我觉得我应该把我知道的记录下来,虽然写的不一定很好,但是希望能给需要帮助的人多个参考。我的计划是用半年时间来写完这一系列文章,这个标题也是我对太多速成文章的一种态度,好了,废话不再多扯了,下面是其中的一节内容,更多内容可以去gitbook上找到。

TCP是一个可靠的传输协议,这个可靠是靠着众多富有智慧的设计保证的,而了解这其中的奥秘不仅仅是认识TCP的核心,而且对生活中协议的实现也有很多借鉴价值,首先就从最基础的停等协议开始吧。

停等协议

其实停等的概念在前面介绍TFTP的时候就介绍过,停等协议其实更加正统的名字应该是属于停止等待ARQ(Automatic Repeat-reQuest)的一部分,翻译成中文还真的一时想不到用什么比较贴切。为了更加能够符合大多数人的通用名称,在后面的文字中,我就用ARQ来代指停等这种过程了。就像在前面看到的,停止等待ARQ有两个重要的方面,一个是停止和等待的过程,另外一个是编号识别,首先还是从最简单的正常模式开始看看什么叫做停止等待ARQ。

这副图中水平箭头的两端标识两个通信端,上面的叫做S端,下面的叫做R端吧。还可以看到在S端和R端都有若干6个格子组成的长方形,这些长方形分为两个部分,在S端黄色的表示的是其接收缓冲区,白色的那一列是发送缓冲区。而下面的R端黄色的发送缓冲区,白色的是接收缓冲区,和S端相反。而每个格子表示一个包,也就是说S端有三个包要发送。

首先S端发送了1号包,在发送的过程中S端会拷贝一份这个1号包,用处在下面就会介绍,在S端的第二个长方形中用虚线表示了拷贝。而R端在接收到了这个包之后,会把1号包放到自己的接收缓冲区中,然后产生一个对1号包的ACK包,用黄色格子并且标号1表示。这个回复包会发送回S端作为对1号数据包的确认。至此,一次通信过程就完成了,后面的过程才会进行。S端等着R端的确认才进行下一次,这样保证了每一次的通信对于双方都是可靠的。

但是,由于网路本身并不是可靠的,发送出去的1号包可能会因为网络网路本身的问题就消失了,这个消失并不会通知到S端,在如此一个复杂的网络里要设计出这样一个机制不仅费时而且太占用资源。所以在TCP中,超时重发是一个最简单而又有效的办法,虽然会浪费一些时间,但是相比于前面所述的机制成本要小太多。

除了包发着发着就消失了,另外一种可能出现的情况是包在图中迷路了,花了好多时间才到达对端,这个时间比发送端的重传计时器都长,这个叫做延迟,这个和网游里网络延迟不是一个概念。下面就要详细的看看这些异常情况,只有理解了这些异常情况才能继续进一步理解TCP中的ARQ。

首先第一种情况是发送端的包在网络中丢失了,同样,我还是画了图。

假设在接下来的发送过程中,2号包在发送的过程中丢失了,这个时候TCP实现中的拷贝包就有帮助了,在等待了一段时间之后,也就是重传定时器到期了之后,再次重新发送这个2号包。注意,这个重传计时器的时间肯定要比一个包在信道中往返时间(RTT)要长一些。为什么?因为如果不是这样,发送端如何确认是丢包了还是只是等待的人还没有来?这个知识点,在面试的时候问人能答上来的不会超过一半。所以在图中,这个空隙我故意画个大的,在这里假设第二次传输就成功了,在经过第二次重传之后,就回到上面一种情况。

下面介绍第二种可能发生的错误的情况,假设发送端的包正确的到达了接收端,但是接收端传回来的确认却丢失了。

如果是R端的回复丢失,其实站在S端这边,他是不可能知道到底是3号包丢失了还是回送的3号包的应答包丢失了,在S端,这两种行为没有任何区别。所以在重传计数器到期之后,S端会重传其保存的3号副本。而在这个包再次到达对端之后,R端的接收缓冲区中已经有了3号包了,这时又一次到达了3号包,这个时候R端就会直接丢弃掉这个重复到达的3号包,因为R端已经拥有了。此时其实R端就能知道自己回复丢失了,因为受到了重复包,所以他再一次的发送这个对3号包的应答。

上面所说的都是包在传输过程中丢失的情况,除了这种情况,还会有一种包走着走着就迷路了,但是经过了一段时间之后,它又在各种路由协议的指导下找到了正确的道路,到达了对端。而偏偏就在这个迷路的时间里,S端因为半天没有收到对端的回复以为自己的包丢失了,所以又重发了一遍的包。这个情况用图来表示更加清晰。

在这个图中R端的3号应答包迷失了,在重传定时器到期之后S端又重传了3号包,这个包让R端知道自己的3号应答包因为某种原因没有到达对端。此时,R端再次发送3号应答包,并且成功到达了对端。可过了一段时间之后,那个迷路的3号应答包又一次的到达了S端,而这个时候S端的接收缓冲区中已经有了3号应答包,S端会简单的丢弃掉这个重复的3号应答包。

等待的过程总是漫长的

上面说的等待停止ARQ确实可以保证数据可靠的在一个不可靠的信道上传输,但是有一个很现实的问题,对于这种每次发送一个包然后再确认一个包效率实在是太低,上面所画的只是一次通信的过程,如果我们按照上面的方式把6次成功的过程画在一个图上就是下面 这张图的上面的样子。

而下面这个图就是现在要介绍的连续ARQ协议了,连续ARQ相对于停等ARQ,其信道的利用率大大提高,同样发送6个包,前面的停等ARQ比连续ARQ要花了更多的时间。说了这么多,那么什么叫做连续ARQ呢?连续ARQ就是不要那么快的发送确认,等接收端接收到几个包之后再发送确认,这样做的好处,第一明显的是减小了通信的流量,其次也省去了很多时间,这一点, 从图中的长短也能看出来其变化。

在实际的实现过程中,TCP会维护一个被称之为“窗口”的东西和累积确认的机制来实现这个连续ARQ。用数学的概念来描述,可以理解为是一个将要发送所有数据的一个子集,这个子集中包括的是可以发送的数据包范围。抽象成一个图的话就如下面一样:

比如说要发送的数据包一共有8个,这些包都存在于TCP发送端的发送缓冲区中,而图中绿色的就是目前可以一次发送最大的数据包的范围,称之为“滑动窗口”,具体的来说就是在窗口内的数据包可以一次性发出去而不需要等待对端的确认,而不是像停等模式那样非要一包一包的发然后等待对方的确认。

而对端会根据自身的情况选择可以确认的数据包,以上图为例,对端在收到2号数据包之后发送了对编号为2的ACK包,在TCP的设计中,ACK包的中的确认序号标识该序号之前的包都已经收到,这种机制叫做“累积确认”。发送端在接收到2号ACK包之后,就可以更改最大可以一次性发送的数据包范围,因为这个时候发送端已经知道有1,2号包已经妥善的投递到对端。这种操作就像我们推窗户一样,“窗户”向后面“滑动”,是不是很形象?所以有时候计算机工作者也很艺术很生活的。

正如前面所述的,任何异常情况都是TCP这样一个声称“可靠”的协议需要考虑和解决的。在上面的“窗口”机制中,“窗口"中的所有数据包可以一次性发出而不需要等待任何确认。那么假设这么一种情况,如果1-5的包一次性发出去了,但是2,3号包丢失了,最后1,4,5号包到了,对端会怎么样?按照前面的“累积确认"机制,对端不可能发送编号为5的ACK包,因为这样会导致发送端认为5号包以前的都妥善的接收了。实际上,对端只能发送对1号包的ACK包,因为这样才能不打破“累积确认"的规则。那么发送端的窗口只能向后移动一个包,这种机制叫做"Go-back-N",俗成"滚回未确定的时候",在这个情况下,发送端只能 go back 到2号包,重新发送2-6号包。

滑动窗口的概念在TCP中十分的经典,在下一篇中会更加详细的讲述这个著名的"滑动窗口"。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 三十天学不会TCP,UDP/IP网络编程 - 绅士的开始

    经过了过年的忙碌和年初的懈怠一切的日子,我又开始重新更新了~这是最新的一篇~完整版可以去gitbook(https://www.gitbook.com/@rog...

    一心一怿
  • 初级程序员面试不靠谱指南(七)

    六.c语言的"面向对象"      我仍然能记得我大学C++课本的第一句话是,"c++是一种面向对象的编程语言",当时第一反应是试图从汉语字面上理解“面向对象”...

    一心一怿
  • 初级程序员面试不靠谱指南(四)

    三、改变出生的static和extern 1.程序是怎样炼成的?IDE的发展带来的一个好处就是在写程序更多的可以关注在写这件事情上了,比如在vc里面,当你酣畅淋...

    一心一怿
  • TCP头部分析与确认号的理解

    1、TCP的特点: 基于字节流 面向连接 可靠传输 缓冲传输 全双工 流量控制 2、头部格式和说明 图源百度。如下图示,就是TCP包的头部结构。可以看到这个头部...

    xcywt
  • 音视频播放疑难杂症分析和解决 :序篇

    音视频相较于其他业务开发,门槛比较高的一个原因开发过程遇到问题比较多,而且每个问题背后都需要一定的理论基础和丰富的调试经验的才能分析出来。有些音视频开发小白,遇...

    用户5796036
  • CODING 携手优普丰,道器合璧打造敏捷最佳实践

    随着全球进入到信息化时代,越来越多的企业迫切地寻求新的商业模式,要求迭代、探索、不断加速创新以响应快速变化的市场。如今一系列新兴概念如敏捷开发、极限编程、微服务...

    CODING
  • 一篇文章搞懂InfluxDB时区

    InfluxDB默认以UTC时间存储并返回时间戳,当接收到一个时序数据记录时,InfluxDB将时间戳从本地时区时间转换为UTC时间并存储,查询时,Influx...

    hanj4096
  • 自己动手开发智能聊天机器人完全指南(附python完整源码)

    人工智能时代,开发一款自己的智能问答机器人,一方面提升自己的AI能力,另一方面作为转型AI的实战练习。在此把学习过程记录下来,算是自己的笔记。

    数据饕餮
  • 明亮解我“工厂模式无用”之惑

    明亮,是我的大学同学,我们一个在北京,一个在深圳,昨晚两人视频关于工厂模式聊到深夜。

    草捏子
  • 第一季 | Django REST 自定义用户登录

    Django REST框架构建Web API。Django网络应用开发的5项基础核心技术包括模型(Model)的设计,URL 的设计与配置,View(视图)的编...

    小团子

扫码关注云+社区

领取腾讯云代金券