性能文章>源码分析 RocketMQ DLedger 多副本即主从切换实现原理>

源码分析 RocketMQ DLedger 多副本即主从切换实现原理原创

2月前
178912

DLedger 基于 raft 协议,故天然支持主从切换,即主节点(Leader)发生故障,会重新触发选主,在集群内再选举出新的主节点。

RocketMQ 中主从同步,从节点不仅会从主节点同步数据,也会同步元数据,包含 topic 路由信息、消费进度、延迟队列处理队列、消费组订阅配置等信息。那主从切换后元数据如何同步呢?特别是主从切换过程中,对消息消费有多大的影响,会丢失消息吗?

1、BrokerController 与主从相关的方法

本节先对 BrokerController 中与主从切换相关的方法。

1.1 startProcessorByHa

BrokerController#startProcessorByHa

1private void startProcessorByHa(BrokerRole role) {
2    if (BrokerRole.SLAVE != role) {
3        if (this.transactionalMessageCheckService != null) {
4            this.transactionalMessageCheckService.start();
5        }
6    }
7}

感觉该方法的取名较为随意,该方法的作用是开启事务状态回查处理器,即当节点为主节点时,开启对应的事务状态回查处理器,对PREPARE状态的消息发起事务状态回查请求。

1.2 shutdownProcessorByHa

BrokerController#shutdownProcessorByHa

1private void shutdownProcessorByHa() {
2    if (this.transactionalMessageCheckService != null) {
3        this.transactionalMessageCheckService.shutdown(true);
4    }
5}

关闭事务状态回查处理器,当节点从主节点变更为从节点后,该方法被调用。

1.3 handleSlaveSynchronize


BrokerController#handleSlaveSynchronize

 1private void handleSlaveSynchronize(BrokerRole role) {
 2    if (role == BrokerRole.SLAVE) {   // @1
 3        if (null != slaveSyncFuture) {   
 4            slaveSyncFuture.cancel(false);
 5        }
 6        this.slaveSynchronize.setMasterAddr(null);   // 
 7        slaveSyncFuture = this.scheduledExecutorService.scheduleAtFixedRate(new Runnable() {
 8            @Override
 9            public void run() {
10                try {
11                    BrokerController.this.slaveSynchronize.syncAll();
12                } catch (Throwable e) {
13                    log.error("ScheduledTask SlaveSynchronize syncAll error.", e);
14                }
15            }
16        }, 1000 * 3, 1000 * 10, TimeUnit.MILLISECONDS);
17    } else {  // @2
18        //handle the slave synchronise
19        if (null != slaveSyncFuture) {
20            slaveSyncFuture.cancel(false);
21        }
22        this.slaveSynchronize.setMasterAddr(null);
23    }
24}

该方法的主要作用是处理从节点的元数据同步,即从节点向主节点主动同步 topic 的路由信息、消费进度、延迟队列处理队列、消费组订阅配置等信息。

代码@1:如果当前节点的角色为从节点:

如果上次同步的 future 不为空,则首先先取消。
然后设置 slaveSynchronize 的 master 地址为空。不知大家是否与笔者一样,有一个疑问,从节点的时候,如果将 master 地址设置为空,那如何同步元数据,那这个值会在什么时候设置呢?
开启定时同步任务,每 10s 从主节点同步一次元数据。

代码@2:如果当前节点的角色为主节点,则取消定时同步任务并设置 master 的地址为空。

1.4 changeToSlave

