当前位置: 首页 > article >正文

【Linux | 计网】TCP协议深度解析:从连接管理到流量控制与滑动窗口

目录

前言:

1、三次握手和四次挥手的联系:

为什么挥手必须要将ACK和FIN分开呢?

2.理解 CLOSE_WAIT 状态

CLOSE_WAIT状态的特点

3.FIN_WAIT状态讲解

3.1、FIN_WAIT_1状态

3.2、FIN_WAIT_2状态

3.3、FIN_WAIT状态的作用与意义

4.理解 TIME_WAIT 状态

4.1.TIME_WAIT 状态存在的意义:

4.2.为什么是 TIME_WAIT 的时间是 2MSL?

5.流量控制:

5.1.概念:

5.2.流量控制的具体流程:

6.滑动窗口

6.1.滑动窗口的工作流程

6.2.关于滑动窗口的灵魂三问

6.3.滑动窗口的底层理解(更深层)

6.4.那么如果出现了丢包, 如何进行重传?

情况一: 数据包已经抵达, ACK 被丢了

情况二: 数据包就直接丢

前言:

上一篇文章讲解了TCP连接管理的基本机制(三次握手和四次挥手),接下来我们更深层次的理解TCP为何能高效安全的通信。【Linux | 计网】TCP协议详解:从定义到连接管理机制-CSDN博客

1、三次握手和四次挥手的联系:

其实四次挥手本质上与三次握手的流程一样的。此话怎讲?

三次握手的本质,其实也是4次握手,只不过中间两次被合并了(ACK和FIN合并了)

为什么挥手必须要将ACK和FIN分开呢?

挥手的时候可以将ACK和FIN一起发送吗

在三次握手的时候,可以直接将SYN和ACK进行合并发送,

但是关闭连接时,当Server端收到FIN报文时,很可能并不会立即关闭SOCKET,所以只能先回复一个ACK报文,告诉Client端,“你发的FIN报文我收到了”。

只有等到我Server端所有的报文都发送完了,我才能发送FIN报文,因此不能一起发送。故需要四步握手。

客户端想要断开连接发送FIN,服务器收到之后发送ACK应答,但是服务器在大多数情况下是不会立刻断开连接,因为可能还有业务没有处理完,所以ACK和FIN之间一定有一个时间差,这就导致了ACK不能和FIN一起发送

我们在挥手流程图有这样几个状态,分别是

TIME_WAIT , CLOSE_WAIT,FIN_WAIT。

2.理解 CLOSE_WAIT 状态

CLOSE_WAIT 状态存在的意义:

 CLOSE_WAIT是连接被动关闭方在收到对方发送的FIN请求后,发送ACK确认进入的状态在这个状态下,应用程序可能还有未处理的数据需要发送,因此需要等待应用程序处理完这些数据后,才能发送FIN请求来关闭连接。如果应用程序没有及时关闭连接,可能会导致大量的CLOSE_WAIT状态,从而消耗系统资源。CLOSE_WAIT状态表示被动关闭方正在等待关闭,没有真正关闭。

CLOSE_WAIT状态的特点

  1. 双向关闭的一部分:TCP连接是双向的,需要两端都同意关闭连接才能完全关闭。CLOSE_WAIT状态表示本地端(即接收ACK的一端)已经收到了对方的关闭请求,并发送了确认,但还在等待本地端的应用程序或系统发送关闭请求以完成连接的关闭。
  2. 等待远程FIN报文:在CLOSE_WAIT状态下,本地端会等待远程端发送FIN报文来关闭连接。如果远程端没有发送FIN报文,本地端就会一直保持在这个状态。

对于服务器上出现大量的 CLOSE_WAIT 状态, 原因就是服务器没有正确的关闭socket, 导致四次挥手没有正确完成. 这是一个 BUG. 只需要加上对应的 close 即可解决问题.

3.FIN_WAIT状态讲解

FIN_WAIT状态是TCP(传输控制协议)连接关闭过程中的一个重要状态,它分为FIN_WAIT_1和FIN_WAIT_2两个阶段。以下是关于FIN_WAIT状态的详细解释:

