Paxos 是由 Leslie Lamport 提出的 **一种基于消息传递的协商共识算法**，现已是当今分布式系统最重要的理论基础，几乎就是“共识”二字的代名词。