分布式一致性 主线

1、单机事务

2、 多机主线(无作恶\无传错)

• 状态机

  确定状态机:记忆+动作(修改记忆、算术、逻辑):
  即一台简化的计算机:内存 + 执行&控制.
  一些列动作引起一系列变化后的记忆, 这些动作就是状态机支持的指令.
  可以是真实的处理器电路，也可以是一台mysql服务器.
  因为mysql服务器支持一些列指令:sql, 并记住了表中数据.

• 一致性

  集群中的任何一台机器执行的写请求必须顺序一致.

  客户端发起的写请求顺序无法界定, 虽然每个写请求真实发生时刻有真实世界的时间先后.

• 多数派
  设有集群S

  第一次将S划分为两部分:存活机器S1g,死亡机器S1b;要求S1g为多数派,即S1g中的机器数大于S1b中的.

  用户发起写请求Wq1,Wq1顺利放在活S1g中,显然无法放在死S1b中.

  假设完成Wq1后，S1g中有部分机器死亡, S1b中有部分复活, 即:第一次的死活划分已经无用了.

  ---

  用户发起写请求Wq2,此时需要重新划分死活部分.

  第二次将S划分为两部分:存活机器S2g,死亡机器S2b;要求S2g为多数派;

  此时必有第一次活机器S1g和第二次活机器S2g中有重叠的机器:假设其中一台重叠机器为 d2@1, 这里需要将 d2@1 中放入的Wq1捞出来 再放入到 现在的 活机器S2g中, 由此 写请求Wq2在Wq1后发生,从而确保一致性.

  Wq2顺利放在活S2g中,显然无法放在死S2b中.

---

每一次死去后又活过来的机器,按照某个办法来获取到 多数派产生的 写请求顺序, 从而使得自己也可以成为活机器.

以上为分布式一致性,基于多数派、状态机复制的各种协议思路的主线, paxos\raft\zab中都反应了这主线, 但主线需要成为方案, 还需要更进一步考虑.

活机器Sxg中找一个机器出来充当完全接收写请求，此机器即所谓leader. 如何找出leader,即所谓选举.

3、主线与paxos

4、主线与zab

5、主线与raft