EtcdRaft源码分析(配置变更)

今天我们用配置变更来结束整个EtcdRaft源码分析系列。横向扩展能力是衡量分布式系统优劣的决定性指标,而能否轻松,快捷,有效,及时的变更集群成员是其中的关键。下面我们一起来看看EtcdRaft是怎么实现的。

接口

type Node interface {
    ...
   // ProposeConfChange proposes config change.
   // At most one ConfChange can be in the process of going through consensus.
   // Application needs to call ApplyConfChange when applying EntryConfChange type entry.
   ProposeConfChange(ctx context.Context, cc pb.ConfChange) error
    ...
   // ApplyConfChange applies config change to the local node.
   // Returns an opaque ConfState protobuf which must be recorded
   // in snapshots. Will never return nil; it returns a pointer only
   // to match MemoryStorage.Compact.
   ApplyConfChange(cc pb.ConfChange) *pb.ConfState
    ...
}

可以看到有两个方法跟配置变更相关,看过前面的知道,外部跟Raft打交道的方式。先提案(propose), 然后等内部达成一致,再落地(Apply)。

struct

type ConfChange struct {
   ID               uint64         `protobuf:"varint,1,opt,name=ID" json:"ID"`
   Type             ConfChangeType `protobuf:"varint,2,opt,name=Type,enum=raftpb.ConfChangeType" json:"Type"`
   NodeID           uint64         `protobuf:"varint,3,opt,name=NodeID" json:"NodeID"`
   Context          []byte         `protobuf:"bytes,4,opt,name=Context" json:"Context,omitempty"`
   XXX_unrecognized []byte         `json:"-"`
}


const (
    ConfChangeAddNode        ConfChangeType = 0
    ConfChangeRemoveNode     ConfChangeType = 1
    ConfChangeUpdateNode     ConfChangeType = 2
    ConfChangeAddLearnerNode ConfChangeType = 3
)

以上是提案内容,很清晰,但有个地方需要注意,一次只能变更一个节点。至于为什么,有兴趣的可以去看论文哈。

Propose

func (n *node) ProposeConfChange(ctx context.Context, cc pb.ConfChange) error {
   data, err := cc.Marshal()
   if err != nil {
      return err
   }
   return n.Step(ctx, pb.Message{Type: pb.MsgProp, Entries: []pb.Entry{{Type: pb.EntryConfChange, Data: data}}})
}
  • 基本就是走的提交数据的流程,唯一需要注意的是这里用pb.EntryConfChange将它与其他提案区别开来。
  • 接下来,我们再走一遍数据提交的流程

Leader

...
for i, e := range m.Entries {
   if e.Type == pb.EntryConfChange {
      if r.pendingConfIndex > r.raftLog.applied {
         r.logger.Infof("propose conf %s ignored since pending unapplied configuration [index %d, applied %d]",
            e.String(), r.pendingConfIndex, r.raftLog.applied)
         m.Entries[i] = pb.Entry{Type: pb.EntryNormal}
      } else {
         r.pendingConfIndex = r.raftLog.lastIndex() + uint64(i) + 1
      }
   }
}
...
if !r.appendEntry(m.Entries...) {
    return ErrProposalDropped
}
r.bcastAppend()
  • 如果当前还有配置更新没有处理完,那么这次新的变更将丢弃,用一个空的entry来替换它
  • 如果都处理完了,那么记下这个配置变更的位置到pendingConfIndex
  • 后面就一样了,累加到本地,而且群发给其他人。
  • 问题来了,配置变更都同步给成员了,怎么确认都收到了,可以开始apply了呢?我想也猜得到,会通过Ready的committedIndex来通知应用层。

apply

应用层

case raftpb.EntryConfChange:
   var cc raftpb.ConfChange
   if err := cc.Unmarshal(ents[i].Data); err != nil {
      c.logger.Warnf("Failed to unmarshal ConfChange data: %s", err)
      continue
   }

   c.confState = *c.Node.ApplyConfChange(cc)

   switch cc.Type {
   case raftpb.ConfChangeAddNode:
      c.logger.Infof("Applied config change to add node %d, current nodes in channel: %+v", cc.NodeID, c.confState.Nodes)
   case raftpb.ConfChangeRemoveNode:
      c.logger.Infof("Applied config change to remove node %d, current nodes in channel: %+v", cc.NodeID, c.confState.Nodes)
   default:
      c.logger.Panic("Programming error, encountered unsupported raft config change")
   }

   // This ConfChange was introduced by a previously committed config block,
   // we can now unblock submitC to accept envelopes.
   if c.confChangeInProgress != nil &&
      c.confChangeInProgress.NodeID == cc.NodeID &&
      c.confChangeInProgress.Type == cc.Type {

      if err := c.configureComm(); err != nil {
         c.logger.Panicf("Failed to configure communication: %s", err)
      }

      c.confChangeInProgress = nil
      c.configInflight = false
      // report the new cluster size
      c.Metrics.ClusterSize.Set(float64(len(c.opts.RaftMetadata.Consenters)))
   }

   if cc.Type == raftpb.ConfChangeRemoveNode && cc.NodeID == c.raftID {
      c.logger.Infof("Current node removed from replica set for channel %s", c.channelID)
      // calling goroutine, since otherwise it will be blocked
      // trying to write into haltC
      go c.Halt()
   }
}
  • 这里,我举的是Fabric的例子,只关注关键流程就好
  • 收到Raft的ConfChange,第一件事,我们就要Node.ApplyConfChange(cc)
  • Raft的通讯层是需要应用层托管的,所以不是Raft那边做完配置变更,就可以收工了。
    • Fabric要根据最新的集群成员数据,去做grpc的连接
    • 如果有删除的节点,还要去停掉这个成员,这个后面会讲。

