Raft -论文导读 与 ETCD源码解读
- Raft -论文导读 与 ETCD源码解读
- Hardcore-Onepage
- 付费内容
- 简介
- 复制状态机
- 定义问题
- 一个可行解
- raft的详细实现
- 状态机
- 数据结构
- 通用持久性状态
- 通用易失性状态
- 领导者上的易失性状态
- RPC
- 请求投票
- 请求参数
- 返回值
- 追加日志&心跳(领导者调用)
- 请求参数
- 返回值
- 算法的原理与证明
- 五条公理
- 选举安全特性
- 日志复制过程的完全匹配
- 安全性
- 选举限制
- 状态机安全性证明(三段论)
- 状态机安全性证明(反证法)
- 工程优化
- 容错性
- 扩展性
- 性能
- 生成快照
- 调节参数
- 流批结合
- 并行追加
- 异步应用
- ETCD 中 Raft 库源码分析
- Entry
- Message
- log_unstable.go
- storage.go
- log.go
- progress.go
- raft.go
- node.go
- Life of a Request
- Life of a Vote Request
- Life of a Write Request
- 小作业
- Q&A
- 参考资料