Mit6.824 Lab2A(基本思路)
创始人
2024-06-02 19:50:09
0

本文的思路很多都借鉴了 eleven 大佬的思路
首先附上 eleven 大佬的状态机

请添加图片描述

大概的一种趋向就是 election timer超时 => 成为 candidate 开始拉票选举 => 如果说票数大于 1/2,那么就成为 Leader => 不断的发送心跳💗给到 followers ,维持自己的状态 ==>(发生超时 Or 宕机)

Raft’s states

  • Leader
  • follower:
  • candidate:尝试着进行选举成为 leader

Election Timer

选举定时器 用来周期的判断当前是否是需要进行一次选举成为 leader

什么时候重置?

  • 感知到了 leader 的心跳
  • 成功的进行了 candidate 的投票
  • 自己成为了 leader

超时之后我靠什么手段进行同步?

timer使用的是 golang 中的 time.ticker, 自带了一个用来同步的 Channel , 也就是说如果到达了超时的时间就会向 channel 中发送一条数据,我们只要等待着 channel 就能够进行同步了

同时,因为timer是一直存在于生命周期内的,所以直接使用 一个 go routine 来不断的生成定时器⏲️

// The ticker go routine starts a new election if this peer hasn't received
// heartsbeats recently.
func (rf *Raft) ticker() {for rf.killed() == false {electionChannel := rf.electionTimer.Chan()// 在节点的 election timer 到期了之后就进行 Electionselect {case <-electionChannel: // election timer 到期了// 超时之后的处理逻辑}}
}

Election

什么时候进行选举?

当定时器超时的时候我们就可以进行 election

选举需要做什么?

通过 RPC 向其余的节点发送 REquestVote, 并且记录票数。

因为发送 RequestVote 需要并行的发送嘛,直接开 go routine, 那么记录票数就可以使用 channel(chan bool, len(peers) - 1), 投票就往里面放入 true, otherwise false

票数超过1/2,成为 leader。开启 heartbeat()

Heart beat

可以使用 chan struct{} 进行同步,struct{} 也就是意味着一个空的结构体,我们的同步如果不需要传递一些具体的数据而只是进行一个同步的过程可以使用这个来节省内存

怎么进行同步

主线程其实是需要定期的发送 heartbeat 到其余线程的,那么 goroutine 需要关注两个事:

  • Heartbeat timer 是否是到期
  • 主线程的节点挂了没

我当时在想如果让一个 goroutine 同时关注两个事件, 两个事件的触发顺序是不能保证的,并且对于每一个事件的处理逻辑不同

如果说使用条件变量的话,那么需要用两个标志位来表示是否完成&分辨任务,然后以轮询的方式不断的判断状态位, 这显然不是高效的做法,在 golang 中能够使用 select 同时监听两个事件

for {select {case <-wakeChannel:// 处理 heartbeat 的逻辑case <-doneChannel:// 处理 leader 直接 done 掉的逻辑}}	

相关内容

热门资讯

保存时出现了1个错误,导致这篇... 当保存文章时出现错误时,可以通过以下步骤解决问题:查看错误信息:查看错误提示信息可以帮助我们了解具体...
汇川伺服电机位置控制模式参数配... 1. 基本控制参数设置 1)设置位置控制模式   2)绝对值位置线性模...
不能访问光猫的的管理页面 光猫是现代家庭宽带网络的重要组成部分,它可以提供高速稳定的网络连接。但是,有时候我们会遇到不能访问光...
表格中数据未显示 当表格中的数据未显示时,可能是由于以下几个原因导致的:HTML代码问题:检查表格的HTML代码是否正...
本地主机上的图像未显示 问题描述:在本地主机上显示图像时,图像未能正常显示。解决方法:以下是一些可能的解决方法,具体取决于问...
表格列调整大小出现问题 问题描述:表格列调整大小出现问题,无法正常调整列宽。解决方法:检查表格的布局方式是否正确。确保表格使...
不一致的条件格式 要解决不一致的条件格式问题,可以按照以下步骤进行:确定条件格式的规则:首先,需要明确条件格式的规则是...
Android|无法访问或保存... 这个问题可能是由于权限设置不正确导致的。您需要在应用程序清单文件中添加以下代码来请求适当的权限:此外...
【NI Multisim 14...   目录 序言 一、工具栏 🍊1.“标准”工具栏 🍊 2.视图工具...
银河麒麟V10SP1高级服务器... 银河麒麟高级服务器操作系统简介: 银河麒麟高级服务器操作系统V10是针对企业级关键业务...