网络编程入门从未如此简单(二)：假如你来设计TCP协议，会怎么做？

素颜马尾好姑娘i 2022-11-01 01:34 208阅读 0赞

本文原题“你管这破玩意儿叫TCP？”，由作者闪客sun发布于“低并发编程”公众号，本次收录时有改动和修订

## 1、引言 ##

网络编程能力对于即时通讯技术开发者来说是基本功，而计算机网络又是网络编程的理论根基，因而深刻准确地理解计算机网络知识显然能夯实你的即时通讯应用的实践品质。  
  
本文风格类似于52im社区里的《[网络编程懒人入门][Link 1]》、《[脑残式网络编程入门][Link 2]》两个系列，但通俗又不失内涵，简洁又不简陋，非常适合对计算机网络知识有向往但又有惧怕的网络编程爱好者们阅读，希望能给你带来不一样的网络知识入门视角。  
  
**本篇将运用通俗易懂的语言，配上细致精确的图片动画，循序渐进地引导你理解TCP协议的主要特性和技术原理，让TCP协议的学习不再如此枯燥和生涩，非常适合入门者阅读。**

## 2、系列文章 ##

**本文是该系列文章中的第2篇：**

*  《[网络编程入门从未如此简单(一)：假如你来设计网络，会怎么做？][Link 3]》
 *  《[网络编程入门从未如此简单(二)：假如你来设计TCP协议，会怎么做？][TCP]》（本文）

本文主要涉及计算机网络的传输层，希望让TCP协议的学习不再枯燥和生涩。

## 3、初识传输层 ##

**你是一台电脑，你的名字叫 A。**  
  
![网络编程入门从未如此简单(二)：假如你来设计TCP协议，会怎么做？\_1-1.png][TCP_1-1.png]   
  
经过上篇《[假如你来设计网络，会怎么做？][Link 3]》的一番折腾，只要你知道另一位伙伴 B 的 IP 地址，且你们之间的网络是通的，无论多远，你都可以将一个数据包发送给你的伙伴 B。  
  
![网络编程入门从未如此简单(二)：假如你来设计TCP协议，会怎么做？\_1-2.png][TCP_1-2.png]   
  
上篇中分享的这就是物理层、数据链路层、网络层这三层所做的事情。  
  
站在第四层的你，就可以不要脸地利用下三层所做的铺垫，随心所欲地发送数据，而不必担心找不到对方了。

![20210223162549860.gif][]

虽然你此时还什么都没干，但你还是给自己这一层起了个响亮的名字，叫做**传输层**。  
  
你本以为自己所在的第四层万事大吉，啥事没有，但很快问题就接踵而至。

## 4、问题来了 ##

前三层协议只能把数据包从一个主机搬到另外一台主机，但是到了目的地以后，数据包具体交给哪个**程序**（进程）呢？

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3RpYW55YWxlaXhpYW93dQ_size_16_color_FFFFFF_t_70][]   
  
**所以：**你需要把通信的进程区分开来，于是就给每个进程分配一个数字编号，你给它起了一个响亮的名字：**端口号**。  
![网络编程入门从未如此简单(二)：假如你来设计TCP协议，会怎么做？\_2-2.png][TCP_2-2.png]

**然后：**你在要发送的数据包上，增加了传输层的头部：**源端口号与目标端口号**。  
  
![网络编程入门从未如此简单(二)：假如你来设计TCP协议，会怎么做？\_2-3.png][TCP_2-3.png]

OK，这样你将原本主机到主机的通信，升级为了进程和进程之间的通信。  
  
你没有意识到，你不知不觉实现了[UDP协议][UDP]！

当然 UDP 协议中不光有源端口和目标端口，还有数据包长度和校验值，我们暂且略过。

就这样，你用 UDP 协议无忧无虑地同 B 进行着通信，一直没发生什么问题。

![网络编程入门从未如此简单(二)：假如你来设计TCP协议，会怎么做？\_2-4.gif][TCP_2-4.gif]   
  
但很快，你发现事情变得非常复杂 ... ...

## 5、丢包问题 ##

由于网络的不可靠，数据包可能在半路丢失，而 A 和 B 却无法察觉。  
  
![网络编程入门从未如此简单(二)：假如你来设计TCP协议，会怎么做？\_3-1.gif][TCP_3-1.gif]   
  
