tcp_cork如何合并小包

本文目录导读：

1. 核心原理：阻塞发送缓冲区
2. 与 Nagle 算法的区别
3. 典型使用场景：HTTP 服务器响应头 + 正文
4. 合并效果对比图
5. 注意事项与坑
6. 总结：如何实现合并小包？

tcp_cork 是 Linux 内核中一个用于延迟发送小数据包的套接字选项（Socket Option），它的核心作用是将多个小数据包合并成一个更大的 TCP 段，然后一次性发送，从而提高网络吞吐量并减少网络拥塞（避免大量小包充斥网络）。

以下是 tcp_cork 如何合并小包的详细机制、工作流程以及注意事项。

核心原理：阻塞发送缓冲区

当你对 TCP 套接字开启 tcp_cork 后，相当于给这个连接“塞上了一个木塞”，内核会暂时阻止任何未满的 TCP 段被发送出去。

1. 小数据进入缓冲区：应用程序调用 send() 发送一个小数据量（例如几个字节或几十个字节）的包。
2. 被“塞住”：由于开启了 tcp_cork，内核不会立刻将其打包成一个 TCP 段并发送（即使有 Nagle 算法，它通常也会延迟）。
3. 等待合并：内核会把这些数据放在发送缓冲区（Send Buffer）里，等待更多数据到来。
4. 触发合并发：直到满足以下任意一个条件，内核才会将缓冲区中累积的数据打包成一个大的 TCP 段发送出去。
   • 缓冲区达到最大报文段长度（MSS）：发送缓冲区中的数据量达到了 TCP 的 MSS（1460 字节，取决于 MTU）。
   • 关闭 tcp_cork：应用程序主动调用 setsockopt 设置 tcp_cork = 0。TCP_CORK 的“木塞”被拔出。
   • 收到 TCP_NODELAY 的冲突：某些情况下，开启 TCP_NODELAY 会覆盖 tcp_cork 的效果，但标准做法是使用 tcp_cork 时不要混用。
   • 超时机制：内核有定时器，如果阻塞时间太长（典型如 200ms），即使没满也会强制发送，防止数据无限期延迟。

与 Nagle 算法的区别

你可能会问：这和默认的 Nagle 算法（TCP_NODELAY 关闭时的默认行为）有什么不同？

• Nagle 算法：只合并未被确认（ACK）的数据，它限制的是发送频率：在你收到前一个数据包的 ACK 之前，不能发送小于 MSS 的数据，它更像是一个“节约时间的机制”。
• tcp_cork：强制完全阻止任何不完整的 TCP 段发送，它不考虑 ACK 的状态，只等待缓冲区数据达到 MSS 或者收到明确的“拔塞”指令。

关键区别：tcp_cork 更激进，它的主要目的是让应用程序能显式控制组装时机，而 Nagle 是内核自动进行的。

典型使用场景：HTTP 服务器响应头 + 正文

tcp_cork 最常见的经典用途是 HTTP 服务器的 sendfile 或 writev 操作。

示例：发送一个 HTTP 响应

假设你要发送 Content-Length: 1000 的响应，通常你需要：

1. write(socket, headers, 200); // 发送 200 字节的头部
2. write(socket, body, 1000); // 发送 1000 字节的正文

没有 tcp_cork：

• 第一次 write 之后，200 字节可能立即被打包成一个 TCP 段（因为 < MSS，但 Nagle 可能允许或者延迟 200ms）。
• 第二次 write 同样。
• 导致网络上发送两个小包：一个 200 字节的头部包，一个 1000 字节的正文包。

有 tcp_cork：

1. setsockopt(socket, IPPROTO_TCP, TCP_CORK, &on, sizeof(on)); // 塞上
2. write(socket, headers, 200); // 200 字节进入缓冲区，不发送
3. write(socket, body, 1000); // 1000 字节进入缓冲区，累积到 1200 字节
4. setsockopt(socket, IPPROTO_TCP, TCP_CORK, &off, sizeof(off)); // 拔塞
5. 结果：内核将 headers + body 共 1200 字节打包成一个单一的 TCP 段发送，1200 字节 > MSS（1460），则会拆成多个全 MSS 的段，仍然比零碎小包高效。

合并效果对比图

无 tcp_cork：
发送端： [Header 200] ---> [Body 1000] --->
网络：  包1(200B)         包2(1000B)         浪费了 TCP 头部开销，且可能触发 ACK 延迟等
有 tcp_cork：
发送端： [Header 200][Body 1000] --------------------->
网络：   包1(1200B)  直接发送         节省了头部，传输效率高

注意事项与坑

1. 绝对不能和 TCP_NODELAY 混用：它们的目标相反。TCP_NODELAY 是“立即发送”，tcp_cork 是“延迟合并”，Linux 内核在实现上，如果同时开启，TCP_NODELAY 通常优先，会导致 tcp_cork 失效。
2. 不能无限期保持 cork：如果你塞上了，但之后一直不再写入数据或忘记“拔塞”，数据可能会被延迟最多 200ms（默认内核定时器）才会发送，这会造成延迟。最佳实践：写完数据后立即拔塞。
3. 与现代内核的兼容性：现代 Linux 内核（2.6+）对 tcp_cork 的实现很成熟，但如果你使用 send + MMAP 或 splice，效果更好，因为它们能直接在用户态和内核态之间传输，配合 tcp_cork 能完美合并。
4. 替代方案：sendmsg 或 writev（scatter/gather I/O）可以一次性写入多个缓冲区，如果你能用 writev 把头部和正文合并到一次系统调用中，可能不需要 tcp_cork，因为一次 writev 调用可以把多个分散数据一起放入内核缓冲区，然后内核通常会一次性组装发送（如果大小合适）。tcp_cork 适用于无法一次调用完成（需要多次 send 的系统调用，或者使用了 sendfile）。

如何实现合并小包？

步骤：

1. 开启 CORK：setsockopt(sock, IPPROTO_TCP, TCP_CORK, &yes, sizeof(yes))
2. 写入多个小数据块：多次调用 send() / write()
3. 关闭 CORK（拔塞）：setsockopt(sock, IPPROTO_TCP, TCP_CORK, &no, sizeof(no))
4. 内核自动合并：内核将积累在发送缓冲区中的所有数据打包成一个（或多个大于等于 MSS 的）TCP 段发送。

核心价值：减少 TCP 协议头开销（每个 TCP 段 40 字节头部 + IP 头部 20 字节）、减少 ACK 交互次数、提高网络带宽利用率。

标签： 小包合并