> 技术文档 > 传输层协议 TCP

传输层协议 TCP


TCP 协议

TCP 全称为 \"传输控制协议(Transmission Control Protocol\"). 人如其名, 要对数据的传输进行一个详细的控制

TCP 协议段格式

  • 源/目的端口号: 表示数据是从哪个进程来, 到哪个进程去
  • 32 位序号/32 位确认号
  • 4 位 TCP 报头长度: 表示该 TCP 头部有多少个 32 位 bit(有多少个 4 字节), 所以TCP 头部最大长度是 15 * 4 = 60
  • 6位标志位
  • 16 位窗口大小
  • 16 位校验和: 发送端填充, CRC 校验. 接收端校验不通过, 则认为数据有问题. 此处的检验和不光包含 TCP 首部, 也包含 TCP 数据部分.
  • 16 位紧急指针: 标识哪部分数据是紧急数据;
  • 40 字节头部选项

内核中对报头的描述

六个标志位

表示对应的报文类型,对应的六个比特位,要用就设置成1

  1. URG: 紧急指针是否有效
  2. ACK: 确认号是否有效
  3. PSH: 提示接收端应用程序立刻从 TCP 缓冲区把数据读走
  4. RST: 通信异常对方要求重新建立连接; 我们把携带 RST 标识的称为复位报文段
  5. SYN: 请求建立连接; 我们把携带 SYN 标识的称为同步报文段
  6. FIN: 通知对方, 本端要关闭了, 我们称携带 FIN 标识的为结束报文段

ACK一般都是置1,因为确认需要是要用来表示自己在该确认序号之前的报文全部收到,通常确认序号要有效,第一次建立连接SYN然后等待对方发送SYN和ACK,然后对方再用ACK告诉自己收到了建立请求,双方都有意愿建立连接,FIN用于断开连接时告诉对方断开连接,双方都要断开,所以得先发ACK给对方,对方响应了然后发送ACK和FIN

三次握手能保证一定连接成功C端发送SYN对方能收到,对方会给予回应,自己也能收到,自己在告诉对方收到了,在这个过程中,C和S发了一次收了一次,能最小代价验证自己和对方全双工并且建立连接成功,如果中间一环出错就代表建立不成功无法通信

16位窗口大小

网络传输需要消耗资源,为了提高效率,对方接受不了那么多,就控制一下发送的量,16位窗口大小表示自己接受缓冲区的剩余空间的大小用来告诉对端自己的剩余大小

16位紧急指针 

配合URG来用,数据发送到接收缓冲区后,它是一个字节流式的接受队列,提高优先级,优先处理,紧急指针表示偏移量位置存放紧急数据

 

确认应答(ACK)机制

TCP 将每个字节的数据都进行了编号. 即为序列号.

每一个 ACK 都带有对应的确认序列号, 意思是告诉发送者, 我已经收到了哪些数据; 下一次你从哪里开始发.向对方发送数据的时候不知道对方有没有收到,对端会送一个带有确认需要的报文并将ACK标记为置1,表示该确认序号以前的报文全部收到

为什么又两个序号?

一个确认序号,一个序号,因为TCP是全双工,可以发也可以读,在接受的同时也可以发,我告诉对方收到了,我也可以发送别的数据,就像三次握手一样,本质是四次握手,但是有两次合并了,当成一条报文发送,这就是要有一对序号的原因,一个负责发带编号,一个用来确定自己有没有收到,可以捎带应答,我告诉你我收到了,我也可以携带数据给你

 捎带应答

在延迟应答的基础上, 我们发现, 很多情况下, 客户端服务器在应用层也是 \"一发一收\"的. 意味着客户端给服务器说了 \"How are you\", 服务器也会给客户端回一个 \"Fine,thank you\",那么这个时候 ACK 就可以搭顺风车, 和服务器回应的 \"Fine, thank you\" 一起回给客户端

超时重传机制

