Updates distribute_system/consensus.md

distribute_system/consensus.md

@@ -4,6 +4,17 @@
 
 共识算法解决的是对某个提案（Proposal），大家达成一致意见的过程。提案的含义在分布式系统中十分宽泛，如多个事件发生的顺序、某个键对应的值、谁是领导……等等，可以认为任何需要达成一致的信息都是一个提案。
 
+### 问题挑战
+实际上，如果分布式系统中各个节点都能保证以十分强大的性能（瞬间响应、高吞吐）无故障的运行，则实现共识过程并不复杂，简单通过多播过程投票即可。
+
+很可惜的是，现实中这样“完美”的系统并不存在，如响应请求往往存在时延、网络会发生中断、节点会发生故障、甚至存在恶意节点故意要破坏系统。
+
+一般地，把故障（不响应）的情况称为“非拜占庭错误”，恶意响应的情况称为“拜占庭错误”（对应节点为拜占庭节点）。
+
+### 常见算法
+针对非拜占庭错误的情况，一般包括 Paxos、Raft 及其变种。
+
+对于要能容忍拜占庭错误的情况，一般包括 PBFT 系列、PoW 系列算法等。
 
 ### 理论界限