3.1、FIN_WAIT_1状态

  1. 定义:当TCP连接中的一方(主动关闭方)发送了FIN报文(表示希望关闭连接),并收到了对方的ACK报文(确认报文)后,该连接就会进入FIN_WAIT_1状态。
  2. 特点:在FIN_WAIT_1状态下,主动关闭方等待对方的关闭请求(即对方的FIN报文)。此时,连接仍然处于半关闭状态,即主动关闭方已经停止发送数据,但仍然可以接收数据。
  3. 超时处理:如果在FIN_WAIT_1状态下超时(即没有收到对方的FIN报文),TCP可能会重新发送FIN报文以尝试关闭连接。

3.2、FIN_WAIT_2状态

  1. 定义:当主动关闭方收到对方的FIN报文,并回复了ACK报文后,连接就会从FIN_WAIT_1状态进入FIN_WAIT_2状态。
  2. 特点:在FIN_WAIT_2状态下,主动关闭方等待对方再次发送ACK报文来确认连接的关闭。此时,连接已经完全停止数据传输,但还需要等待对方的确认才能完全关闭。
  3. 超时处理:与FIN_WAIT_1状态类似,如果在FIN_WAIT_2状态下超时(即没有收到对方的确认ACK报文),TCP也可能会重新发送ACK报文以尝试完成连接的关闭。

3.3、FIN_WAIT状态的作用与意义

  1. 保证连接可靠关闭:通过FIN_WAIT状态,TCP连接可以确保双方都能正确地关闭连接,避免出现连接未完全关闭而导致的资源泄露或数据丢失等问题。
  2. 提高连接安全性:在FIN_WAIT状态下,TCP连接会等待对方的确认报文,以确保双方都已经正确地处理了关闭连接的请求。这有助于提高连接的安全性,防止因一方突然关闭连接而导致另一方无法及时释放资源或处理数据。

4.理解 TIME_WAIT 状态

4.1.TIME_WAIT 状态存在的意义:

TIME_WAIT是主动关闭方在完成最后一次ACK发送后的状态。这个状态存在的目的是为了确保连接被动关闭方能够收到最后一个ACK确认包,同时防止在网络中延迟的数据包影响新连接的建立。

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

这是因为,虽然 server 的应用程序终止了,但 TCP 协议层的连接并没有完全断开,因此不能再次监听同样的 server 端口,因为这个端口的应用程序终止了!

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

4.2.为什么是 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 描述符

5.流量控制:

5.1.概念:

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

5.2.流量控制的具体流程:

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

那如果对方的窗口大小一直不更新呢?那么发送方有没有策略可以让对方抓紧向上交付接收缓冲区的数据呢

  • 标志位中的PSH标志位: 提示接收端的应用程序应立即从TCP缓冲区中读取数据。

如果对方返回的窗口大小一直是0,发送方可以使用PSH标志位催促接收方赶紧处理!就算对方的窗口大小没有为0,发送方也可以使用PSH,让对方抓紧进行数据交付!

6.滑动窗口

现在有两个个问题需要解决:

  1. 上面讲的流量控制可以根据通过对方的接收能力调节发送速度,那么具体是如何调节发送速度的呢?
  2. 超时重传:超时时间以内,已经发送的报文不能被丢弃,而是保存起来,这是保存在哪里的?

滑动窗口就是解决上述的问题!

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

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

6.1.滑动窗口的工作流程

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

这个窗口会将缓冲区划分为三个部分:

  1. 窗口左边:已经发送,已经确认的数据。
  2. 窗口:暂时不需要应答,可以直接发送的数据。
  3. 窗口右边:等待发送的数据。

上图滑动窗口的大小就是4000,当主机A收到了来自主机B的确认应答之后,滑动窗口就开始向右移动了!

