滑动窗口算法通过分支结构实现自适应拥塞控制，依据rtt、丢包率等四类实时信号触发慢开始、拥塞避免、快恢复或gbn式收缩策略；发送窗口swnd取rwnd、cwnd×mss、min_mss×2三者最小值；含防抖守卫与诊断机制，需在ack早期路径部署并兼容ebpf。
滑动窗口算法配合分支结构实现自适应拥塞控制，核心在于将网络状态感知、决策逻辑与窗口动态调节解耦为可扩展的判断链路，而非固定公式驱动。关键不在于“怎么算”，而在于“何时换策略”和“换多大”。
基于实时指标的分支判定框架
引擎启动后持续采集四类信号：当前RTT（往返时延）、RTT变化率（ΔRTT/RTT）、丢包率（通过重复ACK或SACK推断）、接收方通告窗口（rwnd）。这些信号输入到多层分支结构中：
- 低负载分支：RTT稳定 + 丢包率＜0.1% → 触发“慢开始”模式，cwnd按2n指数增长，每轮仅限1个MSS增量
- 轻拥塞分支：RTT上升＞20% 或 丢包率在0.1%–3%之间 → 切换至“拥塞避免”，cwnd线性增加（+1 MSS每RTT），同时将ssthresh设为当前cwnd一半
- 显式拥塞分支：收到ECN-Echo标记 或 连续3次重复ACK → 立即执行“快重传+快恢复”，cwnd设为ssthresh + 3 MSS，不再清零重来
- 严重失序分支：接收方反馈SACK块数＞5且存在大面积空洞 → 降级为GBN式窗口收缩，强制回退至最近连续确认点，暂停发送新数据直到窗口重对齐
窗口大小的动态合成计算
最终生效的发送窗口（swnd）不是单一值，而是由三重约束实时合成：
- 接收能力上限：rwnd（来自TCP首部窗口字段，反映接收缓冲区余量）
- 网络承载上限：cwnd（经上述分支逻辑更新后的拥塞窗口，单位为MSS）
- 路径最小MTU保护：min_mss × 2（防止分片导致额外丢包）
实际发送窗口取三者最小值：swnd = min(rwnd, cwnd × mss, min_mss × 2)。其中cwnd × mss需做整数截断，避免浮点误差引发窗口抖动。
分支跳转的防抖与回滞机制
为避免状态频繁震荡，每个分支出口嵌入两个守卫条件：
- 持续时间守卫：进入某分支后，至少维持2个RTT周期才允许评估是否退出（例如：不能刚进拥塞避免就因瞬时RTT回落就切回慢开始）
- 回滞阈值守卫：从高拥塞分支退回低阶分支时，要求指标优于原触发阈值的20%（例如：丢包率需降至0.08%以下才允许离开快恢复）
- 所有分支内部维护本地计数器，记录该策略已执行轮次；若连续5轮无实质窗口增长（Δcwnd＝0），自动触发诊断模式，临时启用探测包验证链路真实容量
工程落地的关键细节
在Linux内核或用户态协议栈中部署时，需注意：
- 分支判定必须在ACK处理路径的早期完成，避免与重传定时器竞争；建议在tcp_rcv_established()入口处插入钩子
- cwnd更新不可直接赋值，应通过tcp_cong_control()接口调用，确保与BPF eBPF拥塞控制模块兼容
- rwnd解析需结合TCP选项（如Window Scale）做左移校正，未开启Scale时最大窗口仍受限于65535字节
- 所有分支日志输出统一携带trace_id和窗口快照（cwnd, ssthresh, rwnd, mss），便于事后用eBPF trace分析决策链路
