写点什么

实践案例丨基于 Raft 协议的分布式数据库系统应用

发布于: 2020 年 09 月 14 日

摘要:简单介绍 Raft 协议的原理、以及存储节点(Pinetree)如何应用 Raft 实现复制的一些工程实践经验。


1、引言


在华为分布式数据库的工程实践过程中,我们实现了一个计算存储分离、 底层存储基于 Raft 协议进行复制的分布式数据库系统原型。下面是它的架构图。



计算节点生成日志经过封装后通过网络下发到存储节点,在 Raft 层达成一致后日志被应用到状态机 wal Engine,完成日志的回放和数据的存储管理。


下面简单介绍一下 Raft 的原理、以及存储节点(Pinetree)如何应用 Raft 实现复制的一些工程实践经验。


2、Raft 的原理


2.1 Raft 的基本原理


Raft 算法一切以领导者为准,实现一系列值的共识和各节点日志的一致。下面重点介绍一下 Raft 协议的 Leader 选举、log 复制 和 成员变更。


Raft 的选举机制:


协议为每个节点定义了三个状态:Leader、Candidate、Follower,将时间定义为 Term,每个 Term 有一个 ID。Term 类似逻辑时钟,在每个 Term 都会有 Leader 被选举出来。


Leader 负责处理所有的写请求、发起日志复制、定时心跳,每个 Term 期间最多只能有一个 Leader,可能会存在选举失败的场景,那么这个 Term 内是没有 Leader。


Follower 处于被动状态,负责处理 Leader 发过来的 RPC 请求,并且做出回应。


Candidate 是用来选举一个新的 Leader,当 Follower 超时,就会进入 Candidate 状态。


初始状态,所有的节点都处于 Follower 状态,节点超时后,递增 current Term 进入 Candidate,该节点发送广播消息 RequestVote RPC 给其他 Follower 请求投票。当收到多数节点的投票后,该节点从 Candidate 进入 Leader。Follower 在收到投票请求后,会首先比较 Term,然后再比较日志 index,如果都满足则更新本地 Current Term 然后回应 RequestVote RPC 为其投票。每个 Term 期间,follower 只能投一次票。



Raft 的日志同步机制:


当 Leader 被选举出来后,就可以接受写请求。每个写请求即代表了用户需要复制的指令或 Command。Raft 协议会给写请求包装上 Term 和 Index,由此组成了 Raft 的 Log entry. Leader 把 Log entry append 到日志中,然后给其它的节点发 AppendEntries RPC 请求。当 Leader 确定一个 Log entry 被大多数节点已经写入日志当中,就 apply 这条 Log entry 到状态机中然后返回结果给客户端。



Raft 成员变更机制:


成员变更就意味着集群节点数的增加或减少以及替换。Raft 协议定义时考虑了成员变更的场景,从而避免由于集群变化引起的系统不可用。Raft 是利用上面的 Log Entry 和一致性协议来实现该功能。成员的变更也是由 Leader 发起的,Leader 会在本地生成一个新的 Log entry,同时将 Log entry 推送到其他的 Follower 节点。


Follower 节点收到 Log entry 后更新本地日志,并且应用该 log 中的配置关系。多数节点应用后,Leader 就会提交这条变更 log entry。还要考虑新就配置的更替所带来的问题。更详细的不再赘述。


2.2 Raft 的开源实现


Raft 的实现有 coreos 的 etcd/raft、kudu、consul、logcabin、cockroach 等。


Etcd 、LogCabin 、Consul 实现的是单个 Raft 环,无法做到弹性伸缩。而 kudu 和 cockroach 实现了多个 raft 环。kudu 的 consensus 模块实现了副本的数据复制一致性,kudu 将数据分片称之为 Tablet, 是 kudu table 的水平分表,TabletPeer 就是在 Raft 环里面的一个节点. 一个 Tablet 相当于一个 Raft 环,一个 Tablet 对应一个 Raft Consensus,这些对应 Raft 里面的一个环,Consensus Round 相当于同步的消息,一个环之间会有多个 Consensus Round 做同步。而 cockroach 则是基于 etcd/raft 实现的多 Raft 环,它维护了多个 Raft 实例,被称之为 multiraft。


因为 Etcd 的 Raft 是目前功能较全的 Raft 实现之一,最早应用于生产环境,并且做到了很好的模块化。其中 Raft 内核部分实现了 Raft 大部分协议,而对外则提供了 storage 和 transport 所用的 interface,对于使用者可以单独实现灵活性较高,用户还可以自主实现 snapshot、wal ,Raft 非常便于移植和应用,因此存储节点 Pinetree 采用了开源的 Etcd 中的 Raft 实现来构建我们的原型系统,也便于后期向 Multiraft 演进。。


3、工程实践


3.1 实现 Raft 的存储接口和网络传输


Raft 存储部分指的是 raft- log 的存储,是对日志条目进行持久化的存储,通过 benchmark 测试发现,raft-log 引擎性能是影响整体 ops 的主要瓶颈,为了更灵活的支持底层存储引擎的快速替换,增加可插拔的存储引擎框架,我们对底层存储引擎进行解耦。Pinetree 封装了第三方独立存储接口来适配 etcd raft 的 log 存储接口;


通讯部分即 Raft Transport、snapShot 传输等,采用 GRPC+Protobuf 来实现,心跳、日志传输 AppendEntries RPC、选举 RequestVote RPC 等应用场景将 GRPC 设置为简单式,snapShot 设置为流式的形式。


