共识算法
1 有什么用
解决分布式系统一致性（共识）问题。CAP理论和FLP不可能定理。
PAXOS/RAFT解决无恶意节点前提下的分布式系统一致性问题。
2 How to test
- jepsen
- chaos
- TLA+, TLA
2.1 Jepsen
- Author of Jepsen Aphyr.com: https://github.com/aphyr
- Jepsen: https://aphyr.com/tags/jepsen
2.2 TLA
- Raft TLA: https://github.com/ongardie/raft.tla
4 References
- raft.github.io: https://raft.github.io/
- https://draveness.me/consensus/
- Logcabin: https://github.com/logcabin/logcabin