【课程报告二】精读Paxos Made Simple（1）

        在理解了CAP理论和Paxos算法的基本思想后，终于可以开始精读Paxos Made Simple这篇论文了。（详见【课程报告一】）

        跳过introduction第一部分后，第二部分的大标题是The Consensus Algorithm（共识算法）。那么作为萌新，这个共识算法是什么呢，论文不是讲Paxos的吗？

        经查阅后，简单来说共识机制来保证区块链中的每一区块只能由一个节点来负责写入，让平等的参与者按照某种秩序达成一致意见。区块链中的共识算法说到底还是分布式系统中最重要的一致性问题。所以论文中所说的共识算法问题就是在分布式系统中的一致性问题。而在非拜占庭问题中，Raxos则是经典的解决思想。

(18条消息) 什么是拜占庭将军问题_weixin_34148340的博客-CSDN博客e

        接着往下看，原文2.1中提出了共识算法的要求，我简单概括为：在若干个被提出的values中只有一个value可以被选择，在一个value被选择之前，它可以一直被提出。

        然后引出Paxos模型，提出了proposers, acceptors, and learner三个代理角色完成算法的过程。且背景是customary asynchronous（通常的异步）、non-Byzantine model（非拜占庭）。

        在2.2中的前三段，在P1条件提出前，最基础的Paxos思想被提出，value值由大多数acceptors返回的值决定。但并不像我在报告一中的BasicPaxos那样由两阶段组成，是最初的模型构思。（Basic Paxos大致过程见【课程报告一】）

P1：An acceptor must accept the first proposal that it receives.（多数派原则）

        所以在到P2条件前，为了解决不同proposers的并发性问题（多个value通过P1多数派原则约束），提出了：在所有被提出的请求前添加一个数字标志，每个数字标志各不相同。若要有多个value，他们的数字标志就要相同。有序的数字保证了并发的安全。所以在接受请求时就要满足:

P2：If a proposal with value v is chosen, then every higher-numbered proposal that is chosen has value v .（数字标记请求）

P1和P2能派生多种规则，下篇文章会继续分析。