对于丢包问题，只要解决两个事就好了。  
  
**第一个：**A 怎么知道包丢了？  
**答案是：**让 B 告诉 A。  
  
**第二个：**丢了的包怎么办？  
**答案是：**重传。

**于是你设计了如下方案：**A 每发一个包，都必须收到来自 B 的**确认**（ACK），再发下一个，否则在一定时间内没有收到确认，就**重传**这个包。  
  
![20210223162853783.gif][]   
  
你管它叫**停止等待协议**。  
  
只要按照这个协议来，虽然 A 无法保证 B 一定能收到包，但 A 能够确认 B 是否收到了包，收不到就重试，尽最大努力让这个通信过程变得可靠，于是你们现在的通信过程又有了一个新的特征，**可靠交付**。

## 6、效率问题 ##

停止等待虽然能解决问题，但是效率太低了。  
  
A 原本可以在发完第一个数据包之后立刻开始发第二个数据包，但由于停止等待协议，A 必须等数据包到达了 B ，且 B 的 ACK 包又回到了 A，才可以继续发第二个数据包。这效率慢得可不是一点两点。  
  
**于是：**你对这个过程进行了改进，采用**流水线**的方式，不再傻傻地等。  
  
![网络编程入门从未如此简单(二)：假如你来设计TCP协议，会怎么做？\_4-1.gif][TCP_4-1.gif]

## 7、顺序问题 ##

但是网路是复杂的、不可靠的。  
  
**这导致的问题是：**有的时候 A 发出去的数据包，分别走了不同的路由到达 B，可能无法保证和发送数据包时一样的顺序。  
  
![20210223162933535.gif][]   
  
**对应于我们的例子：**在流水线中有多个数据包和ACK包在**乱序流动**，他们之间对应关系就乱掉了。  
  
如果回到上面的停止等待协议，那么A 每收到一个包的确认（ACK）再发下一个包，那就根本不存在顺序问题。但，应该有更好的办法吧？  
  
是的，**更好的办法就是：**A 在发送的数据包中增加一个***序号***（seq），同时 B 要在 ACK 包上增加一个***确认号***（ack）。这样不但解决了停止等待协议的效率问题，也通过这样标序号的方式解决了顺序问题。

![20210223162955319.gif][]

注意：实际上 ack 的号是收到的最后一个数据包的序号 seq + 1，也就是告诉对方下一个应该发的序号是多少。但图中为了便于理解，ack 就表示收到的那个序号，不必纠结。

## 8、流量问题 ##

有的时候，A 发送数据包的速度太快，而 B 的接收能力不够，但 B 却没有告知 A 这个情况。  
  
![20210223163040373.gif][]   
  
怎么解决呢？  
  
**很简单：**B 告诉 A 自己的接收能力，A 根据 B 的接收能力，相应控制自己的**发送速率**就好了。  
  
B 怎么告诉 A 呢？B 跟 A 说"我很强"这三个字么？那肯定不行，得有一个严谨的规范。  
  
**于是 B 决定：**每次发送数据包给 A 时，顺带传过来一个值，叫***窗口大小***（win)，这个值就表示 B 的***接收能力***。  
  
**同理：**每次 A 给 B 发包时也带上自己的窗口大小，表示 A 的接收能力。

![20210223163110121.gif][]   
  
B 告诉了 A 自己的窗口大小值，A 怎么利用它去做 A 这边发包的流量控制呢？  
  
**很简单：**假如 B 给 A 传过来的窗口大小 win = 5，那 A 根据这个值，把自己要发送的数据分成这么几类。

图片过于清晰，就不再文字解释了。  
  
当 A 不断发送数据包时，***已发送的最后一个序号***就往右移动，直到碰到了窗口的上边界，此时 A 就无法继续发包，达到了流量控制。  
![20210223163138881.gif][]

**但是：**当 A 不断发包的同时，A 也会收到来自 B 的确认包，此时***整个窗口***会往右移动，因此上边界也往右移动，A 就能发更多的数据包了。  
![20210223163207335.gif][]

以上都是在窗口大小不变的情况下。而 B 在发给 A 的 ACK 包中，每一个都可以***重新设置***一个新的窗口大小，如果 A 收到了一个新的窗口大小值，A 会随之调整。  
  