BrokerController#changeToSlave

 1public void changeToSlave(int brokerId) {
 2    log.info("Begin to change to slave brokerName={} brokerId={}", brokerConfig.getBrokerName(), brokerId);
 3    //change the role
 4    brokerConfig.setBrokerId(brokerId == 0 ? 1 : brokerId); //TO DO check       // @1
 5    messageStoreConfig.setBrokerRole(BrokerRole.SLAVE);                            // @2
 6    //handle the scheduled service
 7    try {
 8        this.messageStore.handleScheduleMessageService(BrokerRole.SLAVE);    //  @3
 9    } catch (Throwable t) {
10        log.error("[MONITOR] handleScheduleMessageService failed when changing to slave", t);
11    }
12    //handle the transactional service
13    try {
14        this.shutdownProcessorByHa();                                                                    //  @4
15    } catch (Throwable t) {
16        log.error("[MONITOR] shutdownProcessorByHa failed when changing to slave", t);
17    }
18    //handle the slave synchronise
19    handleSlaveSynchronize(BrokerRole.SLAVE);                                               // @5
20    try {
21        this.registerBrokerAll(true, true, brokerConfig.isForceRegister());              // @6
22    } catch (Throwable ignored) {
23    }
24    log.info("Finish to change to slave brokerName={} brokerId={}", brokerConfig.getBrokerName(), brokerId);
25}

Broker 状态变更为从节点。其关键实现如下:

  • 设置 brokerId,如果broker的id为0,则设置为1,这里在使用的时候,注意规划好集群内节点的 brokerId。
  • 设置 broker 的状态为 BrokerRole.SLAVE。
  • 如果是从节点,则关闭定时调度线程(处理 RocketMQ 延迟队列),如果是主节点,则启动该线程。
  • 关闭事务状态回查处理器。
  • 从节点需要启动元数据同步处理器,即启动 SlaveSynchronize 定时从主服务器同步元数据。
  • 立即向集群内所有的 nameserver 告知 broker 信息状态的变更。

1.5 changeToMaster

BrokerController#changeToMaster

 1public void changeToMaster(BrokerRole role) {
 2    if (role == BrokerRole.SLAVE) {
 3        return;
 4    }
 5    log.info("Begin to change to master brokerName={}", brokerConfig.getBrokerName());
 6    //handle the slave synchronise
 7    handleSlaveSynchronize(role);   // @1
 8    //handle the scheduled service
 9    try {
10        this.messageStore.handleScheduleMessageService(role);      // @2
11    } catch (Throwable t) {
12        log.error("[MONITOR] handleScheduleMessageService failed when changing to master", t);
13    }
14    //handle the transactional service
15    try {
16        this.startProcessorByHa(BrokerRole.SYNC_MASTER);         // @3
17    } catch (Throwable t) {
18        log.error("[MONITOR] startProcessorByHa failed when changing to master", t);
19    }
20    //if the operations above are totally successful, we change to master
21    brokerConfig.setBrokerId(0); //TO DO check                              // @4
22    messageStoreConfig.setBrokerRole(role);                               
23    try {
24        this.registerBrokerAll(true, true, brokerConfig.isForceRegister()); // @5
25    } catch (Throwable ignored) {
26    }
27    log.info("Finish to change to master brokerName={}", brokerConfig.getBrokerName());
28}

该方法是 Broker 角色从从节点变更为主节点的处理逻辑,其实现要点如下:

  • 关闭元数据同步器,因为主节点无需同步。
  • 开启定时任务处理线程。
  • 开启事务状态回查处理线程。
  • 设置 brokerId 为 0。
  • 向 nameserver 立即发送心跳包以便告知 broker 服务器当前最新的状态。

主从节点状态变更的核心方法就介绍到这里了,接下来看看如何触发主从切换。

2、如何触发主从切换

从前面的文章我们可以得知,RocketMQ DLedger 是基于 raft 协议实现的,在该协议中就实现了主节点的选举与主节点失效后集群会自动进行重新选举,经过协商投票产生新的主节点,从而实现高可用。

BrokerController#initialize

1if (messageStoreConfig.isEnableDLegerCommitLog()) {
2    DLedgerRoleChangeHandler roleChangeHandler = new DLedgerRoleChangeHandler(this, (DefaultMessageStore) messageStore);
3    ((DLedgerCommitLog)((DefaultMessageStore) messageStore).getCommitLog()).getdLedgerServer().getdLedgerLeaderElector().addRoleChangeHandler(roleChangeHandler);
4}