主机 A 发送数据给 B 之后, 可能因为网络拥堵等原因, 数据无法到达主机 B;如果主机 A 在一个特定时间间隔内没有收到 B 发来的确认应答, 就会进行重发,但是, 主机 A 未收到 B 发来的确认应答,也可能是因为 ACK 丢失了

因此主机 B 会收到很多重复数据. 那么 TCP 协议需要能够识别出那些包是重复的包, 并且把重复的丢弃掉.这时候我们可以利用前面提到的序列号, 就可以很容易做到去重的效果.那么, 如果超时的时间如何确定?

最理想的情况下, 找到一个最小的时间, 保证 \"确认应答一定能在这个时间内返回\",但是这个时间的长短, 随着网络环境的不同, 是有差异的.如果超时时间设的太长, 会影响整体的重传效率,如果超时时间设的太短, 有可能会频繁发送重复的包;

TCP 为了保证无论在任何环境下都能比较高性能的通信, 因此会动态计算这个最大超时时间.

Linux 中(BSD Unix 和 Windows 也是如此), 超时以 500ms 为一个单位进行控制, 每次判定超时重发的超时时间都是 500ms 的整数倍.如果重发一次之后, 仍然得不到应答, 等待 2*500ms 后再进行重传.如果仍然得不到应答, 等待 4*500ms 进行重传. 依次类推, 以指数形式递增.累计到一定的重传次数, TCP 认为网络或者对端主机出现异常, 强制关闭连接.

第一种可以用超时重传机制解决,但是第二种,因为确认序号的定义是在这个序号之前的报文全部收到,后续接收更大的序号也默认认为收到了

连接管理机制

在正常情况下, TCP 要经过三次握手建立连接, 四次挥手断开连接

三次握手,本质是四次握手,一方发起连接SYN,然后对端收到后,发送ACK应答,然后再发送SYN向对方请求连接,但是捎带应答使两个报文合成一条发送过去,最后对端收到货,返回ACK,表示同意连接,至此双方意愿达成可进通信

四次挥手,一方发起FIN向对方表示要断开连接,对方发送ACK表示接收到了断开请求,然后自己在向先有断开意愿的一方发送FIN断开请求,对端收到后,返回ACK表示同意,至此双方都断开对方的连接,结束通信

