Reno拥塞窗口与丢失响应

形式陈述 ​

拥塞控制调整发送端对共享网络施加的在途压力；流量控制理路滑动窗口与接收方流量控制Sliding window flow control · Receive window · rwnd · Zero-window probing把已确认位置、已发送前沿和通告窗口分开，计算可新增发送量及零窗口恢复，说明接收消费而非ACK释放接收缓存。调整它对接收端缓存的压力。二者共同约束发送。本页选择RFC5681（2009）的Reno式慢启动、拥塞避免、快速重传与快速恢复规则，讨论单丢失恢复轨迹；不把它描述为所有现代TCP的默认算法。CUBIC等有各自规范。

令SMSS=$M$为每段最大数据字节数，cwnd为拥塞窗口，ssthresh为慢启动阈值，FlightSize为已发送但尚未累计确认的数据字节数。cwnd是许可上限，FlightSize是实际占用；应用暂时没有数据或rwnd较小时，两者可相差很大。

慢启动在cwnd<ssthresh时进行。一个ACK新确认 $N$ 字节，本页取增长 $min(N,M)$。

拥塞避免在cwnd>ssthresh时进行，本页选用按字节计数的基础规则：进入时计数a=0；新ACK令a←a+N；当a≥当前cwnd时，cwnd增加M并令a=0，否则不增加。还须遵守RFC每RTT增长至多M的限制；本页只在明确分轮、每轮至多确认该轮起始窗口数据的模型下用此规则复算，因此该限制自动成立。等于阈值时选择拥塞避免。重复ACK不加入a。

本页不用SACK，重复ACK须同时满足五项：发送者仍有在途数据；此ACK不携数据；SYN和FIN均关闭；确认号等于该连接已收到的最大确认号；通告窗口等于上一份ACK的窗口。三个这样的连续重复ACK之间没有推进UNA的新确认时，把它们作为丢失信号，设

并重传最早未确认段。后续每个重复ACK可使cwnd再增 $M$，按窗口许可发送新数据；下一个确认新数据的ACK到达，cwnd回落为ssthresh，退出这条基本快速恢复路径。前两个重复ACK上的Limited Transmit不计入本页轨迹，算例此时没有待发送的新数据。

若RTO理路TCP往返估计与重传计时器TCP RTO · Retransmission timeout · Karn algorithm · SRTT按RFC6298的更新次序手算SRTT、RTTVAR和RTO，处理重传样本歧义及指数退避，区分重传与业务超时。到期，首次超时重传该段时用同样FlightSize式设置阈值，cwnd降至至多 $M$，重新慢启动；同一段再次因RTO重传时阈值保持，不无限重复减半。规范允许更保守选择，本文在上界取等号计算。