构建 Jepsen 证明系统步骤：

• 以可确定性测试的方式编写代码，确保应用依赖倒置原则，状态机可在各种网络传输上运行，能快速发现 race 条件。
• 构建模拟真实消息传递行为的模拟器，不这样做会构建出有很多 bug 的系统，可从[FoundationDB]等成功案例中学习。
• 编写代码围绕接收和响应消息的状态机，可实现 tick 方法处理周期性功能，将消息放入优先级队列按时间交付，对每个消息进行断言等操作，这就是“离散事件模拟”。