服务端状态转化:

  • [CLOSED -> LISTEN] 服务器端调用 listen 后进入 LISTEN 状态, 等待客户端连接
  • [LISTEN -> SYN_RCVD] 一旦监听到连接请求(同步报文段), 就将该连接放入内核等待队列中, 并向客户端发送 SYN 确认报文.
  • [SYN_RCVD -> ESTABLISHED] 服务端一旦收到客户端的确认报文, 就进入ESTABLISHED 状态, 可以进行读写数据了.
  • [ESTABLISHED -> CLOSE_WAIT] 当客户端主动关闭连接(调用 close), 服务器会收到结束报文段, 服务器返回确认报文段并进入 CLOSE_WAIT(谁先关闭谁就CLOSE_WAIT,依旧占用文件描述符没有被释放,要手动关,不然fd泄漏
  • [CLOSE_WAIT -> LAST_ACK] 进入 CLOSE_WAIT 后说明服务器准备关闭连接(需要处理完之前的数据); 当服务器真正调用 close 关闭连接时, 会向客户端发送FIN, 此时服务器进入 LAST_ACK 状态, 等待最后一个 ACK 到来(这个 ACK 是客户端确认收到了 FIN)
  • [LAST_ACK -> CLOSED] 服务器收到了对 FIN 的 ACK, 彻底关闭连接.

客户端状态转化:

  • [CLOSED -> SYN_SENT] 客户端调用 connect, 发送同步报文段
  • [SYN_SENT -> ESTABLISHED] connect 调用成功, 则进入 ESTABLISHED 状态, 开始读写数据
  • [ESTABLISHED -> FIN_WAIT_1] 客户端主动调用 close 时, 向服务器发送结束报文段, 同时进入 FIN_WAIT_1
  • [FIN_WAIT_1 -> FIN_WAIT_2] 客户端收到服务器对结束报文段的确认, 则进入 FIN_WAIT_2, 开始等待服务器的结束报文段
  • [FIN_WAIT_2 -> TIME_WAIT] 客户端收到服务器发来的结束报文段, 进入TIME_WAIT, 并发出 LAST_ACK
  • [TIME_WAIT -> CLOSED] 客户端要等待一个 2MSL(Max Segment Life, 报文最大生存时间)的时间, 才会进入 CLOSED 状态.

下图是 TCP 状态转换的一个汇总:

较粗的虚线表示服务端的状态变化情况,较粗的实线表示客户端的状态变化情况,CLOSED 是一个假想的起始点, 不是真实状态

理解 TIME_WAIT 状态

现在做一个测试,首先启动 server,然后启动 client,然后用 Ctrl-C 使 server 终止,这时马上再运行 server, 结果是:

这是因为,虽然 server 的应用程序终止了,但 TCP 协议层的连接并没有完全断开,因此不能再次监 听同样的 server 端口. 我们用 netstat 命令查看一下:

TCP 协议规定,主动关闭连接的一方要处于 TIME_ WAIT 状态,等待两个MSL(maximum segment lifetime)的时间后才能回到 CLOSED 状态.我们使用 Ctrl-C 终止了 server, 所以 server 是主动关闭连接的一方, 在TIME_WAIT 期间仍然不能再次监听同样的 server 端口,MSL 在 RFC1122 中规定为两分钟,但是各操作系统的实现不同, 在 Centos7 上默认配置的值是60s,可以通过 cat /proc/sys/net/ipv4/tcp_fin_timeout 查看 msl 的值;

想一想, 为什么是 TIME_WAIT 的时间是 2MSL?

MSL 是 TCP 报文的最大生存时间, 因此 TIME_WAIT 持续存在 2MSL 的话就能保证在两个传输方向上的尚未被接收或迟到的报文段都已经消失(否则服务器立刻重启, 可能会收到来自上一个进程的迟到的数据, 但是这种数据很可能是错误的),同时也是在理论上保证最后一个报文可靠到达(假设最后一个 ACK 丢失, 那么服务器会再重发一个 FIN. 这时虽然客户端的进程不在了, 但是 TCP 连接还在, 仍然可以重发 LAST_ACK)

解决 TIME_WAIT 状态引起的 bind 失败的方法(作业)

在 server 的 TCP 连接没有完全断开之前不允许重新监听, 某些情况下可能是不合理的

服务器需要处理非常大量的客户端的连接(每个连接的生存时间可能很短, 但是每秒都有很大数量的客户端来请求).这个时候如果由服务器端主动关闭连接(比如某些客户端不活跃, 就需要被服务器端主动清理掉), 就会产生大量 TIME_WAIT 连接.由于我们的请求量很大, 就可能导致 TIME_WAIT 的连接数很多, 每个连接都会占用一个通信五元组(源 ip, 源端口, 目的 ip, 目的端口, 协议). 其中服务器的 ip 和端口和协议是固定的. 如果新来的客户端连接的 ip 和端口号和 TIME_WAIT 占用的链接重复了, 就会出现问题.

使用 setsockopt()设置 socket 描述符的 选项 SO_REUSEADDR 为 1, 表示允许创建端口号相同但 IP 地址不同的多个 socket 描述符

滑动窗口

刚才我们讨论了确认应答策略, 对每一个发送的数据段, 都要给一个 ACK 确认应答. 收到 ACK 后再发送下一个数据段. 这样做有一个比较大的缺点, 就是性能较差. 尤其是数据往返的时间较长的时候.

既然这样一发一收的方式性能较低, 那么我们一次发送多条数据, 就可以大大的提高性能(其实是将多个段的等待时间重叠在一起了).

窗口大小指的是无需等待确认应答而可以继续发送数据的最大值. 上图的窗口大小就是 4000 个字节(四个段).发送前四个段的时候, 不需要等待任何 ACK, 直接发送,收到第一个 ACK 后, 滑动窗口向后移动, 继续发送第五个段的数据; 依次类推,操作系统内核为了维护这个滑动窗口, 需要开辟 发送缓冲区 来记录当前还有哪些数据没有应答; 只有确认应答过的数据, 才能从缓冲区删掉,窗口越大, 则网络的吞吐率就越高

 通过控制指针把区域划分为已发送已确认,已发送待确认,未发送未确认,通过改变end和start的位置来确定要发送的窗口大小来提高效率,所以滑动窗口的大小由对方剩余接收缓冲区的大小来决定

那么如果出现了丢包, 如何进行重传? 这里分两种情况讨论.
情况一: 数据包已经抵达, ACK 被丢了.

这种情况下, 部分 ACK 丢了并不要紧, 因为可以通过后续的 ACK 进行确认,确定序号的定义就是该序号之前的报文全部收到;
情况二: 数据包就直接丢了.

当某一段报文段丢失之后, 发送端会一直收到 1001 这样的 ACK, 应为有一段报文缺失了,确认序号就会停在那,就像是在提醒发送端 \"我想要的是 1001\" 一样,如果发送端主机连续三次收到了同样一个 \"1001\" 这样的应答, 就会将对应的数据 1001 - 2000 重新发送,这个时候接收端收到了 1001 之后, 再次返回的 ACK 就是 7001 了(因为2001 -7000)接收端其实之前就已经收到了, 被放到了接收端操作系统内核的接收缓冲区中,这种机制被称为 \"高速重发控制\"(也叫 \"快重传\").

最左侧丢失:

1.最左侧保温数据真的丢了,滑动窗口左侧不变,应为对方没收到,右侧根据对方接受缓冲区大小适可调整

2.最左侧报文对应的应答丢失,滑动窗口正常工作,因为后面的应答可以说明之前的报文全部收到并且还有一个延时应答机制

滑动窗口是一个环形的,可以用数组模拟,并不会越界

流量控制

接收端处理数据的速度是有限的. 如果发送端发的太快, 导致接收端的缓冲区被打满, 这个时候如果发送端继续发送, 就会造成丢包, 继而引起丢包重传等等一系列连锁反应.因此 TCP 支持根据接收端的处理能力, 来决定发送端的发送速度. 这个机制就叫做流量控制(Flow Control);

接收端将自己可以接收的缓冲区大小放入 TCP 首部中的 \"窗口大小\" 字段, 通过 ACK 端通知发送端;窗口大小字段越大, 说明网络的吞吐量越高,接收端一旦发现自己的缓冲区快满了, 就会将窗口大小设置成一个更小的值通知给发送端;发送端接受到这个窗口之后, 就会减慢自己的发送速度,如果接收端缓冲区满了, 就会将窗口置为 0,这时发送方不再发送数据, 但是需要定期发送一个窗口探测数据段, 使接收端把窗口大小告诉发送端.

接收端如何把窗口大小告诉发送端呢? 回忆我们的 TCP 首部中, 有一个 16 位窗口字段,就是存放了窗口大小信息。那么问题来了, 16 位数字最大表示 65535, 那么 TCP 窗口最大就是 65535 字节么?

实际上, TCP 首部 40 字节选项中还包含了一个窗口扩大因子 M, 实际窗口大小是 窗口字段的值左移 M 位,此外一开始建立连接的时候就已经知道对方的接受能力,开始进行流量控制。

所以:通过设置滑动窗口大小,来进行流量控制,窗口探测的本质就是发送不携带数据的报文过去,等对面应答,因为没有数据,且会定期探测,所以丢不丢包没关系,等待对面返回的报文携带的窗口大小,就能修改窗口大小,达到流量控制的目的

拥塞控制

虽然 TCP 有了滑动窗口这个大杀器, 能够高效可靠的发送大量的数据. 但是如果在刚开始阶段就发送大量的数据, 仍然可能引发问题.因为网络上有很多的计算机, 可能当前的网络状态就已经比较拥堵. 在不清楚当前网络状态下, 贸然发送大量的数据, 是很有可能引起雪上加霜的.TCP 引入 慢启动 机制, 先发少量的数据, 探探路, 摸清当前的网络拥堵状态, 再决定按照多大的速度传输数据;

此处引入一个概念称为拥塞窗口

发送开始的时候, 定义拥塞窗口大小为 1,每次收到一个 ACK 应答, 拥塞窗口加 1,每次发送数据包的时候, 将拥塞窗口和接收端主机反馈的窗口大小做比较, 取较小的值作为实际发送的窗口

像上面这样的拥塞窗口增长速度, 是指数级别的. \"慢启动\" 只是指初使时慢, 但是增长速度非常快.
为了不增长的那么快, 因此不能使拥塞窗口单纯的加倍,此处引入一个叫做慢启动的阈值,当拥塞窗口超过这个阈值的时候, 不再按照指数方式增长, 而是按照线性方式增长

当 TCP 开始启动的时候, 慢启动阈值等于窗口最大值,在每次超时重发的时候, 慢启动阈值会变成原来的一半, 同时拥塞窗口置回 1,少量的丢包, 我们仅仅是触发超时重传; 大量的丢包, 我们就认为网络拥塞,当 TCP 通信开始后, 网络吞吐量会逐渐上升; 随着网络发生拥堵, 吞吐量会立刻下降,拥塞控制, 归根结底是 TCP 协议想尽可能快的把数据传输给对方, 但是又要避免给网络造成太大压力的折中方案.


周期性的,描述拥塞程度的整形变量ssthresh由小变大,先是指数增加,然后线性增加,达到阈值后然后突然变小,在网络通常时可以加快发送频率,在网络拥堵时减少发送频率,可以有效缓解网络拥堵,否则网络拥堵的话,发送时间变长引发超时重传或其他机制来解决误以为因为网络拥堵而没发生到对方手上以外对方没收到,TCP 拥塞控制这样的过程, 就好像 热恋的感觉

注意:拥塞窗口在增加,我发送的数据不一定在增加,拥塞窗口的数字也在更新

延迟应答

如果接收数据的主机立刻返回 ACK 应答, 这时候返回的窗口可能比较小.假设接收端缓冲区为 1M. 一次收到了 500K 的数据; 如果立刻应答, 返回的窗口就是 500K;但实际上可能处理端处理的速度很快, 10ms 之内就把 500K 数据从缓冲区消费掉了,在这种情况下, 接收端处理还远没有达到自己的极限, 即使窗口再放大一些, 也能处理过来,如果接收端稍微等一会再应答, 比如等待 200ms 再应答, 那么这个时候返回的窗口大小就是 1M,一定要记得, 窗口越大, 网络吞吐量就越大, 传输效率就越高. 我们的目标是在保证网络不拥塞的情况下尽量提高传输效率

那么所有的包都可以延迟应答么? 肯定也不是;

  • 数量限制: 每隔 N 个包就应答一次
  • 时间限制: 超过最大延迟时间就应答一次

具体的数量和超时时间, 依操作系统不同也有差异; 一般 N 取 2, 超时时间取 200ms;

面向字节流

创建一个 TCP 的 socket, 同时在内核中创建一个 发送缓冲区 和一个 接收缓冲区调用 write 时, 数据会先写入发送缓冲区中,如果发送的字节数太长, 会被拆分成多个 TCP 的数据包发出,如果发送的字节数太短, 就会先在缓冲区里等待, 等到缓冲区长度差不多了, 或者其他合适的时机发送出去,接收数据的时候, 数据也是从网卡驱动程序到达内核的接收缓冲区,然后应用程序可以调用 read 从接收缓冲区拿数据,另一方面, TCP 的一个连接, 既有发送缓冲区, 也有接收缓冲区, 那么对于这一个连接, 既可以读数据, 也可以写数据. 这个概念叫做 全双工

由于缓冲区的存在, TCP 程序的读和写不需要一一匹配, 例如:写 100 个字节数据时, 可以调用一次 write 写 100 个字节, 也可以调用 100 次write, 每次写一个字节,读 100 个字节数据时, 也完全不需要考虑写的时候是怎么写的, 既可以一次read 100 个字节, 也可以一次 read 一个字节, 重复 100 次.

粘包问题
 

首先要明确, 粘包问题中的 \"包\" , 是指的应用层的数据包.在 TCP 的协议头中, 没有如同 UDP 一样的 \"报文长度\" 这样的字段, 但是有一个序号这样的字段.站在传输层的角度, TCP 是一个一个报文过来的. 按照序号排好序放在缓冲区中.站在应用层的角度, 看到的只是一串连续的字节数据.那么应用程序看到了这么一连串的字节数据, 就不知道从哪个部分开始到哪个部分, 是一个完整的应用层数据包.
那么如何避免粘包问题呢? 归根结底就是一句话, 明确两个包之间的边界.
对于定长的包, 保证每次都按固定大小读取即可; 例如上面的 Request 结构, 是固定大小的, 那么就从缓冲区从头开始按 sizeof(Request)依次读取即可,对于变长的包, 可以在包头的位置, 约定一个包总长度的字段, 从而就知道了包的结束位置,对于变长的包, 还可以在包和包之间使用明确的分隔符(应用层协议, 是程序猿自己来定的, 只要保证分隔符不和正文冲突即可);
思考: 对于 UDP 协议来说, 是否也存在 \"粘包问题\" 呢?
对于 UDP, 如果还没有上层交付数据, UDP 的报文长度仍然在. 同时, UDP 是一个一个把数据交付给应用层. 就有很明确的数据边界.站在应用层的站在应用层的角度, 使用 UDP 的时候, 要么收到完整的 UDP 报文, 要么不收. 不会出现\"半个\"的情况.

TCP 异常情况

进程终止: 进程终止会释放文件描述符, 仍然可以发送 FIN. 和正常关闭没有什么区别.机器重启: 和进程终止的情况相同.机器掉电/网线断开: 接收端认为连接还在, 一旦接收端有写入操作, 接收端发现连接已经不在了, 就会进行 reset. 即使没有写入操作, TCP 自己也内置了一个保活定时器, 会定期询问对方是否还在. 如果对方不在, 也会把连接释放.另外, 应用层的某些协议, 也有一些这样的检测机制. 例如 HTTP 长连接中, 也会定期检测对方的状态. 例如 QQ, 在 QQ 断线之后, 也会定期尝试重新连接.

TCP 小结

为什么 TCP 这么复杂? 因为要保证可靠性, 同时又尽可能的提高性能.
可靠性:

  • 校验和
  • 序列号(按序到达)
  • 确认应答
  • 超时重发
  • 连接管理
  • 流量控制
  • 拥塞控制

提高性能:

  • 滑动窗口
  • 快速重传
  • 延迟应答
  • 捎带应答

其他:

  • 定时器(超时重传定时器, 保活定时器, TIME_WAIT 定时器等)

TCP/UDP 对比

我们说了 TCP 是可靠连接, 那么是不是 TCP 一定就优于 UDP 呢? TCP 和 UDP 之间的优点和缺点, 不能简单, 绝对的进行比较

  • TCP 用于可靠传输的情况, 应用于文件传输, 重要状态更新等场景;
  • UDP 用于对高速传输和实时性要求较高的通信领域, 例如, 早期的 QQ, 视频传输等. 另外 UDP 可以用于广播;

归根结底, TCP 和 UDP 都是程序员的工具, 什么时机用, 具体怎么用, 还是要根据具体的需求场景去判定.

用 UDP 实现可靠传输(经典面试题)

参考 TCP 的可靠性机制, 在应用层实现类似的逻辑,TCP已经做的很好了,我们要站在巨人的肩膀上
例如:

  • 引入序列号, 保证数据顺序;
  • 引入确认应答, 确保对端收到了数据;
  • 引入超时重传, 如果隔一段时间没有应答, 就重发数据;
  • ......