stateright

正确实现诸如Paxos和Raft等分布式算法的共识协议是非常困难的，因为网络设备会对消息进行重新排序等固有的非确定性。Stateright是一个Rust行为库，旨在通过提供嵌入式模型检查器、用于探索系统行为的用户界面（演示）和轻量级行为运行时来解决这个问题。它还具有一个可在模型检查器中运行的线性可验证性测试器，可以提供比类似的解决方案（如Jepsen）更全面的测试覆盖率。

1. 请参阅《使用 Stateright 构建分布式系统》这本书。