手撸golang 学ectd 手写raft协议13 小结
缘起
最近阅读 [云原生分布式存储基石：etcd深入解析] (杜军 , 2019.1)
本系列笔记拟采用golang练习之
raft分布式一致性算法
分布式存储系统通常会通过维护多个副本来进行容错，
以提高系统的可用性。
这就引出了分布式存储系统的核心问题——如何保证多个副本的一致性？
Raft算法把问题分解成了四个子问题：
1. 领袖选举（leader election）、
2. 日志复制（log replication）、
3. 安全性（safety）
4. 成员关系变化（membership changes）
这几个子问题。
源码gitee地址：
https://gitee.com/ioly/learning.gooop
原文链接：
https://my.oschina.net/ioly
目标
- 根据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）
