《Paxos Made Simple》译文

原文链接：https://www.microsoft.com/en-us/research/uploads/prod/2016/12/paxos-simple-Copy.pdf

                                        让Paxos更简单

                                                                  Leslie Lamport，2001年11月3日

摘要

当采用简单直接的方式描述，Paxos算法是非常简单的。

目录

1. 简介
2. 共识算法
   1. 问题
   2. 选中一个值
   3. 学习选中的值
   4. 进展
   5. 实现
3. 实现状态机

     参考文献

 

 

1. 简介

Paxos算法可用于实现容错分布式系统，或许是因为之前以希腊神话故事的形式描述Paxos算法[5]，对许多读者来说，Paxos算法一直很难理解。事实上，Paxos算法在分布式算法中，属于较为简单和易理解的一类。Paxos算法的核心是一个共识算法——参考文献[5]中的“会议”（synod）算法。在下一节，我们将展示，如何从我们期望共识算法所拥有的属性派生出这个共识算法（“会议”算法）。最后一节解释了完整的Paxos算法，将共识直接应用到构建分布式系统的状态机方法[4]，即可得到Paxos算法。状态机方法是众所周知的一种方法，它可能是分布式系统理论中最常被引用的一种方法。

2. 共识算法

2.1 问题

假设有一组进程可以提出值（propose values）。共识算法可以确保所有被提出的值中，只有一个值能被选中（chosen）。如果没有值被提出，那么没有值会被选中。如果一个值被选中了，那么进程应该可以学习（learn）这个被选中的值。

共识算法的安全性（safety）要求如下：

1. 只有被提出的值才可以被选中
2. 只有一个值能被选中
3. 除非值被选中了，否则进程不会知道它被选中了，即：进程只学习已经被选中的值

我们不会明确指定灵活性（liveness）要求。然而，灵活性的目标是确保某个被提出的值最终可以被选中，并且如果一个值被选中，进程最终可以学习该值。

在共识算法中，存在三种角色，由三类代理（agent）执行这些角色：提出者（proposer），接受者（acceptor）以及学习者（learner）。在实现中，单个进程可以充当多个代理。这里，代理到进程的映射不会对我们产生影响。

假定代理们通过发送消息彼此交流。我们采用惯用的异步非拜占庭模型，其中：

1. 代理以任意速度运行，可能会故障（故障表现为停止运行），可能会重启。既然所有的代理可能在某个值被选中后故障，并且随后重启，那么除非信息能被故障后重启的代理记住，否则共识算法是不可能实现的。
2. 消息传送所需的时间是不确定的，消息可以重复发送，可以丢失，但是不会损坏。

2.2 选中一个值

选中一个值最简单的方法是只有单个接受者代理。提出者发送一个提议（proposal）给接受者，接受者选中它收到的第一个被提出的值即可。尽管很简单，但这种解决方法却不那么令人满意。因为在单个接受者故障之后，将不会取得任何进展（progress）。

所以，我们尝试另一种方法来选中单个值。采用多个接受者代理。提出者发送提出的值给某个接受者集合。一个接受者可能会接受（accept）这个提出的值。当一个足够大的接受者集合接受了这个值，这个值就被选中了。那么多大才算足够大呢？为了确保只有单个值被选中，足够大的集合包括了任意大多数代理（译者注：假设有5个代理，任意大多数代理表示3个代理：5除以2的下界再加1）。因为任意两个大多数代理至少有一个共同的接受者。这种方法奏效的条件是一个接受者最多只能接受一个值。（从参考文献[3]开始，许多论文都观察到了“大多数”）。

在没有故障和消息丢失的情况下，即使只有单个提出者提出一