syncElection.c 4.4 KB
Newer Older
M
Minghao Li 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
/*
 * Copyright (c) 2019 TAOS Data, Inc. <jhtao@taosdata.com>
 *
 * This program is free software: you can use, redistribute, and/or modify
 * it under the terms of the GNU Affero General Public License, version 3
 * or later ("AGPL"), as published by the Free Software Foundation.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.
 *
 * You should have received a copy of the GNU Affero General Public License
 * along with this program. If not, see <http://www.gnu.org/licenses/>.
 */

M
Minghao Li 已提交
16
#include "syncElection.h"
M
Minghao Li 已提交
17
#include "syncMessage.h"
M
Minghao Li 已提交
18
#include "syncRaftCfg.h"
M
Minghao Li 已提交
19
#include "syncRaftStore.h"
M
Minghao Li 已提交
20
#include "syncVoteMgr.h"
M
Minghao Li 已提交
21

M
Minghao Li 已提交
22 23 24 25 26 27 28 29 30 31 32
// TLA+ Spec
// RequestVote(i, j) ==
//    /\ state[i] = Candidate
//    /\ j \notin votesResponded[i]
//    /\ Send([mtype         |-> RequestVoteRequest,
//             mterm         |-> currentTerm[i],
//             mlastLogTerm  |-> LastTerm(log[i]),
//             mlastLogIndex |-> Len(log[i]),
//             msource       |-> i,
//             mdest         |-> j])
//    /\ UNCHANGED <<serverVars, candidateVars, leaderVars, logVars>>
M
Minghao Li 已提交
33
//
M
Minghao Li 已提交
34
int32_t syncNodeRequestVotePeers(SSyncNode* pSyncNode) {
M
Minghao Li 已提交
35
  ASSERT(pSyncNode->state == TAOS_SYNC_STATE_CANDIDATE);
M
Minghao Li 已提交
36

M
Minghao Li 已提交
37
  int32_t ret = 0;
M
Minghao Li 已提交
38
  for (int i = 0; i < pSyncNode->peersNum; ++i) {
M
Minghao Li 已提交
39
    SyncRequestVote* pMsg = syncRequestVoteBuild(pSyncNode->vgId);
M
Minghao Li 已提交
40 41
    pMsg->srcId = pSyncNode->myRaftId;
    pMsg->destId = pSyncNode->peersId[i];
M
Minghao Li 已提交
42
    pMsg->term = pSyncNode->pRaftStore->currentTerm;
M
Minghao Li 已提交
43 44 45 46
    pMsg->lastLogIndex = pSyncNode->pLogStore->getLastIndex(pSyncNode->pLogStore);
    pMsg->lastLogTerm = pSyncNode->pLogStore->getLastTerm(pSyncNode->pLogStore);

    ret = syncNodeRequestVote(pSyncNode, &pSyncNode->peersId[i], pMsg);
M
Minghao Li 已提交
47
    ASSERT(ret == 0);
M
Minghao Li 已提交
48 49
    syncRequestVoteDestroy(pMsg);
  }
M
Minghao Li 已提交
50 51
  return ret;
}
M
Minghao Li 已提交
52

53
int32_t syncNodeRequestVotePeersSnapshot(SSyncNode* pSyncNode) {
54
  ASSERT(pSyncNode->state == TAOS_SYNC_STATE_CANDIDATE);
55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71

  int32_t ret = 0;
  for (int i = 0; i < pSyncNode->peersNum; ++i) {
    SyncRequestVote* pMsg = syncRequestVoteBuild(pSyncNode->vgId);
    pMsg->srcId = pSyncNode->myRaftId;
    pMsg->destId = pSyncNode->peersId[i];
    pMsg->term = pSyncNode->pRaftStore->currentTerm;

    ret = syncNodeGetLastIndexTerm(pSyncNode, &(pMsg->lastLogIndex), &(pMsg->lastLogTerm));
    ASSERT(ret == 0);

    ret = syncNodeRequestVote(pSyncNode, &pSyncNode->peersId[i], pMsg);
    ASSERT(ret == 0);
    syncRequestVoteDestroy(pMsg);
  }
  return ret;
}
M
Minghao Li 已提交
72

