在一个 分布式系统中，为了使得整正常工作 久远而又核心的问题就是如何保证系统中所有节点的数据完全相同并且能够对发起的提案达成一致。 • 共识算法就是用来解决上述问题，分布式系统一致性的算法就是用来解决上述问题，从而保证分布式系统一致性的方法。 • 共识定义 : -- 终止 性(Termination )：所有 ：所有 正常运作的进程（节点）最终会在有限步数中结束并做 出决定 , 算法不会无尽执行下去 -- 一致性 : 所有进程必须做出相同的决定 (意见一致 意见一致 Agreement )； 如果所有进程都提议 ；相同的初始决定值 ，那么所有正确进程都应选择该(行为统一 行为统一 IntegrityIntegrity) -- 有效性 (Validity) : 最终达成一 致的决定必须是其他进程提交值中某个