6.2.关于滑动窗口的灵魂三问

  1. 滑动窗口滑动的方向只能向右滑吗?
    按照我们上图是不能向左的,但是概念定义中是可以向左滑动的!
  2. 滑动窗口的大小是一成不变的吗?
    不是,滑动窗口可以根据对方的接收能力动态改变,也就是流量控制!
  3. 滑动窗口的大小可以为0吗?
    当然可以,当对方的接受能力为0时,那么滑动窗口就为0了!

6.3.滑动窗口的底层理解(更深层)

我们现在已经知道滑动窗口在接受ACK确认信号之后,是会向右移动的,并且滑动窗口的大小是会改变的,那么我们是怎么控制这个滑动窗口移动和改变大小的呢?
我们在做算法的题目时,也会有滑动窗口这种类型的题目,我们在做这类题的时候,通常都是定义两个指针来控制滑动窗口的移动和大小控制。

同理,我们这也是同样的思想,利用两个指针来控制滑动窗口的移动和大小控制

但是有个问题,按这样来说,那么滑动窗口肯定会走到数组边缘啊?其实这个发送缓冲区是一个环形队列并不是一个简单的大数组。环形队列就不会出现越界

win_start = ack_seq;        //前指针

win_end = win_start + win;        //后指针

这个win可以根据应答的窗口大小,动态改变,这样不就进行了流量控制了吗!

6.4.那么如果出现了丢包, 如何进行重传?

这里分两种情况讨论.

情况一: 数据包已经抵达, ACK 被丢了

这种情况下, 部分 ACK 丢了并不要紧, 因为可以通过后续的 ACK 进行确认;

比如我们丢失了1001的ACK,但是后续会接受到2001的ACK,就默认代表我们已经成功接受2001前的所有数据!

情况二: 数据包就直接丢了

  • 当某一段报文段丢失之后, 发送端会一直收到 1001 这样的 ACK, 就像是在提醒发送端 "我想要的是 1001" 一样;
  • 如果发送端主机连续三次收到了同样一个 "1001" 这样的应答, 就会将对应的数据 1001 - 2000 重新发送;
  • 这个时候接收端收到了 1001 之后, 再次返回的 ACK 就是 7001 了(因为 2001 -7000)接收端其实之前就已经收到了, 被放到了接收端操作系统内核的接收缓冲区中;

这种机制被称为 "高速重发控制"(也叫 "快重传机制").

快重传机制是为了提高效率,而超时重传机制是用来兜底的!所以我们根本不用担心丢包的问题!


http://www.kler.cn/a/418067.html

相关文章:

  • 深入解析 Kubernetes 节点操作:Cordon、Uncordon 和 Drain 的使用与最佳实践
  • Zephyr 入门-设备树与设备驱动模型
  • 给定一个整数可能为正,0,负数,统计这个数据的位数.
  • Python parsel库学习总结
  • 服务熔断-熔断器设计
  • [OpenHarmony5.0][Docker][环境]OpenHarmony5.0 Docker pull线上镜像方式构建编译环境
  • vue多页面应用集成时权限处理问题
  • 局域网的网络安全
  • Flink维表join
  • 使用 Canal 实时从 MySql 向其它库同步数据
  • 【C++】赋值运算与变量交换的深入探讨
  • Agent构建总结(LangChain)
  • C/C++基础知识复习(32)
  • Clickhouse 数据类型
  • 【遥感综合实习】专题一 多时相多波段遥感影像的机器学习地物分类研究
  • 第十一课 Unity编辑器创建的资源优化_预制体和材质篇(Prefabs和Materials)详解
  • java-kafka面试相关基础题目整理01
  • 基于单片机的微型电子琴建模
  • ASP.NET Core 负载/压力测试
  • Python语法基础(四)
  • 多线程安全单例模式的传统解决方案与现代方法
  • 关于线扫相机的使用和注意事项
  • shell脚本练习(2)
  • Java安全—原生反序列化重写方法链条分析触发类
  • C++趣味编程玩转物联网:基于树莓派Pico控制无源蜂鸣器-实现音符与旋律的结合
  • 递归算法讲解(c基础)