1声明式API与控制循环
闭卷重建声明式API与控制循环的故障模型、消息状态、不变量与恢复边界。
分布式系统与可靠服务 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2服务发现、DNS与端点传播
闭卷重建服务发现、DNS与端点传播的故障模型、消息状态、不变量与恢复边界。
3租约、领导选举与fencing
闭卷重建租约、领导选举与fencing的故障模型、消息状态、不变量与恢复边界。
4滚动发布、就绪与优雅终止
闭卷重建滚动发布、就绪与优雅终止的故障模型、消息状态、不变量与恢复边界。
5自动扩缩容与反馈振荡
闭卷重建自动扩缩容与反馈振荡的故障模型、消息状态、不变量与恢复边界。
6配置、密钥与动态变更
闭卷重建配置、密钥与动态变更的故障模型、消息状态、不变量与恢复边界。
7实验：控制器调谐模拟器
闭卷重建实验：控制器调谐模拟器的故障模型、消息状态、不变量与恢复边界。