TCP可靠性机制详解（从Linux内核角度看TCP如何保证可靠传输）

1. 序列号（Sequence Number）—— 给每个字节一个身份

TCP将应用层传来的数据视为一个有序的字节流。为了确保接收方能按照正确的顺序组装数据，TCP为每个字节分配一个序列号。初始序列号（ISN）在连接建立时随机生成，之后每发送一个字节，序列号就增加1。接收方通过检查序列号，可以识别重复的数据包（丢弃）和缺失的数据包（等待重传），从而保证数据的顺序性和完整性。在Linux源码中，tcp_skb_cb结构体就用于存储每个数据包的序列号信息。

2. 确认应答（Acknowledgment）—— 接收方的“回执”

当接收方成功收到数据后，会向发送方回复一个确认应答（ACK）报文。ACK报文中包含一个确认号，其值为期望收到的下一个字节的序列号。例如，发送方发送了序列号1-1000的数据，接收方正确接收后，会回复ACK=1001，表示前1000个字节已收到，请发第1001个字节开始的数据。这种机制让发送方明确知道哪些数据已被对方成功接收。Linux中通过tcp_send_ack()等函数来生成和发送ACK。

3. 超时重传（Timeout Retransmission）—— 对抗丢包的利器

网络环境不稳定，数据包可能在途中丢失。为此，TCP发送方在发送每个数据包时都会启动一个定时器（超时重传计时器）。如果在规定时间内未收到对应的ACK，发送方就认为该数据包丢失，并立即超时重传该数据包。Linux内核会根据网络状况动态调整超时时间（RTO，Retransmission TimeOut），通过tcp_retransmit_timer()等函数实现。此外，还有快速重传机制（收到三次重复ACK时触发），这部分将在后续文章中介绍。

4. 校验和（Checksum）—— 保证数据的完整性

每个TCP段末尾都包含一个校验和字段，发送方通过特定算法（如反码求和）计算出校验值并填入。接收方收到数据后，同样计算校验和并与发送方的值比对。如果一致，说明数据在传输过程中未发生损坏；如果不一致，接收方会丢弃该数据包，并不发送ACK（等待发送方超时重传）。校验和机制确保了数据的完整性，是TCP可靠性的最后一道防线。Linux内核中的tcp_v4_send_check()函数负责计算和填充校验和。

总结：

序列号、确认应答、超时重传和校验和是TCP保证可靠传输的四大基石。Linux内核通过高效的数据结构和算法实现了这些机制，为上层应用提供了稳定、有序的数据流服务。下一讲我们将深入探讨滑动窗口与流量控制，敬请期待！