hashicorp:raft源码系列(1)--导读

最新推荐文章于 2022-01-23 23:28:09 发布

moonlight9391

最新推荐文章于 2022-01-23 23:28:09 发布

阅读量594

点赞数 1

分类专栏： Raft 文章标签： raft raft算法

本文链接：https://blog.youkuaiyun.com/luzhangting/article/details/121911346

版权

本文是关于Hashicorp Raft一致性算法的源码分析系列文章的开篇，介绍了Raft的主要功能和项目模块。通过分析Raft节点的创建逻辑，包括配置校验、日志获取、状态机应用等步骤，揭示了其内部机制。文章还探讨了atomic.Value的使用和队头阻塞问题，并提出了对FSM命名和Config与Configuration区别的疑问。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

文章目录

Raft是干啥的？

动画说明

简述如下图：用户SET 5，3个不同节点都能获取SET 5的操作。所谓的最简单的分布式一致性。
在这里插入图片描述

Raft项目包含哪些模块？

项目有多少行?

分析下整个项目大概是1W多行，并不是很大，代码注释非常齐全，理解起来比较轻松。代码抽象得很好，非常值得学习。

-> % cloc ./
      77 text files.
      77 unique files.
       8 files ignored.

github.com/AlDanial/cloc v 1.90  T=0.09 s (814.1 files/s, 201614.7 lines/s)
-------------------------------------------------------------------------------
Language                     files          blank        comment           code
-------------------------------------------------------------------------------
Go                              57           2207           2786          11864
Markdown                         4            106              0            255
YAML                             4             26             29            141
XML                              4              0              0            108
make                             1             10              2             33
Bourne Shell                     1              3              3             10
-------------------------------------------------------------------------------
SUM:                            71           2352           2820          12411
-------------------------------------------------------------------------------

从哪里开始？

首先，我们来看下api.go/Raft结构，表示的是一个Raft节点，最核心的数据结构。划分3大块

NewRaft节点需要的信息：下图中标红点的，几大核心组成。下一篇我们从网络层开始详细分析。

除了raftState，其他部分全是interface，模块抽象的很细致。
Leader操作相关：整个Raft最核心的就是Leader的状态转换过程。我们后续也会对这一部分的实现做详细说明。
一些异步操作：这一块是嵌入在各个模块的实现中的。项目里面一些chan的使用也是值得学习的。