1拥塞窗口与飞行数据
闭卷画出拥塞窗口与飞行数据的拓扑、报文状态机、公式与失败证据。
计算机网络与协议实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2慢启动与拥塞避免
闭卷画出慢启动与拥塞避免的拓扑、报文状态机、公式与失败证据。
3快速恢复与丢包信号
闭卷画出快速恢复与丢包信号的拓扑、报文状态机、公式与失败证据。
4排队、缓冲膨胀与AQM
闭卷画出排队、缓冲膨胀与AQM的拓扑、报文状态机、公式与失败证据。
5公平、利用率与Little定律
闭卷画出公平、利用率与Little定律的拓扑、报文状态机、公式与失败证据。
6主动测量与被动测量
闭卷画出主动测量与被动测量的拓扑、报文状态机、公式与失败证据。
7实验：拥塞窗口与队列模拟
闭卷画出实验：拥塞窗口与队列模拟的拓扑、报文状态机、公式与失败证据。
第 1 页 · 背面（答案）
机制：慢启动每RTT近似指数增长，越过ssthresh后拥塞避免近似线性增长；实验：从初始cwnd 1 MSS推演8个RTT，插入超时并更新ssthresh；边界：实际实现受延迟ACK、字节计数和现代算法影响，教材曲线是明确假设下模型。
机制：发送上限是min(cwnd,rwnd)，飞行数据为已发未确认字节，ACK时钟驱动持续发送；实验：逐RTT记录cwnd、flight、吞吐和队列，检查窗口是否超过接收或拥塞约束；边界：cwnd是发送端状态而非报文固定字段，抓包只能间接推断。
机制：过大缓冲可降低丢包却显著抬高排队时延，AQM在队列满前标记或丢弃；实验：固定服务率注入突发流量，绘制队列长度、丢包和p95时延；边界：低丢包率不代表网络健康，吞吐测试也不能独自揭示交互时延。
机制：重复ACK可在超时前提示单段缺失，快速重传和恢复避免完全回到初始窗口；实验：对一个窗口内单丢包画ACK序列和cwnd变化；边界：无线随机丢包不等同拥塞，但经典TCP通常仍将丢包作为拥塞信号。
机制：主动探针可控却增加流量，被动抓包接近现场但受采集点、采样和加密限制；实验：设计基线、故障和恢复三阶段测量，固定负载、时钟与指标定义；边界：ping只测特定ICMP路径，应用慢不能被一句网络没问题排除。
机制：稳定系统中平均在途N=吞吐X×平均响应R，公平还需声明按流、用户或权重定义；实验：由吞吐与RTT估算在途量，比较两条RTT不同流的份额；边界：Little定律要求稳定观察窗和一致边界，瞬时过载时机械套用会误导。
机制：离散模拟每RTT的到达、服务、丢弃、ACK和窗口更新，输出cwnd与队列序列；实验：实现Reno简化模型并覆盖无丢包、超时、三重复ACK和接收窗口限制；边界：教材模型不得冒充某操作系统真实实现，必须公开增长和减半规则。