M
Minghao Li 已提交
73
int32_t syncNodeElect(SSyncNode* pSyncNode) {
M
Minghao Li 已提交
74
  int32_t ret = 0;
M
Minghao Li 已提交
75 76 77
  if (pSyncNode->state == TAOS_SYNC_STATE_FOLLOWER) {
    syncNodeFollower2Candidate(pSyncNode);
  }
M
Minghao Li 已提交
78 79 80 81 82

  if (pSyncNode->state != TAOS_SYNC_STATE_CANDIDATE) {
    syncNodeErrorLog(pSyncNode, "not candidate, can not elect");
    return -1;
  }
M
Minghao Li 已提交
83

M
Minghao Li 已提交
84
  // start election
M
Minghao Li 已提交
85 86 87 88 89 90
  raftStoreNextTerm(pSyncNode->pRaftStore);
  raftStoreClearVote(pSyncNode->pRaftStore);
  voteGrantedReset(pSyncNode->pVotesGranted, pSyncNode->pRaftStore->currentTerm);
  votesRespondReset(pSyncNode->pVotesRespond, pSyncNode->pRaftStore->currentTerm);

  syncNodeVoteForSelf(pSyncNode);
M
Minghao Li 已提交
91 92
  if (voteGrantedMajority(pSyncNode->pVotesGranted)) {
    // only myself, to leader
M
Minghao Li 已提交
93
    ASSERT(!pSyncNode->pVotesGranted->toLeader);
M
Minghao Li 已提交
94 95 96 97 98
    syncNodeCandidate2Leader(pSyncNode);
    pSyncNode->pVotesGranted->toLeader = true;
    return ret;
  }

M
Minghao Li 已提交
99 100 101 102 103 104 105 106 107 108 109 110 111
  switch (pSyncNode->pRaftCfg->snapshotStrategy) {
    case SYNC_STRATEGY_NO_SNAPSHOT:
      ret = syncNodeRequestVotePeers(pSyncNode);
      break;

    case SYNC_STRATEGY_STANDARD_SNAPSHOT:
    case SYNC_STRATEGY_WAL_FIRST:
      ret = syncNodeRequestVotePeersSnapshot(pSyncNode);
      break;

    default:
      ret = syncNodeRequestVotePeers(pSyncNode);
      break;
M
Minghao Li 已提交
112
  }
M
Minghao Li 已提交
113
  ASSERT(ret == 0);
M
Minghao Li 已提交
114 115
  syncNodeResetElectTimer(pSyncNode);

M
Minghao Li 已提交
116
  return ret;
M
Minghao Li 已提交
117 118
}

M
Minghao Li 已提交
119 120 121
int32_t syncNodeRequestVote(SSyncNode* pSyncNode, const SRaftId* destRaftId, const SyncRequestVote* pMsg) {
  int32_t ret = 0;

M
Minghao Li 已提交
122 123 124 125 126 127 128 129
  do {
    char     host[128];
    uint16_t port;
    syncUtilU642Addr(destRaftId->addr, host, sizeof(host), &port);
    sDebug("vgId:%d, send sync-request-vote to %s:%d, {term:%lu, last-index:%ld, last-term:%lu}", pSyncNode->vgId, host,
           port, pMsg->term, pMsg->lastLogTerm, pMsg->lastLogIndex);
  } while (0);

M
Minghao Li 已提交
130 131 132 133 134
  SRpcMsg rpcMsg;
  syncRequestVote2RpcMsg(pMsg, &rpcMsg);
  syncNodeSendMsgById(destRaftId, pSyncNode, &rpcMsg);
  return ret;
}