1为什么墙上时间不等于真相
闭卷重建为什么墙上时间不等于真相的故障模型、消息状态、不变量与恢复边界。
分布式系统与可靠服务 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2 happens-before 与并发事件
闭卷重建 happens-before 与并发事件的故障模型、消息状态、不变量与恢复边界。
3Lamport逻辑时钟
闭卷重建Lamport逻辑时钟的故障模型、消息状态、不变量与恢复边界。
4向量时钟与并发检测
闭卷重建向量时钟与并发检测的故障模型、消息状态、不变量与恢复边界。
5物理时钟、租约与不确定区间
闭卷重建物理时钟、租约与不确定区间的故障模型、消息状态、不变量与恢复边界。
6全序广播与确定性状态机
闭卷重建全序广播与确定性状态机的故障模型、消息状态、不变量与恢复边界。
7实验：逻辑时钟与因果比较
闭卷重建实验：逻辑时钟与因果比较的故障模型、消息状态、不变量与恢复边界。