上述代码片段截取自 BrokerController 的 initialize 方法,我们可以得知在 Broker 启动时,如果开启了 多副本机制,即 enableDLedgerCommitLog 参数设置为 true,会为 集群节点选主器添加 roleChangeHandler 事件处理器,即节点发送变更后的事件处理器。

接下来我们将重点探讨 DLedgerRoleChangeHandler 。

2.1 类图

image1.png
DLedgerRoleChangeHandler 继承自 RoleChangeHandler,即节点状态发生变更后的事件处理器。上述的属性都很简单,在这里就重点介绍一下 ExecutorService executorService,事件处理线程池,但只会开启一个线程,故事件将一个一个按顺序执行。
接下来我们来重点看一下 handle 方法的执行。

2.2 handle 主从状态切换处理逻辑


DLedgerRoleChangeHandler#handle

 1public void handle(long term, MemberState.Role role) {
 2    Runnable runnable = new Runnable() {
 3        public void run() {
 4            long start = System.currentTimeMillis();
 5            try {
 6                boolean succ = true;
 7                log.info("Begin handling broker role change term={} role={} currStoreRole={}", term, role, messageStore.getMessageStoreConfig().getBrokerRole());
 8                switch (role) {
 9                    case CANDIDATE:    // @1
10                        if (messageStore.getMessageStoreConfig().getBrokerRole() != BrokerRole.SLAVE) {
11                            brokerController.changeToSlave(dLedgerCommitLog.getId());
12                        }
13                        break;
14                    case FOLLOWER:         // @2
15                        brokerController.changeToSlave(dLedgerCommitLog.getId());
16                        break;
17                    case LEADER:           // @3
18                        while (true) {
19                            if (!dLegerServer.getMemberState().isLeader()) {
20                                succ = false;
21                                break;
22                            }
23                            if (dLegerServer.getdLedgerStore().getLedgerEndIndex() == -1) {
24                                break;
25                            }
26                            if (dLegerServer.getdLedgerStore().getLedgerEndIndex() == dLegerServer.getdLedgerStore().getCommittedIndex()
27                                && messageStore.dispatchBehindBytes() == 0) {
28                                break;
29                            }
30                            Thread.sleep(100);
31                        }
32                        if (succ) {
33                            messageStore.recoverTopicQueueTable();
34                            brokerController.changeToMaster(BrokerRole.SYNC_MASTER);
35                        }
36                        break;
37                    default:
38                        break;
39                }
40                log.info("Finish handling broker role change succ={} term={} role={} currStoreRole={} cost={}", succ, term, role, messageStore.getMessageStoreConfig().getBrokerRole(), DLedgerUtils.elapsed(start));
41            } catch (Throwable t) {
42                log.info("[MONITOR]Failed handling broker role change term={} role={} currStoreRole={} cost={}", term, role, messageStore.getMessageStoreConfig().getBrokerRole(), DLedgerUtils.elapsed(start), t);
43            }
44        }
45    };
46    executorService.submit(runnable);
47}

**代码@1:**如果当前节点状态机状态为 CANDIDATE,表示正在发起 Leader 节点,如果该服务器的角色不是 SLAVE 的话,需要将状态切换为 SLAVE。

**代码@2:**如果当前节点状态机状态为 FOLLOWER,broker 节点将转换为 从节点。

**代码@3:**如果当前节点状态机状态为 Leader,说明该节点被选举为 Leader,在切换到 Master 节点之前,首先需要等待当前节点追加的数据都已经被提交后才可以将状态变更为 Master,其关键实现如下:

  • 如果 ledgerEndIndex 为 -1,表示当前节点还没有数据转发,直接跳出循环,无需等待。
  • 如果 ledgerEndIndex 不为 -1 ,则必须等待数据都已提交,即 ledgerEndIndex 与 committedIndex 相等。
    并且需要等待 commitlog 日志全部已转发到 consumequeue中,即 ReputMessageService 中的 reputFromOffset 与 commitlog 的 maxOffset 相等。
    等待上述条件满足后,即可以进行状态的变更,需要恢复 ConsumeQueue,维护每一个 queue 对应的 maxOffset,然后将 broker 角色转变为 master。

