1RPC不是本地调用
闭卷画出RPC不是本地调用的拓扑、报文状态机、公式与失败证据。
计算机网络与协议实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2超时、重试与指数退避
闭卷画出超时、重试与指数退避的拓扑、报文状态机、公式与失败证据。
3幂等键、去重与恰好一次幻觉
闭卷画出幂等键、去重与恰好一次幻觉的拓扑、报文状态机、公式与失败证据。
4负载均衡、健康检查与会话
闭卷画出负载均衡、健康检查与会话的拓扑、报文状态机、公式与失败证据。
5复制、分区与一致性边界
闭卷画出复制、分区与一致性边界的拓扑、报文状态机、公式与失败证据。
6服务发现、配置与变更传播
闭卷画出服务发现、配置与变更传播的拓扑、报文状态机、公式与失败证据。
7实验：重试与去重状态机
闭卷画出实验：重试与去重状态机的拓扑、报文状态机、公式与失败证据。
第 1 页 · 背面（答案）
机制：超时应来自延迟分布和总预算，退避与抖动避免故障时同步重试风暴；实验：给三级调用链分配端到端预算，计算最大尝试次数和最坏耗时；边界：每层独立重试会放大流量，超时也必须包含排队与连接建立。
机制：远程调用会经历序列化、排队、网络、远端执行和返回，可能超时但远端已成功；实验：画一次超时RPC的六个阶段并列出客户端可知与不可知状态；边界：捕获超时后自动重试可能重复副作用，接口必须设计幂等或去重。
机制：四层按连接、七层按应用信息分发，健康检查与摘除决定故障切换速度；实验：比较轮询、最少连接和一致性哈希在节点增减时的请求迁移；边界：健康端口可连不代表关键依赖健康，粘性会话也会造成不均衡和恢复复杂。
机制：客户端请求ID配合服务端结果缓存可把重复请求收敛为同一业务结果；实验：模拟请求成功但响应丢失后的重试、去重和结果返回；边界：网络协议通常只能提供至少一次或至多一次效果，恰好一次需要业务状态共同保证。
机制：实例注册、租约、健康和缓存共同决定调用方看到的端点集合；实验：模拟实例下线后注册中心、客户端缓存和连接池的不同收敛时间；边界：发现到地址不代表端口可用，DNS TTL也不等于连接池立即重建。
机制：网络分区使节点无法同时保证任意请求可用和强一致，系统需明确操作语义；实验：推演主从复制在确认前后断网时的读取与故障切换结果；边界：CAP不是日常延迟下三选二口号，必须先确认真的发生网络分区。
机制：输入请求ID、发送结果和响应丢失事件，输出业务执行次数、客户端结果与总尝试；实验：实现确定性RPC模型并覆盖首次成功、响应丢失、持续失败和过期去重键；边界：模拟器必须区分请求未到达、已执行响应丢失和响应已到达三种状态。