1端口、套接字与分用
闭卷画出端口、套接字与分用的拓扑、报文状态机、公式与失败证据。
计算机网络与协议实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2UDP数据报与校验和
闭卷画出UDP数据报与校验和的拓扑、报文状态机、公式与失败证据。
3TCP序号、确认与字节流
闭卷画出TCP序号、确认与字节流的拓扑、报文状态机、公式与失败证据。
4三次握手、四次挥手与状态机
闭卷画出三次握手、四次挥手与状态机的拓扑、报文状态机、公式与失败证据。
5超时、快速重传与RTT估计
闭卷画出超时、快速重传与RTT估计的拓扑、报文状态机、公式与失败证据。
6流量控制与滑动窗口
闭卷画出流量控制与滑动窗口的拓扑、报文状态机、公式与失败证据。
7实验：可靠字节流模拟器
闭卷画出实验：可靠字节流模拟器的拓扑、报文状态机、公式与失败证据。
第 1 页 · 背面（答案）
机制：UDP保留消息边界并提供轻量分用与校验，不承诺到达、顺序和去重；实验：构造伪首部、UDP首部和载荷的16位反码和，翻转位后验证；边界：校验和通过只说明随机差错未被发现，不提供发送者认证或重放保护。
机制：传输层用协议、地址和端口把到达报文交给正确socket，连接通常由五元组区分；实验：列出同一服务器端口上三条TCP连接的五元组并判断能否并存；边界：端口不是进程永久身份，监听socket与已连接socket也不是同一对象。
机制：握手同步双向初始序号并确认可达，关闭两个方向独立进行，TIME_WAIT保护旧报文；实验：从CLOSED逐事件走到ESTABLISHED和TIME_WAIT，注入丢SYN-ACK与同时关闭；边界：两次握手不能可靠排除旧连接请求，TIME_WAIT不是服务器必然资源泄漏。
机制：序号标识字节位置，累计确认表示此前连续字节已收，应用写边界不会被保留；实验：给乱序段序号与长度，逐步更新期望序号、重复ACK和重组队列；边界：ACK号不是报文段编号；SYN和FIN各消耗一个序号空间位置。
机制：接收窗口保护接收缓存，发送可用量受已确认边界、拥塞窗口和接收窗口共同约束；实验：按ACK与rwnd更新发送窗口，模拟零窗口探测和窗口缩小边界；边界：流量控制保护接收方而非网络；窗口通告错误会造成停顿或缓存溢出。
机制：发送端按ACK推进窗口，超时和重复ACK触发重传，RTO由平滑RTT和偏差估计；实验：用给定SampleRTT更新EstimatedRTT、DevRTT和RTO，再模拟三次重复ACK；边界：重传段的RTT样本有歧义，超时与乱序不能仅凭单个重复ACK区分。
机制：维护nextseq、sendbase、乱序缓存与累计ACK，在丢失和重排下重建连续字节流；实验：实现确定性发送/接收事件模拟并覆盖正常、丢段、重复段和乱序；边界：模拟器若直接按输入顺序拼接就没有验证TCP语义，必须按序号去重重组。