TCP 可靠传输与流量控制

本课目标

能从UDP/TCP报文和双向时间线推出端口分用、序号确认、连接状态、可发送窗口与拥塞阶段，并用代码复核字节级结果。

核心机制

TCP用序号、累计确认、重传定时器和校验实现可靠传输，可使用快速重传与选择确认。接收方通告rwnd限制发送方避免淹没缓冲；实际可发送上限受min(rwnd,cwnd)约束，再减已在途未确认字节。零窗口时发送方用持续计时器探测窗口更新。

报文与时序推演

rwnd=3000、cwnd=2000、在途500，则当前还能发min(3000,2000)-500=1500字节。ACK只确认连续前缀，失序缓存不一定推进累计ACK。

统一表格记录“方向、标志、seq、数据长度、ack、rwnd、cwnd、在途字节、定时器和连接状态”。两个方向序号空间独立；收到报文后先校验和与序号，再决定交付、累计确认和窗口变化。所有ACK都解释成期望下一个字节。

可运行模型

rwnd=3000;cwnd=2000;flight=500;print(min(rwnd,cwnd)-flight)

先手算再运行。修改负载长度、初始序号、窗口、丢包事件或阈值，重画报文和状态。

边界与错因

UDP无连接但保留报文边界；TCP是字节流且SYN/FIN占序号。累计ACK不等于选择确认；rwnd是接收能力，cwnd是网络拥塞估计，实际发送受二者最小值约束。TIME_WAIT属于主动关闭一侧的典型状态，不能因应用close就认为所有状态立即消失。

迁移练习

将第三次握手ACK丢失、数据中间一段丢失、接收窗口归零、超时与三次重复ACK分别加入原时序，逐步更新定时器、重传范围、rwnd/cwnd和连接状态。

课内验收

完成下方两道在线题，并提交完整双向报文表。计算题保留字节序号与窗口单位；选择题指出错误项混淆了哪个方向、状态或控制目标。