缘起

最近阅读 [云原生 分布式存储 基石：etcd深入解析] (杜军 , 2019.1)

本系列笔记拟采用golang练习之

raft 分布式一致性算法

 分布式存储系统通常会通过维护多个副本来进行容错，
以提高系统的可用性。
这就引出了分布式存储系统的核心问题——如何保证多个副本的一致性？

Raft算法把问题分解成了四个子问题：
1. 领袖选举（leader election）、
2. 日志复制（log replication）、
3. 安全性（safety）
4. 成员关系变化（membership changes）
这几个子问题。

源码gitee地址：


原文链接：
  

目标

• 根据raft协议，实现高可用分布式强一致的kv存储

小结

• 累计投入业余时间约30工时，勉强写出一个可运行的”raft非完整玩具实现”

所得

• 基本了解raft协议及其内涵细节
• 创新使用” 事件驱动 + 读写分离 “模式组织复杂状态对象的逻辑编排

已实现的特性

• Raft 状态机 Leader，Candidate，Follower三种角色的转换
• Leader的心跳，选举，再选举
• Follower角色下，Proxy业务请求（kv操作）到当前Leader
• kv日志的两阶段（ append +commit）传播和 持久化 ，直接用boltdb
• kv数据的持久化，基于boltdb

未实现的特性：

• 使用WAL机制写kv日志（高性能）
• kv日志两阶段传播的异步并发（高性能）
• Leader为每个Follower维护一个日志队列（异步并发+减轻慢Follower的影响）

思考

• 虽然raft本身好理解，但落到代码，还是可能因为细节问题，导致产出是”未经理论验证的近似品“

畅想

• 按照分层思想，划分三层来实现：
• 先实现一个高可用的网格 虚拟机 ，确保输入网格的每条指令，是严格有序序，且仅执行一次的
• 基于该网格虚拟机，设计一套raft dsl，满足一致性的要求
• 基于该raft状态机，添加业务处理接口
• 嗯，这么说该”网格虚拟机+网格DSL“是分布式计算的终极杀器了

（raft系列 end）