27｜一致性与共识（二）：它们是鸡生蛋还是蛋生鸡？

该思维导图由 AI 生成，仅供参考

共识算法在分布式系统中扮演着至关重要的角色，涉及一致同意、诚实性、合法性和可终止性等核心条件。挑战包括异步网络模型下的共识难题以及对分布式系统的故障模型定义。共识算法如Raft和Paxos通过超时等机制解决了“FLP不可能”原理带来的挑战。一致性最强的线性一致性在主从复制模型中表现，但主节点故障时需要共识算法的帮助。通过共识算法，可以实现高可用的线性一致性，但共识算法并非线性一致性的必要条件。因此，共识算法是手段，一致性是目的。在实际应用中，应选择经过验证的开源程序如ZooKeeper和etcd，而不是自行实现共识算法。共识和高可用之间的关系在于共识算法可以实现高可用的线性一致性，但高可用并非共识算法的必要条件。因此，在构建分布式系统时，需要综合考虑共识算法和高可用性的关系，选择合适的方案来满足系统的需求。