jraft原理源码分析(一)-架构,启动和初始化

简介

SOFAStack(Scalable Open Financial Architecture Stack)是蚂蚁集团(原蚂蚁金服)自主研发的一套金融级分布式中间件技术栈,jraft是sofastack的raft组件,构建高可用、强一致性(CP)的分布式系统,本系列based jraft v1.4.0,系列内容

1 架构,包括逻辑架构,技术架构和开发架构

2 节点(Node)启动和组件初始化

3 主节点选举

4 日志,包括写入日志,复制日志,状态机

5 线性一致性读

6 集群成员管理-联合共识

7 快照

本文是系列第一篇 架构,启动和组件初始化

关键词

蚂蚁金服sofastack

Jraft/raft jraft是 Java 实现的raft 共识算法库

参考资料

In Search of an Understandable Consensus Algorithm raft论文简版

https://blog.csdn.net/szlhj/category_12714458.html 另一个raft实现dledger原理源码分析

逻辑架构

上图是jraft的逻辑架构

Corecore包定义核心组件的接口,包括Node,StateMachine,Closure,client服务等,Node实现也在core包

Node 代表raft集群的节点,包括大部分核心逻辑,组件的初始化都在Node,

选举 主节点选举是jraft的核心功能,主节点是分布式节点协调的关键,日志写入主节点完成

日志 日志是jraft另一个核心功能,包括日志写入,日志复制,状态机的推进

存储 这里存储是jraft保存自身日志的存储,状态机状态的存储由应用提供

状态机状态机是应用的接口,应用实现状态机,接收jraft推送过半数节点写入的日志,按自身逻辑保存

快照 快照存储状态机的数据(StateMachine state),快照有两个作用,删除该快照之前的日志,节省空间;新节点或落后节点直接安装快照,快速追上进度,达到可用状态

read 线性一致性读,官方定义:在 T 时刻执行写入操作,那么在 T 时刻之后一定能够读取到之前写入的值,简单地说,从jraft实现角度,读取状态机最新共识点的数据

rpcrpc组件负责client与集群(节点),节点间的通讯

工具提供如定时器等工具类

技术架构

上图是jraft技术架构图

开发架构

本节介绍开发架构,以jraft自带的Counter示例,介绍jraft应用开发,也是后续分析场景

上图是Counter示例,其中带《counter》是示例的类,Counter在分布式集群中维护计数器

CounterServer Counter的启动主入口,负责rpc组件和Node的构建和初始化

RpcProcessor rpc的处理器,接受rpc请求,调用业务服务(CounterService )实现应用的业务,Counter有两个请求处理器,获取计数值(线性一致性读),写操作

CounterService Counter的业务服务,依赖Node的apply,处理任务/事件

CounterStateMachine Counter的状态机,接收和处理状态机caller推送的日志,维护内置的计数器,这是应用Counter的业务数据; 快照保存和加载

启动和初始化

上节介绍了Counter,CounterServer构建Node,Node负责初始化jraft组件,jraft组件众多,大致分为,定时器,事件处理组件,存储组件,日志组件,线性一致读组件,最后node初始化自身状态。

7.1 定时器

• 初始化延时任务调度器 TimerManager,用于处理内部的延时任务

• 创建计时器,执行周期性任务,包括:预选举计时器(electionTimer)、正式选举计时器(voteTimer)、领导权检查计时器(stepDownTimer),快照周期性生成计时器(snapshotTimer)

7.2 事件处理器

• 初始化 disruptor 组件,用于异步处理业务调用 Node#apply 方法向集群提交的 Task 列表。

7.3 日志存储

• 初始化日志数据存储组件,对日志数据执行一致性校验。

• 初始化元数据存储组件

• 初始化快照数据存储组件

7.4 日志

日志包括写入和复制,状态机,快照

• 初始化状态机调度器 FSMCaller

• 初始化选票箱 BallotBox,名字有点容易混淆,初看以为是选举使用,其实是确定是否到日志提交点

• 初始化复制器管理组 ReplicatorGroup

• 启用快照生成机制,启动快照组件

7.5 rpc客户端

• 创建并初始化 RPC客户端 RaftClientService

客户端用于节点间通讯,还有另一个CliClientService,应用调用jraft的服务

7.6 线性一致性读

• 初始化只读服务 ReadOnlyService,提供线性一致性读

7.7 初始Node状态

组件初始化后,Node初始化自身的状态

• 初始集群节点不为空,尝试执行角色降级(stepdown)

• 集群只有自己一个节点,尝试选举自己为 Leader

总结:node是当之无愧在jraft的C位位置,为其他部门(组件)提供办公场所,核心功能

NEXT

3 主节点选举

4 日志,包括写入日志,复制日志,状态机

5 线性一致性读

6 集群成员管理-联合共识

7 快照

相关推荐
JAVA面经实录9171 小时前
企业级java+LangChain4j-RAG系统 限流熔断降级
java·开发语言·分布式·langchain
YaBingSec5 小时前
玄机网络安全靶场:Hadoop YARN ResourceManager 未授权 RCE WP
大数据·数据库·hadoop·redis·笔记·分布式·web安全
空中海6 小时前
第六篇:可靠性篇 — Sentinel 熔断限流与 Seata 分布式事务
分布式·sentinel
rustfs6 小时前
MinIO 国产平替,RustFS 发布 Beta 版本啦
分布式·docker·云原生·rust·开源
Mr_sst8 小时前
文件上传并发控制:为什么选Redisson可过期信号量?(避坑指南)
网络·数据库·redis·分布式·安全架构
深念Y8 小时前
当加密遇见分布式:Web3、去中心化与元宇宙的底层逻辑
分布式·web3·去中心化·区块链·元宇宙·加密·价值
运维老司机8 小时前
Kafka 单节点部署(Docker Compose + 数据持久化)
分布式·docker·kafka
byoass8 小时前
企业云盘全文检索实战:Elasticsearch集成与分布式搜索
网络·分布式·安全·elasticsearch·云计算·全文检索
Volunteer Technology10 小时前
Elasticsearch分布式原理
大数据·分布式·elasticsearch
Java开发的小李17 小时前
SpringBoot + Redis 实现分布式 Session 共享(解决多实例登录状态丢失问题)
spring boot·redis·分布式