如果 A 收到了比原窗口值更大的窗口大小，比如 win = 6，则 A 会直接将窗口上边界向右移动 1 个单位。

![20210223163233980.gif][]

如果 A 收到了比原窗口值小的窗口大小，比如 win = 4，则 A 暂时不会改变窗口大小，更不会将窗口上边界向左移动，而是等着 ACK 的到来，不断将左边界向右移动，直到窗口大小值收缩到新大小为止。

![20210223163257860.gif][]

OK，终于将流量控制问题解决得差不多了，你看着上面一个个小动图，给这个窗口起了一个更生动的名字：**滑动窗口**。

## 9、拥塞问题 ##

但有的时候，不是 B 的接受能力不够，而是网络不太好，造成了**网络拥塞**。

拥塞控制与流量控制有些像，但流量控制是受 B 的接收能力影响，而拥塞控制是受网络环境的影响。  
  
拥塞控制的解决办法依然是通过设置一定的窗口大小。只不过，流量控制的窗口大小是 B 直接告诉 A 的，而拥塞控制的窗口大小按理说就应该是网络环境主动告诉 A。  
  
但网络环境怎么可能主动告诉 A 呢？只能 A 单方面通过试探，不断感知网络环境的好坏，进而确定自己的拥塞窗口的大小。  
![20210223163345349.gif][]

拥塞窗口大小的计算有很多复杂的算法，就不在本文中展开了（有兴趣可以深入阅读《[\[通俗易懂\]深入理解TCP协议（下）：RTT、滑动窗口、拥塞处理][TCP_RTT]》）。  
  
假如拥塞窗口的大小为  cwnd，上一部分流量控制的滑动窗口的大小为 rwnd，那么窗口的右边界受这两个值共同的影响，需要取它俩的最小值。

窗口大小 = min(cwnd, rwnd)

**含义很容易理解：**当 B 的接受能力比较差时，即使网络非常通畅，A 也需要根据 B 的接收能力限制自己的发送窗口。当网络环境比较差时，即使 B 有很强的接收能力，A 也要根据网络的拥塞情况来限制自己的发送窗口。正所谓受其短板的影响嘛~

## 10、连接问题 ##

有的时候，B 主机的相应进程还没有准备好或是挂掉了，A 就开始发送数据包，导致了浪费。

![20210223163416702.gif][]

**这个问题在于：**A 在跟 B 通信之前，没有事先确认 B 是否已经准备好，就开始发了一连串的信息。就好比你和另一个人打电话，你还没有"喂"一下确认对方有没有在听，你就巴拉巴拉说了一堆。  
  
这个问题该怎么解决呢？  
  
**地球人都知道：**三次握手嘛！

*  A：我准备好了(SYN)
 *  B：我知道了(ACK)，我也准备好了(SYN)
 *  A：我知道了(ACK)

![20210223163441469.gif][]

A 与 B 各自在内存中维护着自己的状态变量，三次握手之后，双方的状态都变成了***连接已建立***（ESTABLISHED）。  
  
虽然就只是发了三次数据包，并且在各自的内存中维护了状态变量，但这么说总觉得太 low，你看这个过程相当于双方建立连接的过程，于是你灵机一动，就叫它**面向连接**吧。

注意：这个连接是虚拟的，是由 A 和 B 这两个终端共同维护的，在网络中的设备根本就不知道连接这回事儿！

但凡事有始就有终，有了建立连接的过程，就要考虑释放连接的过程。  
  
这就是网络编程中耳熟能详的四次挥手啦！

*  A：再见，我要关闭了(FIN)
 *  B：我知道了(ACK)。给 B 一段时间把自己的事情处理完...
 *  B：再见，我要关闭了(FIN)
 *  A：我知道了(ACK)

## 11、小结一下 ##

以上讲述的，就是 TCP 协议的核心思想，上面过程中需要传输的信息，就体现在 TCP 协议的头部，这里放上最常见的 TCP 协议头解读的图。

![网络编程入门从未如此简单(二)：假如你来设计TCP协议，会怎么做？\_9-1.png][TCP_9-1.png]   
  
不知道你现在再看下面这句话，是否能理解：

TCP 是面向连接的、可靠的、基于字节流的传输层通信协议。

“面向连接、可靠”，这两个词通过上面的讲述很容易理解，那什么叫做基于字节流呢？  
  