Raft

ApplyConfChange

case cc := <-n.confc:
            if cc.NodeID == None {
                select {
                case n.confstatec <- pb.ConfState{
                    Nodes:    r.nodes(),
                    Learners: r.learnerNodes()}:
                case <-n.done:
                }
                break
            }
            switch cc.Type {
            case pb.ConfChangeAddNode:
                r.addNode(cc.NodeID)
            case pb.ConfChangeAddLearnerNode:
                r.addLearner(cc.NodeID)
            case pb.ConfChangeRemoveNode:
                // block incoming proposal when local node is
                // removed
                if cc.NodeID == r.id {
                    propc = nil
                }
                r.removeNode(cc.NodeID)
            case pb.ConfChangeUpdateNode:
            default:
                panic("unexpected conf type")
            }
            select {
            case n.confstatec <- pb.ConfState{
                Nodes:    r.nodes(),
                Learners: r.learnerNodes()}:
            case <-n.done:
            }
  • 首先,这里有个调用技巧,如果调用的时候传入的NodeID为None,那么会返回当前Raft的成员
  • 下面我们具体看下这几种变更类型具体是在干嘛

addNode&addLearner

func (r *raft) addNodeOrLearnerNode(id uint64, isLearner bool) {
   pr := r.getProgress(id)
   if pr == nil {
      r.setProgress(id, 0, r.raftLog.lastIndex()+1, isLearner)
   } else {
      if isLearner && !pr.IsLearner {
         // can only change Learner to Voter
         r.logger.Infof("%x ignored addLearner: do not support changing %x from raft peer to learner.", r.id, id)
         return
      }

      if isLearner == pr.IsLearner {
         // Ignore any redundant addNode calls (which can happen because the
         // initial bootstrapping entries are applied twice).
         return
      }

      // change Learner to Voter, use origin Learner progress
      delete(r.learnerPrs, id)
      pr.IsLearner = false
      r.prs[id] = pr
   }

   if r.id == id {
      r.isLearner = isLearner
   }

   // When a node is first added, we should mark it as recently active.
   // Otherwise, CheckQuorum may cause us to step down if it is invoked
   // before the added node has a chance to communicate with us.
   pr = r.getProgress(id)
   pr.RecentActive = true
}
  • 如果是全新的节点,初始化Progress,这里match=0,next=r.raftLog.lastIndex()+1
  • 如果之前是learner,那么从learner里面转移到正常节点里面

removeNode

func (r *raft) removeNode(id uint64) {
   r.delProgress(id)

   // do not try to commit or abort transferring if there is no nodes in the cluster.
   if len(r.prs) == 0 && len(r.learnerPrs) == 0 {
      return
   }

   // The quorum size is now smaller, so see if any pending entries can
   // be committed.
   if r.maybeCommit() {
      r.bcastAppend()
   }
   // If the removed node is the leadTransferee, then abort the leadership transferring.
   if r.state == StateLeader && r.leadTransferee == id {
      r.abortLeaderTransfer()
   }
}
  • 真的删除Progress就够了么?想象下整个系统运转是靠什么?
  • 还记得应用层会tick么?Leader靠这个发心跳,非Leader靠这个选举超时。
  • 我们再回顾下应用层还做了些什么

应用层

if cc.Type == raftpb.ConfChangeRemoveNode && cc.NodeID == c.raftID {
    // calling goroutine, since otherwise it will be blocked
    // trying to write into haltC
    go c.Halt()
}

case <-n.chain.haltC:
   ticker.Stop()
   n.Stop()
   n.storage.Close()
   n.logger.Infof("Raft node stopped")
   close(n.chain.doneC) // close after all the artifacts are closed
   return
}
  • 可以看到如果是删除当前节点的消息,会最终会让该节点的ticker.Stop。这也导致该节点最终会被Raft抛弃。
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 213,752评论 6 493
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 91,100评论 3 387
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 159,244评论 0 349
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 57,099评论 1 286
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,210评论 6 385
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,307评论 1 292
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,346评论 3 412
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,133评论 0 269
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,546评论 1 306
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,849评论 2 328
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,019评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,702评论 4 337
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,331评论 3 319
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,030评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,260评论 1 267
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,871评论 2 365
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,898评论 2 351

推荐阅读更多精彩内容