Raft 协议是一种分布式一致性算法,它用于在分布式系统中的多个节点之间达成一致性。Raft 协议的目标是提供一种相对简单、易于理解和实现的方法,以确保在网络分区、节点故障等情况下,系统仍然能够保持一致性和可用性。
应用服务对于请求的处理流程图:
以下是 Raft 协议的核心架构组件和流程:
1、节点角色:
Leader:负责管理整个集群,处理客户端请求,发起日志复制,以及触发新的选举。
Follower:被动节点,接收并复制 Leader 的日志条目,响应 Leader 的心跳和日志复制请求。
Candidate:当 Follower 在选举超时时间内未收到 Leader 的心跳时,它会变成 Candidate 并发起选举。
当一个节点启动的时候,需要将自身节点信息注册到集群中Leader节点
2、领导者选举(Leader Election):
当集群启动或 Leader 失效时,Follower 会等待一段时间(随机化超时时间)后变成 Candidate。
Candidate 发起选举,向其他节点发送请求投票(RequestVote RPC)。
如果 Candidate 获得大多数节点的投票,它就成为新的 Leader。
3、日志复制(Log Replication):
Leader 处理客户端请求,将每个请求作为新的日志条目追加到其日志中。
Leader 向其他节点发送 AppendEntries RPC 来复制日志条目。
当日志条目被复制到大多数节点时,Leader 将这些条目标记为已提交,并通知 Follower 应用这些更改。
4、日志压缩(Log Compaction):
为了减少日志的大小,Raft 允许 Leader 删除那些已经被大多数节点复制并提交的日志条目。
5、安全性和一致性:
Raft 确保在任何时候,只有当前任期的日志条目可以被提交。通过领导者的选举机制和日志复制策略,Raft 保证了集群状态的一致性。
6、成员变更(Membership Changes):
Raft 允许在不停机的情况下更改集群的成员。
Leader 可以向 Follower 发送配置更改的日志条目,这些更改在被复制和提交后生效。
7、心跳和超时:
Leader 定期向 Follower 发送心跳(Heartbeat)以维持其领导地位。
Follower 在未收到心跳的情况下会触发新的选举。
8、日志一致性:
Raft 通过确保所有已提交的日志条目在集群中的所有节点上都是一致的,来维护一致性。
Raft 协议的架构设计强调了简单性和易于理解,同时提供了强大的一致性和容错能力。这种设计使得 Raft 成为了许多分布式系统和数据库的首选一致性算法。
角色转换这幅图是领袖、候选人和群众的角色切换图,我先简单总结一下:
群众 -> 候选人:当开始选举,或者“选举超时”时
候选人 -> 候选人:当“选举超时”,或者开始新的“任期”
候选人 -> 领袖:获取大多数投票时
候选人 -> 群众:其它节点成为领袖,或者开始新的“任期”
领袖 -> 群众:发现自己的任期ID比其它节点分任期ID小时,会自动放弃领袖位置
Raft 协议通过这些机制解决了分布式系统中的一致性问题,特别是在领导者选举和日志复制方面。它被广泛应用于各种分布式系统和服务中,例如 etcd(一个分布式键值存储系统),它被用作 Kubernetes 的后端存储。Raft 协议的设计使得它在实际应用中既高效又可靠。
二、Raft 协议应用场景
Raft 协议作为一种分布式一致性算法,被广泛应用于需要在多个节点间保持数据一致性的分布式系统场景中。以下是一些典型的 Raft 协议应用场景:
1、分布式存储系统:
Raft 协议被用于分布式存储系统中,以确保数据在多个节点间的一致性和可用性。例如,分布式键值存储(如 etcd、Consul)和分布式数据库(如 TiKV)都采用了 Raft 协议。
2、配置管理服务:
在配置管理服务中,Raft 用于确保集群中的所有节点都能访问到最新的配置信息。例如,Consul 提供了一个服务发现和配置的工具,它使用 Raft 来保证配置的一致性。
3、服务发现和注册:
服务发现和注册系统(如 etcd)使用 Raft 来维护服务实例的注册信息,确保客户端能够发现和连接到正确的服务实例。
4、分布式锁服务:
分布式锁服务需要在多个节点间协调资源的访问,Raft 协议可以帮助实现一个高可用和一致性的分布式锁。
5、分布式任务调度:
在分布式任务调度系统中,Raft 可以用来选举任务调度器的领导者,确保任务分配的一致性和顺序执行。
6、分布式状态机:
Raft 协议可以用来构建分布式状态机,其中每个节点都维护一个状态机的副本,Raft 保证这些状态机的状态一致。
7、分布式日志系统:
分布式日志系统(如 Apache Kafka)可以使用 Raft 来保证日志数据在多个副本之间的一致性。
8、集群管理:
在集群管理工具中,Raft 可以用于选举集群领导者,管理集群状态,以及处理集群成员的加入和退出。
9、分布式事务:
虽然 Raft 本身不直接处理分布式事务,但它可以作为分布式事务协议的一部分,用于保证事务日志的一致性。
Raft 协议因其易于理解和实现,以及在实践中的高效性和可靠性,成为了构建分布式系统时的首选一致性算法之一。在这些应用场景中,Raft 协议帮助系统在面对网络分区、节点故障等分布式系统常见问题时,仍然能够保持数据的一致性和系统的可用性。
三、Kafka Raft(KRaft)
Kafka Raft(KRaft)与 Apache ZooKeeper 是两种不同的分布式协调服务,它们在 Kafka 集群中扮演着不同的角色。以下是 KRaft 与 ZooKeeper 的对比:
1、依赖性:
ZooKeeper:在 KRaft 出现之前,Kafka 严重依赖于 ZooKeeper 来管理集群的元数据,如 broker 注册、主题分区、控制器选举等。
KRaft:KRaft 是 Kafka 内部实现的一致性协议,它允许 Kafka 集群在不依赖 ZooKeeper 的情况下运行,从而简化了 Kafka 的架构。
2、一致性协议:
ZooKeeper:使用 ZAB(ZooKeeper Atomic Broadcast)协议,它是一个为分布式系统提供一致性服务的协议。
KRaft:基于 Raft 一致性协议,它提供了一种更易于理解和实现的领导者选举和日志复制机制。
3、性能和可伸缩性:
ZooKeeper:在大型集群中,ZooKeeper 可能会成为性能瓶颈,因为它需要处理大量的客户端请求和维护复杂的会话状态。
KRaft:KRaft 旨在提高 Kafka 的性能和可伸缩性,通过内部管理元数据,减少了对外部协调服务的依赖。
4、部署和管理:
ZooKeeper:部署和维护 ZooKeeper 集群需要额外的工作,包括配置、监控和故障恢复。
KRaft:由于 KRaft 集成在 Kafka 中,部署和管理 Kafka 集群变得更加简单,不再需要单独的 ZooKeeper 集群。
5、可靠性和可用性:
ZooKeeper:ZooKeeper 提供了强一致性保证,但在选举过程中可能会有短暂的不可用性。
KRaft:KRaft 同样提供了强一致性保证,并且通过内部的控制器集群(Controller Quorum)来提高系统的可靠性和可用性。
6、未来发展:
ZooKeeper:随着 KRaft 的引入,Kafka 社区逐渐减少了对 ZooKeeper 的依赖,这可能会影响 ZooKeeper 在 Kafka 生态系统中的地位。
KRaft:KRaft 是 Kafka 未来发展的方向,它标志着 Kafka 朝着更轻量级、更易于管理的方向发展。
KRaft 模式的主要优势包括:
去中心化:Kafka 集群不再依赖于外部的 ZooKeeper 集群,简化了部署和运维。
性能提升:由于不再需要与 ZooKeeper 进行通信,Kafka 集群的性能得到了提升。
扩展性:KRaft 模式允许 Kafka 集群更灵活地扩展,不再受到 ZooKeeper 集群规模的限制。
一致性和可用性:Raft 协议确保了即使在部分控制器节点失败的情况下,集群的元数据仍然能够保持一致性和可用性。
简化的故障恢复:在 KRaft 模式下,Kafka 集群的故障恢复过程更加简单和直接。
KRaft 模式在 Kafka 3.3.1 版本中被标记为可以在生产环境中使用。这意味着 Kafka 用户现在可以选择 KRaft 模式来部署他们的 Kafka 集群,以获得更好的性能和更简单的运维体验。然而,需要注意的是,KRaft 模式目前仍然是一个相对较新的功能,因此在生产环境中使用时,建议密切关注 Kafka 社区的更新和最 佳实践。
四、基于KRaft 协议部署Kafka(不依赖与Zookeeper)
关于更多为啥会抛弃Zookeeper的原因可以参考我这篇文章:为何Kafka在2.8版本开始会“抛弃”Zookeeper?
首先来看一下KRaft在系统架构层面和之前的版本有什么区别。KRaft模式提出来去zookeeper后的kafka整体架构入下图是前后架构图对比:
1)下载 Kafka
2)配置修改
修改kafka目录下的config/kraft/server.properties文件。三个服务器都需要修改。特别注意:每个服务器(broker)上的配置里的node.id必须是数字,并且不能重复。
三个broker的配置基本都和上面的配置一样,不同的地方就是node.id:
另外还有两处需要修改。
controller.quorum.voters=1@kraft1:9093,2@kraft2:9093,3@kraft3:9093【以逗号分隔的{id}@{host}:{port}投票者列表。例如:1@localhost:9092,2@localhost:9093,3@localhost:9094】
log.dirs=/home/vagrant/kraft-combined-logs【日志路径,默认是/temp下的文件下,生产环境不要使用,因为linux会清理/tmp目录下的文件,会造成数据丢失】
Process.Roles:
每个Kafka服务器现在都有一个新的配置项,叫做Process.Roles, 这个参数可以有以下值:
如果Process.Roles = Broker, 服务器在KRaft模式中充当 Broker。
如果Process.Roles = Controller, 服务器在KRaft模式下充当 Controller。
如果Process.Roles = Broker,Controller,服务器在KRaft模式中同时充当 Broker 和Controller。
如果process.roles 没有设置。那么集群就假定是运行在ZooKeeper模式下。
如前所述,目前不能在不重新格式化目录的情况下在ZooKeeper模式和KRaft模式之间来回转换。同时充当Broker和Controller的节点称为“组合”节点。
对于简单的场景,组合节点更容易运行和部署,可以避免多进程运行时,JVM带来的相关的固定内存开销。关键的缺点是,控制器将较少地与系统的其余部分隔离。例如,如果代理上的活动导致内存不足,则服务器的控制器部分不会与该OOM条件隔离。
Quorum Voters
系统中的所有节点都必须设置 controller.quorum.voters 配置。这个配置标识有哪些节点是 Quorum 的投票者节点。所有想成为控制器的节点都需要包含在这个配置里面。这类似于在使用ZooKeeper时,使用ZooKeeper.connect配置时必须包含所有的ZooKeeper服务器。
然而,与ZooKeeper配置不同的是,controller.quorum.voters 配置需要包含每个节点的id。格式为: id1@host1:port1,id2@host2:port2。
3)生成集群ID
随便找一个服务器,进入kafka目录,使用kafka-storage.sh生成一个uuid,一个集群只能有一个uuid!
4)用 kafka-storage.sh 格式化存储数据的目录
三个机器上都需要执行
5)用bin/kafka-server-start.sh 启动Kafka Server
6)测试验证
查看topic
