paxos_simple中文翻译.pdfVIP

1 简介 Paxos算法作为容错的分布式系统实现已经广泛的被认为是难理解的，这可能由于 之前的描述对于许多读者来说不容易读懂。实际上，它是最简单和最显而易见的分布式 算法之一。它实际上是一致性算法 “会议”算法的一种。在下个章节将展示这个一致性 算法无法避免的属性，而这些属性我们想让他满足的。最后的章节中通过构建一个状态 机取得一致性的分布式系统的简单程序，来解释完全的paxos算法，当然这个方法是众 所周知的，因为这个可能是最经常在分布式理论里提及的主题 【4 】。 2 一致性算法 2.1 问题 假设一个可以进行建议的进程的集合。一个一致性算法要保证在所有被建议的值中 只有一个单一的值可以被选定。如果没有值被建议，当然也就没有值被选定。如果一个 值已经被选定了，则这些进程应该能够了解到这个被选定的值. 一致的安全要求如下： 1. 仅仅一个被建议的值才可能被选定 2. 仅仅一个单一的值被选定 3. 一个进程不会去了解一个值，除非他已经被实际的选定了 我们将不尝试去详细说明精确的活性需求。无论如何，目标是确保一些被建议的值 最终被选定，并且如果一个值被选定了，然后一个进程最终能够学习到这个值。我们让 这三个一致性算法中的三个角色扮演三种代理人类型，建议者，同意者，学习者