重构可靠传输：从包级确认到语义重传

在上一卷中，我们探讨了 QUIC 是如何在充满恶意的公网环境中建立并维护一条安全的传输隧道。然而，仅仅连通两端并不够。作为一种传输层协议，它必须兑现最为核心的契约：无论底层的 UDP 多么不可靠、无论网络如何丢包与乱序，应用层写入的每一个字节最终都必须完整、准确无误地送达彼岸。

这就引出了本书第三卷的核心议题：可靠传输机制的重构。

TCP 历经几位十年的考验，已经向我们提供了实现可靠传输的标准答案：基于序列号、确认应答（ACK）与超时重传。既然如此，QUIC 为什么还要耗费巨大的工程精力，在用户态重新实现一套复杂的可靠性维护机制，而不是在 UDP 上简单照搬 TCP 的现有模型？

答案在于 TCP 设计初期所留下的结构性包袱。在 TCP 的模型中，可靠传输不仅确认包的到达，还强绑定了字节流的顺序。这导致任何一个包的丢失都会阻塞后续所有已到达数据的交付（即著名的队头阻塞）。此外，TCP 在触发重传时，使用的是与原包相同的序列号发送一模一样的报文。这引入了经典的重传歧义问题：当发送端收到 ACK 时，往往难以判定该确认是针对原始包还是针对重传包计算其真实的 RTT（往返时延）。

为了彻底根除上述痛点，QUIC 对可靠传输的底层逻辑进行了一场颠覆式的重构：

解耦的序号空间：QUIC 摒弃了全局一条线的确认机制，针对 Initial、Handshake 和 1-RTT（应用数据）阶段，切分出了三个完全独立的包号空间（Packet Number Space）。不同空间的加密级别和确认互不干扰。
重发的是语义，而非报文：这是 QUIC 最具革命性的底层变动之一。当一个数据包确认被网络丢弃后，QUIC 协议绝不会原封不动地重发那个旧的数据包。相反，它会将丢失包中承载的核心单元（Frame）提取出来，放入一个被赋予全新包号的新数据包中发送。单调递增的包号体系从根本上消灭了重传歧义。
现代化的丢包自适应探测：在无法依赖系统自带超时机制的用户态，QUIC 引入了精准的探针超时（PTO，Probe Timeout）与包号距离阈值（Time/Packet Threshold）联合判定逻辑来追踪丢包事件，这极大提升了拥塞事件暴露和网络恢复的灵敏度。
动态装配的发送管线：由于抛弃了简单的整包缓存重传机制，网络库不得不在发送端构建一条复杂的发包流水线（PacketBuilder），根据不同的拥塞窗口和流控配额，动态装填甚至合并各类控制帧与数据流帧。

在接下来的六个章节中，我们将抽丝剥茧地解析这套现代化的确认体系，深入探讨序列号的设计、丢包追踪算法、组装发包管线的工程实现细节，并复盘在这套复杂的异步事件交织中，生命周期竞态问题带来的开发痛点。