**很简单：**TCP 在建立连接时，需要告诉对方 MSS（最大报文段大小）。  
  
**也就是说：**如果要发送的数据很大，在 TCP 层是需要按照 MSS 来切割成一个个的 TCP 报文段 的。  
  
切割的时候我才不管你原来的数据表示什么意思，需要在哪里断句啥的，我就把它当成一串毫无意义的字节，在我想要切割的地方咔嚓就来一刀，标上序号，只要接收方再根据这个序号拼成最终想要的完整数据就行了。  
  
在我 TCP 传输这里，我就把它当做一个个的***字节***，也就是基于字节流的含义了。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3RpYW55YWxlaXhpYW93dQ_size_16_color_FFFFFF_t_70 1][]

## 12、写在最后 ##

一提到 TCP，可能很多人都想起被三次握手和四次挥手所支配的恐惧。  
  
但其实你跟着本文中的思路你就会发现，三次握手与四次挥手只占 TCP 所解决的核心问题中很小的一部分，只是因为它在面试中很适合作为知识点进行考察，所以在很多人的印象中就好像 TCP 的核心就是握手和挥手似的。  
  
本文希望你能从问题出发，真正理解 TCP 所想要解决的问题，你会发现很多原理就好像生活常识一样顺其自然，并不复杂，希望你有收获～

[Link 1]: http://www.52im.net/thread-1095-1-1.html
[Link 2]: http://www.52im.net/thread-1729-1-1.html
[Link 3]: http://www.52im.net/thread-3330-1-1.html
[TCP]: http://www.52im.net/thread-3339-1-1.html
[TCP_1-1.png]: /images/20221024/03868e5918e14a17b163ee244af7ecc5.png
[TCP_1-2.png]: /images/20221024/3a9672ec4c2d47faafb654857e42abc9.png
[20210223162549860.gif]: /images/20221024/4460ddbafb484669993689d367516852.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3RpYW55YWxlaXhpYW93dQ_size_16_color_FFFFFF_t_70]: /images/20221024/7a99989d7e43426cabf42a38d81d6799.png
[TCP_2-2.png]: /images/20221024/428d3983a018431d90e0b45820d2909d.png
[TCP_2-3.png]: /images/20221024/f35dbdfa1a2b4830abad1180d45f35dc.png
[UDP]: http://docs.52im.net/extend/docs/book/tcpip/vol1/11/
[TCP_2-4.gif]: /images/20221024/a8578d179ade49748e9e5f9c9d859c83.png
[TCP_3-1.gif]: /images/20221024/4b7c9b51fa034562ba1d35e59b33c01d.png
[20210223162853783.gif]: /images/20221024/e9b1013d136147a28a1cc97df5427980.png
[TCP_4-1.gif]: /images/20221024/0b6b938111134488ba2c6965139303fb.png
[20210223162933535.gif]: /images/20221024/638ba2ba8e67456694260676ec5eeb0d.png
[20210223162955319.gif]: /images/20221024/7361ca0463b042b997d7d938ca3bafd3.png
[20210223163040373.gif]: /images/20221024/b5e353f3126642a4a1f88802455dccd8.png
[20210223163110121.gif]: /images/20221024/175924f89f394c9d90c482ffcf4df140.png
[20210223163138881.gif]: /images/20221024/1b27ce33393b49d4af9d5bc9a6f824db.png
[20210223163207335.gif]: /images/20221024/3241880a2f6b44219e10fc2bfeef384e.png
[20210223163233980.gif]: /images/20221024/5d016d33bd344d92afd28b40a1642327.png
[20210223163257860.gif]: /images/20221024/bebfc7b7e7fa411490c266093021c90e.png
[20210223163345349.gif]: /images/20221024/2326243837764d419a712f3c9b9a825d.png
[TCP_RTT]: http://www.52im.net/thread-515-1-1.html
[20210223163416702.gif]: /images/20221024/13218e7002c3472f9f7ed99284f1af3e.png
[20210223163441469.gif]: /images/20221024/af7809e54f09418dac68c1a77511c2b4.png
[TCP_9-1.png]: /images/20221024/289dee47c6264779bf402781d8249ed8.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3RpYW55YWxlaXhpYW93dQ_size_16_color_FFFFFF_t_70 1]: /images/20221024/195c7c21a2b848a78190d9f272182327.png