1字节怎样进入socket
闭卷重建字节怎样进入socket的分层、状态、关系式和失败边界。
计算机系统原理 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2分层、封装与MTU
闭卷重建分层、封装与MTU的分层、状态、关系式和失败边界。
3IP路由与尽力交付
闭卷重建IP路由与尽力交付的分层、状态、关系式和失败边界。
4TCP序号、确认与重传
闭卷重建TCP序号、确认与重传的分层、状态、关系式和失败边界。
5流量控制与拥塞入口
闭卷重建流量控制与拥塞入口的分层、状态、关系式和失败边界。
6RPC、超时与幂等
闭卷重建RPC、超时与幂等的分层、状态、关系式和失败边界。
7协议状态机实验
闭卷重建协议状态机实验的分层、状态、关系式和失败边界。
第 1 页 · 背面（答案）
核心关系：payload+headers\le MTU；任务：为《分层、封装与MTU》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 payload+headers\le MTU 复算关键量；边界：不能把《分层、封装与MTU》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：write\to buffer\to packet；任务：为《字节怎样进入socket》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 write\to buffer\to packet 复算关键量；边界：不能把《字节怎样进入socket》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：ACK\ advances\ window；任务：为《TCP序号、确认与重传》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 ACK\ advances\ window 复算关键量；边界：不能把《TCP序号、确认与重传》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：next\ hop=longest\ prefix；任务：为《IP路由与尽力交付》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 next\ hop=longest\ prefix 复算关键量；边界：不能把《IP路由与尽力交付》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：retry\ requires\ idempotency；任务：为《RPC、超时与幂等》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 retry\ requires\ idempotency 复算关键量；边界：不能把《RPC、超时与幂等》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：inflight\le window；任务：为《流量控制与拥塞入口》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 inflight\le window 复算关键量；边界：不能把《流量控制与拥塞入口》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：state,event\to state',output；任务：为《协议状态机实验》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 state,event\to state',output 复算关键量；边界：不能把《协议状态机实验》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态