4.1 状态迁移#

注意箭头上的”一次报文传送”是简化写法：真实两端在不同时刻各自迁移。

4.2 每条消息改变了谁的知识#

关键推论：客户端在第 2 步之后就已经完成，第 3 条消息纯粹是把服务器从”半确信”推到”确信”。所以在最终 ACK 抵达服务器之前，两端并不同时处于 ESTABLISHED——分布式系统没有一次更新双方状态的共享内存操作。把客户端状态集与服务器状态集做笛卡尔积，再叠上”网络中正在传输的报文”，才是完整全局状态。

4.3 为什么是三条，不是两条#

• 只到第 2 步就认定建立，服务器无法区分”我的 SYN+ACK 丢了”和”连接已建立”——它没有任何证据自己的回复到达了对方。
• RFC 9293 §3.5 的原话：“The principal reason for the three-way handshake is to prevent old duplicate connection initiations from causing confusion.” 一个旧连接的重复 SYN 若能让服务器单方面进入建立态，就会留下客户端从未同意的半开连接；第 3 条的 ack = S+1 必须引用当前化身的 ISN，旧报文猜不出来。
• 反向也成立：两个 SYN 交叉的同时打开是合法路径，实际表现为四条消息。R026 明确写着”这不是经典三次握手，但仍是合法的建立方式”。合法性由标志位与序号关系决定，不由”第几个包”决定。

4.4 序号账本#

三条不变量（R123、R026、R039）：

• ACK 是下一个需要的字节位置，不是”最后收到的字节”，所以确认 SYN 要 +1。
• SYN 与 FIN 各占一个序号位置，即使载荷为 0：next = seq + payload_len + SYN + FIN。
• 段的 SEQ 属于本方向，ACK 属于反方向，两套编号空间没有大小关系。

澄清（对应首部图）：“占一个序号位置” ≠ “占负载一个字节”。SYN/FIN 是首部 flag 字节里的比特，上线 0 字节；“占位”指接收方账本游标前进一格。首部（含 MSS/WS/SACK/TS 等选项）不占序号空间，故握手段”0 负载”≠“空段”；纯 ACK 消耗 0 格，其后的数据段沿用同一 seq（RFC 9293 §3.5 Figure 6）。握手段允许携带数据（同上；TFO/RFC 7413 允许 SYN 与 SYN-ACK 带数据）。推演见 others/qa-log/2026-10-05-handshake-SA-SP.md。

用 R026 的原例走一遍：

1
I    → Peer : seq = 12340, SYN=1, data = "abcdef", FIN=1
2
Peer → I    : ack = 12348      # 12340(SYN) + 6 字节 + 12347(FIN) → 下一个要 12348
3
Peer → I    : seq = 9999, SYN=1, data = "", FIN=1
4
I    → Peer : ack = 10001      # 9999(SYN) + 10000(FIN)

握手的第 3 段是零长度控制段：seq = C+1（位置 C 已被自己的 SYN 占用），ack = S+1。

4.5 三条消息各丢一次#

一般化的幂等性要求：apply(apply(S,m),m) = apply(S,m)——同一控制消息重复到达不得重复推进协议可观察状态（允许再次产生 ACK 这类帮助对端收敛的输出）。这也是”超时只说明期限内没观察到进展，不证明对端状态”的直接理由。

4.6 为什么初始序号随机#

R026 的逻辑：ISN 随机 + SYN 置位 ⇒ 收方判定”这个序号在旧流里根本不成立，且 SYN=1” → 这是连接的新化身，从而把旧化身的延迟副本挡在外面；同时让序号不可预测，抬高伪造成本。随机化不是认证，防伪造要靠加密或 PAWS 一类机制。

4.7 实现要点#

• LISTEN 收到合法 SYN 是一个复合动作：创建/关联控制块、记录对端 ISN、选本端 ISN、发 SYN-ACK、进入 SYN-RECEIVED；其中任何一步重传都不得重复向应用报告新连接。
• 状态枚举不是全部状态：连接还要保存收发序号、窗口、重传队列和计时器，两个同处 ESTABLISHED 的连接可以有完全不同的可接受序号范围。
• 与系统调用的对应：connect 触发主动打开；listen/accept 分离”监听”与”取走一条已完成连接”；close 只减少引用并请求释放，不保证网络上立刻没有状态。

5.1 TIME-WAIT 展开#

状态定义（RFC 9293 §3.3.2 原文）已把两个目的写在一句里："represents waiting for enough time to pass to be sure the remote TCP peer received the acknowledgment of its connection termination request AND to avoid new connections being impacted by delayed segments from previous connections."