经过上面的步骤,就能实时完成 broker 主节点的自动切换。由于单从代码的角度来看主从切换不够直观,下面我将给出主从切换的流程图。

2.3 主从切换流程图

由于从源码的角度或许不够直观,故本节给出其流程图。

温馨提示:该流程图的前半部分在 源码分析 RocketMQ 整合 DLedger(多副本)实现平滑升级的设计技巧 该文中有所阐述。

image2.jpeg

3、主从切换若干问题思考

我相信经过上面的讲解,大家应该对主从切换的实现原理有了一个比较清晰的理解,我更相信读者朋友们会抛出一个疑问,主从切换会不会丢失消息,消息消费进度是否会丢失而导致重复消费呢?

3.1 消息消费进度是否存在丢失风险

首先,由于 RocketMQ 元数据,当然也包含消息消费进度的同步是采用的从服务器定时向主服务器拉取进行更新,存在时延,引入 DLedger 机制,也并不保证其一致性,DLedger 只保证 commitlog 文件的一致性。

当主节点宕机后,各个从节点并不会完成同步了消息消费进度,于此同时,消息消费继续,此时消费者会继续从从节点拉取消息进行消费,但汇报的从节点并不一定会成为新的主节点,故消费进度在 broker 端存在丢失的可能性。当然并不是一定会丢失,因为消息消费端只要不重启,消息消费进度会存储在内存中。

综合所述,消息消费进度在 broker 端会有丢失的可能性,存在重复消费的可能性,不过问题不大,因为 RocketMQ 本身也不承偌不会重复消费。

3.2 消息是否存在丢失风险

消息会不会丢失的关键在于,日志复制进度较慢的从节点是否可以被选举为主节点,如果在一个集群中,从节点的复制进度落后于从主节点,但当主节点宕机后,如果该从节点被选举成为新的主节点,那这将是一个灾难,将会丢失数据。关于一个节点是否给另外一个节点投赞成票的逻辑在 源码分析 RocketMQ DLedger 多副本之 Leader 选主 的 2.4.2 handleVote 方法中已详细介绍,在这里我以截图的方式再展示其核心点:

image3.png
image4.png
从上面可以得知,如果发起投票节点的复制进度比自己小的话,会投拒绝票。

image5.jpeg
image6.jpeg
必须得到集群内超过半数节点认可,即最终选举出来的主节点的当前复制进度一定是比绝大多数的从节点要大,并且也会等于承偌给客户端的已提交偏移量。故得出的结论是不会丢消息。

点赞收藏
丁威
请先登录,查看1条精彩评论吧
快去登录吧,你将获得
  • 浏览更多精彩评论
  • 和开发者讨论交流,共同进步

为你推荐

读完 RocketMQ 源码,我学会了如何优雅的创建线程

读完 RocketMQ 源码,我学会了如何优雅的创建线程

【全网首发】MQ系列6:消息的消费

【全网首发】MQ系列6:消息的消费

RocketMQ 多副本前置篇:初探raft协议

RocketMQ 多副本前置篇:初探raft协议

RocketMQ 整合 DLedger(多副本)即主从切换实现平滑升级的设计技巧

RocketMQ 整合 DLedger(多副本)即主从切换实现平滑升级的设计技巧

【译】关于RocketMQ的高可用(HA)设计

【译】关于RocketMQ的高可用(HA)设计

2022双十一筹备:一个细小疏忽差点酿成大祸

2022双十一筹备:一个细小疏忽差点酿成大祸

2
1