缘起
最近阅读 [云原生分布式存储基石:etcd深入解析] (杜军 , 2019.1)
本系列笔记拟采用golang练习之
gitee: https://gitee.com/ioly/learning.gooop
raft分布式一致性算法
分布式存储系统通常会通过维护多个副本来进行容错,以提高系统的可用性。这就引出了分布式存储系统的核心问题——如何保证多个副本的一致性?Raft算法把问题分解成了四个子问题:1. 领袖选举(leader election)、2. 日志复制(log replication)、3. 安全性(safety)4. 成员关系变化(membership changes)这几个子问题。
目标
- 根据raft协议,实现高可用分布式强一致的kv存储
子目标(Day 9)
- Leader状态下的逻辑处理
设计
- tLeaderState: 实现Leader状态的raft状态机处理。事件驱动的逻辑编排,读写分离的字段管理。
tLeaderState.go
(未完成)实现Leader状态的raft状态机处理。事件驱动的逻辑编排,读写分离的字段管理。
package lsmimport ("learning/gooop/etcd/raft/roles""learning/gooop/etcd/raft/rpc""learning/gooop/etcd/raft/timeout""sync""time")// tLeaderState presents a leader nodetype tLeaderState struct {tEventDrivenModelcontext iRaftStateContextmInitOnce sync.OncemStartOnce sync.Once// update: leInit / leLeaderHeartbeatmTerm int64// update: leInit / leDisposingmDisposedFlag bool// update: leVoteToCandidatemVotedTerm int64mVotedCandidateID stringmVotedTimestamp int64}// trigger: init()// args: emptyconst leInit = "leader.init"// trigger: Start()// args: emptyconst leStart = "leader.Start"// trigger: whenNewLeaderAnnouncedThenSwitchToFollower// args: emptyconst leDiposing = "leader.Disposing"// trigger : Heartbeat() / AppendLog()// args: term int64const leNewLeaderAnnounced = "leader.NewLeaderAnnounced"// trigger: RequestVote()// args: *rpc.RequestVoteCmdconst leBeforeRequestVote = "leader.BeforeRequestVote"// trigger:// args: *rpc.RequestVoteCmdconst leVoteToCandidate = "leader.VoteToCandidate"func newLeaderState(ctx iRaftStateContext, term int64) IRaftState {it := new(tLeaderState)it.init(ctx, term)return it}func (me *tLeaderState) init(ctx iRaftStateContext, term int64) {me.mInitOnce.Do(func() {me.context = ctxme.mTerm = termme.initEventHandlers()me.raise(leInit)})}func (me *tLeaderState) initEventHandlers() {// write only logicme.hookEventsForDisposedFlag()me.hookEventsForVotedTerm()// read only logicme.hook(leStart,me.whenStartThenBeginHeartbeatToOthers)me.hook(leNewLeaderAnnounced,me.whenNewLeaderAnnouncedThenSwitchToFollower)}func (me *tLeaderState) hookEventsForDisposedFlag() {me.hook(leInit, func(e string, args ...interface{}) {me.mDisposedFlag = false})me.hook(leDiposing, func(e string, args ...interface{}) {me.mDisposedFlag = true})}func (me *tLeaderState) hookEventsForVotedTerm() {me.hook(leBeforeRequestVote, func(e string, args ...interface{}) {// check last vote timeoutif me.mVotedTerm == 0 {return}if time.Duration(time.Now().UnixNano() - me.mVotedTimestamp)*time.Nanosecond >= timeout.ElectionTimeout {me.mVotedTerm = 0me.mVotedTimestamp = 0me.mVotedCandidateID = ""}})me.hook(leVoteToCandidate, func(e string, args ...interface{}) {// after vote to candidatecmd := args[0].(*rpc.RequestVoteCmd)me.mVotedTerm = cmd.Termme.mVotedCandidateID = cmd.CandidateIDme.mVotedTimestamp = time.Now().UnixNano()})}func (me *tLeaderState) Heartbeat(cmd *rpc.HeartbeatCmd, ret *rpc.HeartbeatRet) error {// check termif cmd.Term <= me.mTerm {ret.Code = rpc.HBTermMismatchreturn nil}// new leaderme.raise(leNewLeaderAnnounced, cmd.Term)// return okret.Code = rpc.HBOkreturn nil}func (me *tLeaderState) AppendLog(cmd *rpc.AppendLogCmd, ret *rpc.AppendLogRet) error {// check termif cmd.Term <= me.mTerm {ret.Code = rpc.ALTermMismatchreturn nil}// new leaderme.raise(leNewLeaderAnnounced, cmd.Term)// return okret.Code = rpc.ALInternalErrorreturn nil}func (me *tLeaderState) CommitLog(cmd *rpc.CommitLogCmd, ret *rpc.CommitLogRet) error {// just ignoreret.Code = rpc.CLInternalErrorreturn nil}func (me *tLeaderState) RequestVote(cmd *rpc.RequestVoteCmd, ret *rpc.RequestVoteRet) error {me.raise(leBeforeRequestVote, cmd)// check voted termif cmd.Term < me.mVotedTerm {ret.Code = rpc.RVTermMismatchreturn nil}if cmd.Term == me.mVotedTerm {if me.mVotedCandidateID != "" && me.mVotedCandidateID != cmd.CandidateID {// already vote anotherret.Code = rpc.RVVotedAnotherreturn nil} else {// already votedret.Code = rpc.RVOkreturn nil}}if cmd.Term > me.mVotedTerm {// new term, check logif cmd.LastLogIndex >= me.context.Store().LastCommittedIndex() {// good logme.raise(leVoteToCandidate, cmd)ret.Code = rpc.RVOk} else {// bad logret.Code = rpc.RVLogMismatch}return nil}// should not reach hereret.Code = rpc.RVTermMismatchreturn nil}func (me *tLeaderState) Role() roles.RaftRole {return roles.Leader}func (me *tLeaderState) Start() {me.mStartOnce.Do(func() {me.raise(leStart)})}func (me *tLeaderState) whenStartThenBeginHeartbeatToOthers(_ string, _ ...interface{}) {// todo: fixmepanic("implements me")}func (me *tLeaderState) whenNewLeaderAnnouncedThenSwitchToFollower(_ string, args ...interface{}) {me.raise(leDiposing)term := args[0].(int64)me.context.HandleStateChanged(newFollowerState(me.context, term))}
(未完待续)
