3. TCP拥塞控制概述与设计哲学
TCP拥塞控制是网络协议栈中最具挑战性的核心机制之一。它并非单一算法，而是一套在端到端原则约束下，通过动态调整发送速率来平衡网络利用率与公平性的分布式控制体系。本章从设计哲学出发，剖析拥塞控制的目标、核心原则与关键权衡。
3.1 拥塞控制的核心目标
拥塞控制的目标可以归纳为三个层次：避免拥塞崩溃、最大化吞吐量、保证公平性。下表列出了各目标的具体含义与衡量指标：
| 目标层次 | 核心含义 | 关键指标 | 典型失效场景 |
|---|---|---|---|
| 避免拥塞崩溃 | 防止网络因过载导致吞吐量急剧下降甚至归零 | 全局同步、丢包率 | TCP全局同步导致链路利用率低于10% |
| 最大化吞吐量 | 在避免拥塞的前提下，尽可能逼近链路带宽 | 带宽利用率、窗口利用率 | 长肥网络中窗口增长过慢导致带宽浪费 |
| 保证公平性 | 多个流之间按比例公平共享瓶颈带宽 | Jain公平性指数、吞吐量方差 | RTT不公平性导致短RTT流抢占带宽 |
3.2 端到端原则：拥塞控制的哲学基石
TCP拥塞控制遵循端到端原则（End-to-End Principle），该原则由Saltzer等人于1984年提出，核心思想是：网络核心（路由器）应保持简单，复杂功能尽量放在端系统实现。在拥塞控制语境下，这意味着：
- 网络层不维护拥塞状态：路由器仅通过丢包（尾部丢弃）或显式拥塞通知（ECN）向端系统传递拥塞信号。
- 端系统承担全部控制逻辑：发送端根据反馈信号自行推断网络状态，并调整发送速率。
- 无需网络改造即可部署：新的拥塞控制算法只需更新发送端和接收端操作系统，无需升级路由器。
struct tcp_congestion_ops结构体抽象算法接口，允许动态加载不同的拥塞控制算法（如CUBIC、BBR、DCTCP），而无需修改TCP核心协议栈。
下图展示了端到端原则下拥塞控制的信号传递与决策闭环：
3.3 公平性与效率的权衡
拥塞控制算法必须在效率（最大化链路利用率）和公平性（流之间公平共享带宽）之间做出权衡。这种权衡在数学上可以通过加性增乘性减（AIMD）框架来形式化描述。
3.3.1 AIMD控制律
AIMD是TCP拥塞控制最经典的控制律，其核心思想是：
- 加性增（AI）：未检测到拥塞时，每个RTT将拥塞窗口增加1个MSS（慢启动阶段除外），实现温和的带宽探测。
- 乘性减（MD）：检测到拥塞时，将拥塞窗口乘以一个小于1的因子（通常为0.5），快速释放网络资源。
AIMD的数学特性保证了收敛到公平性：
3.3.2 效率-公平性权衡曲线
不同的拥塞控制算法在效率-公平性平面上占据不同位置。下表对比了几种主流算法的权衡特性：
| 算法 | 效率特性 | 公平性特性 | 适用场景 |
|---|---|---|---|
| Reno | 低带宽利用率（长肥网络） | RTT不公平性严重 | 低延迟、低带宽网络 |
| CUBIC | 高带宽利用率（长肥网络） | RTT公平性较好 | 高带宽-高延迟网络（Linux默认） |
| BBR | 接近100%带宽利用率 | 存在一定RTT不公平性 | 高动态、高带宽网络 |
| DCTCP | 低队列延迟、高吞吐 | 数据中心内公平性好 | 数据中心网络（低延迟敏感） |
下图展示了效率-公平性权衡的二维空间，以及不同算法的定位：
3.4 拥塞窗口与接收窗口：双重流量控制
TCP发送端实际可发送的数据量受两个独立窗口的约束：拥塞窗口（cwnd）和接收窗口（rwnd）。发送窗口取两者最小值：
发送窗口 = min(cwnd, rwnd)这两个窗口分别解决不同层面的问题：
| 窗口类型 | 控制层面 | 维护方 | 更新依据 | 目标 |
|---|---|---|---|---|
| 拥塞窗口 (cwnd) | 网络层拥塞控制 | 发送端 | 丢包、延迟、ECN信号 | 防止注入过多数据导致网络拥塞 |
| 接收窗口 (rwnd) | 端到端流量控制 | 接收端 | 接收缓冲区剩余空间 | 防止发送端淹没接收端缓冲区 |
3.4.1 拥塞窗口（cwnd）
cwnd是发送端对网络容量的私有估计，初始值通常为10个MSS（RFC 6928）。其动态调整遵循拥塞控制算法的具体逻辑：
- 慢启动：每收到一个ACK，cwnd增加1个MSS，呈指数增长（实际为每RTT翻倍）。
- 拥塞避免：每经过一个RTT，cwnd增加1个MSS，呈线性增长。
- 快速恢复：检测到丢包后，cwnd减半并进入拥塞避免。
3.4.2 接收窗口（rwnd）
rwnd由接收端在TCP首部的窗口字段中通告，表示接收缓冲区当前可用的字节数。接收端通过动态调整rwnd实现应用层背压：
- 当应用程序读取数据慢时，接收缓冲区被占用，rwnd缩小，迫使发送端减速。
- 当应用程序读取数据快时，接收缓冲区释放，rwnd扩大，允许发送端加速。
3.4.3 窗口协同工作示例
假设一个TCP连接的当前状态：
cwnd = 20 MSS
rwnd = 14600 字节（约10个MSS，假设MSS=1460）
MSS = 1460 字节
发送窗口 = min(20 * 1460, 14600) = min(29200, 14600) = 14600 字节
实际可发送报文段数 = 14600 / 1460 = 10 个在这个例子中，虽然网络容量允许发送20个报文段（cwnd=20），但接收端缓冲区只能容纳10个（rwnd=10 MSS），因此发送端实际只能发送10个。这体现了拥塞控制与流量控制的协同：cwnd防止网络过载，rwnd防止接收端过载。
ss -ti命令查看每个TCP连接的cwnd和rwnd实时值。当发现发送窗口长期受限于rwnd而非cwnd时，说明接收端缓冲区过小，应考虑增大net.core.rmem_default和net.core.rmem_max内核参数。
3.5 设计哲学总结
TCP拥塞控制的设计哲学可以概括为以下原则：
- 分布式决策：每个发送端独立决策，无需全局协调。
- 信号驱动：通过丢包、延迟、ECN等隐式或显式信号推断网络状态。
- 保守探测：采用AIMD控制律，在未确认网络空闲前不激进增长。
- 分层解耦：拥塞控制（cwnd）与流量控制（rwnd）独立运作，互不干扰。
- 可插拔设计：Linux内核通过模块化接口支持多种算法，适应不同网络环境。