1. 可靠收尾：最终 ACK 可能丢失。对端因此重传 FIN；只要本端仍在 TIME-WAIT，就还能再回 ACK，并重启 2MSL 计时器（RFC 9293 §3.10.7.4："TIME-WAIT STATE: Remain in the TIME-WAIT state. Restart the 2 MSL time-wait timeout."）。若本端已删状态，重传的 FIN 会得到 RST，对端把一次正常关闭报成 connection reset。
2. 隔离旧化身：延迟的旧段最长可在网络中存活 MSL；等 $2MSL$ 再允许同一四元组复用，旧段已全部离网。没有这一条，旧数据可能落进新连接的窗口被当成新连接自己的字节。
3. $2MSL$ 的拆分（讲义口径）：一个 MSL 覆盖旧 FIN/旧段的到达与再次确认，另一个 MSL 让最后 ACK 的副本离网。规范 MSL 取 2 分钟（RFC 9293："Arbitrarily defined to be 2 minutes"，工程选择）；Linux 默认 net.ipv4.tcp_fin_timeout = 60（本机实测），故不变量是 $2\times MSL$，具体秒数按实现。
4. 规范条款：主动关闭方 "MUST linger in the TIME-WAIT state for a time 2xMSL"（MUST-13）；允许从 TIME-WAIT 直接接受新 SYN 重启连接（MAY-2，要求新 ISN 大于上一化身用过的最大值，且若该 SYN 是旧副本则退回 TIME-WAIT）；启用时间戳选项时有更好的算法（SHLD-4，见 RFC 7323 的 PAWS）。
5. 谁进入：主动关闭方。被动方走 LAST-ACK → CLOSED（收到最终 ACK 即结束，无需等待）；同时关闭则双方都进 TIME-WAIT。半关闭（对端只 ACK 不关）时主动方停在 FIN-WAIT-2，不占用 TIME-WAIT。
6. 成本与缓解：TIME-WAIT 占用 TCB 与四元组，高并发短连接会堆积。缓解靠连接复用（keep-alive）、扩大临时端口范围、受限的 tcp_tw_reuse（本机 = 2，仅回环；依赖时间戳），以及 tcp_max_tw_buckets；强制 RST / SO_LINGER 0 的代价是丢弃未确认数据并让对端看到 reset，不是通用捷径。诊断：ss -tan state time-wait | wc -l。

$2MSL$ 通俗版：MSL 就是”一个段在网络里最多能活多久”（规范拍成 2 分钟；真实网络里段只活毫秒到秒级）。MSL 之后，可以认为这一个段已经不在了。 注意：$2MSL$ 不是”从 t=0 起算的一次性预算”，而是”本端上一次发言之后的窗口”——因为计时器在每次收到重复 FIN 时清零重启（§3.10.7.4）。

1
t=0          A 发出最后的 ACK（假设丢失）
2
t=0..RTO     B 在等自己的重传定时器（这段等待与 MSL 无关）
3
t=RTO        B 重传 FIN（这封信自己也最多活 MSL）
4
t=RTO+δ      A 收到 ⇒ 再回 ACK ⇒ 计时器清零，重新开始算 2MSL
5
             （若 B 仍收不到，循环继续；A 每次收到都重新计时）
6
t=最后一次ACK + 2MSL                 A 才允许删除状态、允许复用四元组

• 因此”两个 MSL”算的是网络侧的清场时间，不含对端的 RTO：第 1 个 MSL 覆盖”我最后那个 ACK 的副本自身的寿命”，第 2 个 MSL 覆盖”若它没解决问题，对端重传的 FIN 走到我这里所需的网络延迟”。对端的定时器等待由计时器重启迭代吸收，不需要塞进这两个 MSL 里。
• 为什么不是 1 个：单个 MSL 只保证”一个段消失”，覆盖不了网络往返，也覆盖不了”在最后时刻才产生的那最后一个 ACK”。为什么不是 3 个：$t=2MSL$ 时往返已覆盖、旧物已清空，多等只增加端口占用。⇒ 2 是”刚好够”的最小网络侧窗口。
• 边界（诚实声明）：规范只给规则与两个目的，没有把对端 RTO 纳入的形式化证明；成立前提是 RTO 与 MSL 同量级。极端退避（RTO 长于 TIME-WAIT 窗口）理论上可让重传 FIN 落在本端删状态之后 ⇒ 本端回 RST、对端报 reset。Linux 的 RTO 退避上限（TCP_RTO_MAX，120 秒量级，按内核源码常量）与其 tcp_fin_timeout = 60 相比，正说明 $2MSL$ 是工程近似而非定理。
• 同一把尺子也用在别处（说明它是”清场单位”而非 TIME-WAIT 专属）：主机重启丢失序号记忆后要安静一个 MSL（RFC 9293 §3.4.3 quiet time）；ISN 由 32 位时钟生成、约 4.55 小时绕一圈，远长于 MSL，故同一四元组在 MSL 之后新建连接时 ISN 必然不同（§3.4.1）。规范也承认现代网络的有效 MSL 在下降（"the effective MSL of the Internet has declined as links have become faster"），这正是实现取更短秒数的理由。

交叉核对与分歧#

• MSL 数值：规范把 MSL 定为 2 分钟（工程选择）⇒ 2MSL = 4 分钟；本次视频只给”约一分钟量级”的直观说法，Linux 实测 TIME-WAIT 为 60 秒。写结论时用”2×MSL”这一不变量，具体秒数标注为实现相关。
• 状态计数：视频与讲义说 TCP 图有”十二个命名状态”（按图上框数计，CLOSED 出现两次）；RFC 9293 §3.4 枚举的是 LISTEN…TIME-WAIT 十个真实状态加一个”fictional”的 CLOSED。
• 字幕口误：R123 在 00:03:34 把第 3 段说成 seq = S_P+1，下一句立即改口——正确值是 seq = S_A+1, ack = S_P+1。