PBFT共识算法

一、拜占庭将军问题

古代，拜占庭的各地的将军去打仗，比如有10个，必须相互通信，达成共识才能一起出发，否则战役失败。

问题1、有个将军会叛变，在有将军叛变的情况下，如何达成共识。

问题2、互相通信的信道必须是安全的，在不安全的信道中通讯，达成共识很困难的。

已经证明：在背叛者为f，将军总数>3f时，可达成共识。3f+1<=n---->(n-1)/3

容错节点：应为硬件或者网络问题，节点无响应。

作恶节点：除了无响应，还可以发除错误的信息，误导其他人。

raft 可容忍的错误节点数 f = (n-1)/2，

设节点总数为n,错误节点为f,根据共识定理，只有比f多1个就可以既f+1,f+f+1 = n

2f+1=n-->f = (n-1)/2 综上所述，作恶节点个数最多为(n-1)/2个，系统可达成共识。

PBFT可容忍的非正确节点的个数为f =（n-1)/3，

1、情况1、假设节点总数为n,作恶节点为f，错误节点个数为f，作恶节点被发现后，会被系统剔除，那么完好节点只要比错误的节点多1个，既f+1就可以了。那么f+f+f+1 = n-->3f+1=n ----> f=(n-1)/3

2、情况2、作恶节点与错误节点个数相同，同raft。

基本流程：

1、客户端给主节点发送情况，

2、主节点将请求广播给其他节点，其他节点做三阶段处理。

3、节点处理完成后，落盘，返回给客户端。

4、客户端收到f+1个正确消息后，代表共识结束。

三阶段处理：

pre-pre、promise、commit

消息类型<v,n,d,m>

v是主节点选举的第几轮，1，2。。。等等

n是客户端发过来的请求的编号

d是消息内容的摘要

m是消息的内容

主节点收到消息会向其他节点发送pre-prepare消息。开始三阶段处理

1、非主节点收到pre-prepare消息，判断接受不接受。不接受的逻辑，与第一次收到的消息相比较，是V,n相同，但d和M不同，及不是这个消息。或者请求编号不在高低水位之间。

2、如果接受pre-prepare消息，则想其他节点广播发送promise消息，其他节点也做同样的事情，如果1个节点收到超过2f+1个promise消息，则进入commit阶段。

3、节点会将向外广播commit消息，其他节点也在做同样的操作。当收到2f+1个commit消息时，则认为大多数节点都commit了，这时候就会落盘，向客户端发送正确消息。

View change（视图改变）

更换主节点，当主节点挂了，或者其他从节点认为主节点作恶，就会触发view change。

过程分view-change，view-change-ack，new-view

当主节点挂了，从节点想其他节点发出view-change消息，其中编号最小的节点会成为主节点，当新主节点收到2f+1个节点的view-change消息，就认为大家都同一它成为新节点。那他就会发出new-view消息，接着处理上个视图没处理完的请求。

垃圾回收

checkpoint和stable checkpoint和高低水位

checkpoint当前节点处理的最新请求序号号。

stable checkpoint 大部分节点2f+1个节点已经共识完成的请求序列号。

stable checkpoint是为了减少数据的占用空间，它之前的请求都可以删除掉。每个节点不用再存所有的请求了，节省了节点的空间。

节点i会给其他节点发送<checkpoint ,n,d,i>

n是当前节点的请求序列号。

d是当前状态的一个摘要。

当收到2f+1个节点的回复时，就认识大多数人都处理到这个请求序列号了，那么就会形成stable checkpoint。

如果收到i节点消息的其他节点，没有处理到这个请求序列号，那么就不会返回消息。

高低水位

低水位为上一次的stable checkpoint，高水位为低水位+L（L为我们设定的值）。

当节点i的处理请求序列号超过高水位，就等待，不处理了，等待stable checkpoint变化后，再继续处理。

 

raft和PBFT的时间复杂度。

raft的复杂度O(n)，共识分为日志记录，提交数据2部分，都是主节点给从节点发送数据，从节点之间是不需要沟通的，从节点回复接受或者不接受。

日志记录阶段，请求数n-1。提交数据阶段，请求数n-1。总的是2n-2。

PBFT的时间复杂度O(n)，的pre-pepare阶段，主节点发送给所有从节点，请求数为n-1，

promise阶段，每个从节点给每个其他节点发送，请求数为n*(n-1)

commit阶段，每个从节点给每个其他节点发送，请求数也没n*(n-1)

raft不会质疑主节点，pbft会质疑主节点。