3.2 选举问题


Raft 可以实现自我选举。但是在实践中发现缺点也很明显,Raft 自主选主可能存在如下的问题:


1、不可控:可能随意选择一个满足 Raft 条件的节点


2、网络闪断导致 Leader 变动


3、节点忙导致的 Leader 变动


4、破坏性的节点


为了防止存储节点 Leader 在不同的 AZ 或者节点间进行切换,Pinetree 采用的方案是由集群管理模块来指定 Leader。Pinetree 中将 electionTimeout 设置为无穷大,关闭 Follower 可能触发的自动选举过程,一切选举过程由集群管理的建议选主模块来控制。


3.3 读一致性模型


在 Raft 集群中,一般会有 default、consistent、stale 三种一致性模型,如何实现读操作关乎一致性的实现。一般的做法是将一致性的选择权交给用户,让用户根据实际业务特点,按需选择,灵活使用。


Consistent 具有最高的读一致性,但是实现上要求所有的读请求都要走一遍 Raft 内核并且将会与写操作串行,会给集群造成一定的压力。stale 具有很好的性能优势,但是读操作可能会落到数据有延迟的节点上。在 Pinetree 的设计中,集群管理负责维护存储节点的信息,管理所有节点的 Raft 主副本的状态,一方面可以对读请求进行负载均衡,另一方面可以根据 AZ 亲和性、副本上的数据是否有最新的 log 来路由读请求。这样在性能和一致性之间进行了最大的 tradeoff。


3.4 日志问题


Raft 以 Leader 为中心进行复制需要考虑几个问题:


1、性能问题,如果 leader 为慢节点会导致长尾


2、日志的同步必须是有序提交


3、切换 leader 时有一段时间的不可用


问题 3 我们通过集群管理来最大程度的防止 Leader 的切换。


对于问题 2,因为 Pinetree 的日志类似 innodb 的 redo log ,采用 LSN 来编号的,所以应用到 Pinetree 存储层的的日志必须要保序,不能出现跳过日志段或日志空洞的情况。这就要求发给 Raft 的日志要做保序处理。计算层产生的 wal log 都对应一个 LSN,LSN 代表的是日志在文件中的偏移量,具有单调递增且不连续的特点。因此要求 Wal log 产生的顺序和 apply 到 pinetree storage 的顺序要保证一致。为了满足这一需求,我们在计算层和 Raft 层中间增加一个适配层,维护一个队列负责进行排序,同时为了应对计算层主备的切换,对消息增加 Term 以保证日志不会乱序。Raft 指令还可能会被重复提交和执行,所以存储层要考虑幂等性的问题。因为 Pinetree storage 的日志用 LSN 进行编号,所以可以进行重复 apply。


3.5 如何解决假主问题


计算节点需要获取某些元数据信息,每次都必须从 Leader 中读取数据防止出现备机延迟。在网络隔离的情况下,老的 leader 不会主动退出,会出现双主的情况,这个假主可能永远不知道自己其实已经不是真正的 Raft 主节点,导致真 Leader 和假 Leader 同时存在并提供读服务,这在无延迟系统是不允许的。


如果每次读请求都走一遍 Raft 协议可以识别出假主,但是将会严重的影响系统的性能。


Pinetree 是通过租约(lease)的方式,让一个 Pinetree 主节点在提供服务之前,保守地检查自身在这一时刻是否拥有 lease,再决定自身能不能提供读服务。因此,就算访问了一个 Pinetree 假主,假主也因为没有 lease 而不能提供服务。


3.6 性能问题


涉及到性能 Pinetree 考虑和优化的地方:


1 如果使用 Raft 算法 保证强一致性,那么读写操作都应该在领导者节点上进行。这样的话,读的性能相当于单机,不是很理想, 优化实现了基于 leader+lease 的方式来提供读服务即能保证一致性又不影响性能。


2 优化 raft 参数 :in-flight 的数目;transport queue 的数量


3 最大限度的异步化,例如:指令在 raft 达成一致完成持久化后传递给状态机存入消息队列立即返回,后续对消息进行异步并行解析。


4 最大限度的进行 Batch 和 Cache。例如:把一个事务内的写操作缓存到客户端,在事务提交时,再把所有的写打包成一个 batch 与事务 commit 请求一起发送给服务端


#DevRun 开发者沙龙 # 9 月 15 日 20:00-21:00,特邀华为云数据库解决方案专家 Sugar,为您打造专场直播“端到端安全可信,华为云数据库解决方案最佳实践”!华为云数据库服务,聚焦互联网、车企、金融、游戏、ISV、地图等行业痛点,满足企业用户多样性计算需求。提供端到端安全可信的解决方案,帮助企业应用全面云化和智能化。欢迎点击直播(http://live.vhall.com/206537223)围观,社区互动(https://bbs.huaweicloud.com/forum/thread-76193-1-1.html)有礼!


发布于: 2020 年 09 月 14 日阅读数: 137
用户头像

提供全面深入的云计算技术干货 2020.07.14 加入

华为云开发者社区,提供全面深入的云计算前景分析、丰富的技术干货、程序样例,分享华为云前沿资讯动态,方便开发者快速成长与发展,欢迎提问、互动,多方位了解云计算! 传送门:https://bbs.huaweicloud.com/

评论

发布
暂无评论
实践案例丨基于Raft协议的分布式数据库系统应用