node.go 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521
  1. // Copyright 2015 The etcd Authors
  2. //
  3. // Licensed under the Apache License, Version 2.0 (the "License");
  4. // you may not use this file except in compliance with the License.
  5. // You may obtain a copy of the License at
  6. //
  7. // http://www.apache.org/licenses/LICENSE-2.0
  8. //
  9. // Unless required by applicable law or agreed to in writing, software
  10. // distributed under the License is distributed on an "AS IS" BASIS,
  11. // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  12. // See the License for the specific language governing permissions and
  13. // limitations under the License.
  14. package raft
  15. import (
  16. "errors"
  17. pb "github.com/coreos/etcd/raft/raftpb"
  18. "golang.org/x/net/context"
  19. )
  20. type SnapshotStatus int
  21. const (
  22. SnapshotFinish SnapshotStatus = 1
  23. SnapshotFailure SnapshotStatus = 2
  24. )
  25. var (
  26. emptyState = pb.HardState{}
  27. // ErrStopped is returned by methods on Nodes that have been stopped.
  28. ErrStopped = errors.New("raft: stopped")
  29. )
  30. // SoftState provides state that is useful for logging and debugging.
  31. // The state is volatile and does not need to be persisted to the WAL.
  32. type SoftState struct {
  33. Lead uint64 // must use atomic operations to access; keep 64-bit aligned.
  34. RaftState StateType
  35. }
  36. func (a *SoftState) equal(b *SoftState) bool {
  37. return a.Lead == b.Lead && a.RaftState == b.RaftState
  38. }
  39. // Ready encapsulates the entries and messages that are ready to read,
  40. // be saved to stable storage, committed or sent to other peers.
  41. // All fields in Ready are read-only.
  42. type Ready struct {
  43. // The current volatile state of a Node.
  44. // SoftState will be nil if there is no update.
  45. // It is not required to consume or store SoftState.
  46. *SoftState
  47. // The current state of a Node to be saved to stable storage BEFORE
  48. // Messages are sent.
  49. // HardState will be equal to empty state if there is no update.
  50. pb.HardState
  51. // ReadStates can be used for node to serve linearizable read requests locally
  52. // when its applied index is greater than the index in ReadState.
  53. // Note that the readState will be returned when raft receives msgReadIndex.
  54. // The returned is only valid for the request that requested to read.
  55. ReadStates []ReadState
  56. // Entries specifies entries to be saved to stable storage BEFORE
  57. // Messages are sent.
  58. Entries []pb.Entry
  59. // Snapshot specifies the snapshot to be saved to stable storage.
  60. Snapshot pb.Snapshot
  61. // CommittedEntries specifies entries to be committed to a
  62. // store/state-machine. These have previously been committed to stable
  63. // store.
  64. CommittedEntries []pb.Entry
  65. // Messages specifies outbound messages to be sent AFTER Entries are
  66. // committed to stable storage.
  67. // If it contains a MsgSnap message, the application MUST report back to raft
  68. // when the snapshot has been received or has failed by calling ReportSnapshot.
  69. Messages []pb.Message
  70. }
  71. func isHardStateEqual(a, b pb.HardState) bool {
  72. return a.Term == b.Term && a.Vote == b.Vote && a.Commit == b.Commit
  73. }
  74. // IsEmptyHardState returns true if the given HardState is empty.
  75. func IsEmptyHardState(st pb.HardState) bool {
  76. return isHardStateEqual(st, emptyState)
  77. }
  78. // IsEmptySnap returns true if the given Snapshot is empty.
  79. func IsEmptySnap(sp pb.Snapshot) bool {
  80. return sp.Metadata.Index == 0
  81. }
  82. func (rd Ready) containsUpdates() bool {
  83. return rd.SoftState != nil || !IsEmptyHardState(rd.HardState) ||
  84. !IsEmptySnap(rd.Snapshot) || len(rd.Entries) > 0 ||
  85. len(rd.CommittedEntries) > 0 || len(rd.Messages) > 0 || len(rd.ReadStates) != 0
  86. }
  87. // Node represents a node in a raft cluster.
  88. type Node interface {
  89. // Tick increments the internal logical clock for the Node by a single tick. Election
  90. // timeouts and heartbeat timeouts are in units of ticks.
  91. Tick()
  92. // Campaign causes the Node to transition to candidate state and start campaigning to become leader.
  93. Campaign(ctx context.Context) error
  94. // Propose proposes that data be appended to the log.
  95. Propose(ctx context.Context, data []byte) error
  96. // ProposeConfChange proposes config change.
  97. // At most one ConfChange can be in the process of going through consensus.
  98. // Application needs to call ApplyConfChange when applying EntryConfChange type entry.
  99. ProposeConfChange(ctx context.Context, cc pb.ConfChange) error
  100. // Step advances the state machine using the given message. ctx.Err() will be returned, if any.
  101. Step(ctx context.Context, msg pb.Message) error
  102. // Ready returns a channel that returns the current point-in-time state.
  103. // Users of the Node must call Advance after retrieving the state returned by Ready.
  104. //
  105. // NOTE: No committed entries from the next Ready may be applied until all committed entries
  106. // and snapshots from the previous one have finished.
  107. Ready() <-chan Ready
  108. // Advance notifies the Node that the application has saved progress up to the last Ready.
  109. // It prepares the node to return the next available Ready.
  110. //
  111. // The application should generally call Advance after it applies the entries in last Ready.
  112. //
  113. // However, as an optimization, the application may call Advance while it is applying the
  114. // commands. For example. when the last Ready contains a snapshot, the application might take
  115. // a long time to apply the snapshot data. To continue receiving Ready without blocking raft
  116. // progress, it can call Advance before finishing applying the last ready.
  117. Advance()
  118. // ApplyConfChange applies config change to the local node.
  119. // Returns an opaque ConfState protobuf which must be recorded
  120. // in snapshots. Will never return nil; it returns a pointer only
  121. // to match MemoryStorage.Compact.
  122. ApplyConfChange(cc pb.ConfChange) *pb.ConfState
  123. // TransferLeadership attempts to transfer leadership to the given transferee.
  124. TransferLeadership(ctx context.Context, lead, transferee uint64)
  125. // ReadIndex request a read state. The read state will be set in the ready.
  126. // Read state has a read index. Once the application advances further than the read
  127. // index, any linearizable read requests issued before the read request can be
  128. // processed safely. The read state will have the same rctx attached.
  129. ReadIndex(ctx context.Context, rctx []byte) error
  130. // Status returns the current status of the raft state machine.
  131. Status() Status
  132. // ReportUnreachable reports the given node is not reachable for the last send.
  133. ReportUnreachable(id uint64)
  134. // ReportSnapshot reports the status of the sent snapshot.
  135. ReportSnapshot(id uint64, status SnapshotStatus)
  136. // Stop performs any necessary termination of the Node.
  137. Stop()
  138. }
  139. type Peer struct {
  140. ID uint64
  141. Context []byte
  142. }
  143. // StartNode returns a new Node given configuration and a list of raft peers.
  144. // It appends a ConfChangeAddNode entry for each given peer to the initial log.
  145. func StartNode(c *Config, peers []Peer) Node {
  146. r := newRaft(c)
  147. // become the follower at term 1 and apply initial configuration
  148. // entries of term 1
  149. r.becomeFollower(1, None)
  150. for _, peer := range peers {
  151. cc := pb.ConfChange{Type: pb.ConfChangeAddNode, NodeID: peer.ID, Context: peer.Context}
  152. d, err := cc.Marshal()
  153. if err != nil {
  154. panic("unexpected marshal error")
  155. }
  156. e := pb.Entry{Type: pb.EntryConfChange, Term: 1, Index: r.raftLog.lastIndex() + 1, Data: d}
  157. r.raftLog.append(e)
  158. }
  159. // Mark these initial entries as committed.
  160. // TODO(bdarnell): These entries are still unstable; do we need to preserve
  161. // the invariant that committed < unstable?
  162. r.raftLog.committed = r.raftLog.lastIndex()
  163. // Now apply them, mainly so that the application can call Campaign
  164. // immediately after StartNode in tests. Note that these nodes will
  165. // be added to raft twice: here and when the application's Ready
  166. // loop calls ApplyConfChange. The calls to addNode must come after
  167. // all calls to raftLog.append so progress.next is set after these
  168. // bootstrapping entries (it is an error if we try to append these
  169. // entries since they have already been committed).
  170. // We do not set raftLog.applied so the application will be able
  171. // to observe all conf changes via Ready.CommittedEntries.
  172. for _, peer := range peers {
  173. r.addNode(peer.ID)
  174. }
  175. n := newNode()
  176. n.logger = c.Logger
  177. go n.run(r)
  178. return &n
  179. }
  180. // RestartNode is similar to StartNode but does not take a list of peers.
  181. // The current membership of the cluster will be restored from the Storage.
  182. // If the caller has an existing state machine, pass in the last log index that
  183. // has been applied to it; otherwise use zero.
  184. func RestartNode(c *Config) Node {
  185. r := newRaft(c)
  186. n := newNode()
  187. n.logger = c.Logger
  188. go n.run(r)
  189. return &n
  190. }
  191. // node is the canonical implementation of the Node interface
  192. type node struct {
  193. propc chan pb.Message
  194. recvc chan pb.Message
  195. confc chan pb.ConfChange
  196. confstatec chan pb.ConfState
  197. readyc chan Ready
  198. advancec chan struct{}
  199. tickc chan struct{}
  200. done chan struct{}
  201. stop chan struct{}
  202. status chan chan Status
  203. logger Logger
  204. }
  205. func newNode() node {
  206. return node{
  207. propc: make(chan pb.Message),
  208. recvc: make(chan pb.Message),
  209. confc: make(chan pb.ConfChange),
  210. confstatec: make(chan pb.ConfState),
  211. readyc: make(chan Ready),
  212. advancec: make(chan struct{}),
  213. // make tickc a buffered chan, so raft node can buffer some ticks when the node
  214. // is busy processing raft messages. Raft node will resume process buffered
  215. // ticks when it becomes idle.
  216. tickc: make(chan struct{}, 128),
  217. done: make(chan struct{}),
  218. stop: make(chan struct{}),
  219. status: make(chan chan Status),
  220. }
  221. }
  222. func (n *node) Stop() {
  223. select {
  224. case n.stop <- struct{}{}:
  225. // Not already stopped, so trigger it
  226. case <-n.done:
  227. // Node has already been stopped - no need to do anything
  228. return
  229. }
  230. // Block until the stop has been acknowledged by run()
  231. <-n.done
  232. }
  233. func (n *node) run(r *raft) {
  234. var propc chan pb.Message
  235. var readyc chan Ready
  236. var advancec chan struct{}
  237. var prevLastUnstablei, prevLastUnstablet uint64
  238. var havePrevLastUnstablei bool
  239. var prevSnapi uint64
  240. var rd Ready
  241. lead := None
  242. prevSoftSt := r.softState()
  243. prevHardSt := emptyState
  244. for {
  245. if advancec != nil {
  246. readyc = nil
  247. } else {
  248. rd = newReady(r, prevSoftSt, prevHardSt)
  249. if rd.containsUpdates() {
  250. readyc = n.readyc
  251. } else {
  252. readyc = nil
  253. }
  254. }
  255. if lead != r.lead {
  256. if r.hasLeader() {
  257. if lead == None {
  258. r.logger.Infof("raft.node: %x elected leader %x at term %d", r.id, r.lead, r.Term)
  259. } else {
  260. r.logger.Infof("raft.node: %x changed leader from %x to %x at term %d", r.id, lead, r.lead, r.Term)
  261. }
  262. propc = n.propc
  263. } else {
  264. r.logger.Infof("raft.node: %x lost leader %x at term %d", r.id, lead, r.Term)
  265. propc = nil
  266. }
  267. lead = r.lead
  268. }
  269. select {
  270. // TODO: maybe buffer the config propose if there exists one (the way
  271. // described in raft dissertation)
  272. // Currently it is dropped in Step silently.
  273. case m := <-propc:
  274. m.From = r.id
  275. r.Step(m)
  276. case m := <-n.recvc:
  277. // filter out response message from unknown From.
  278. if _, ok := r.prs[m.From]; ok || !IsResponseMsg(m.Type) {
  279. r.Step(m) // raft never returns an error
  280. }
  281. case cc := <-n.confc:
  282. if cc.NodeID == None {
  283. r.resetPendingConf()
  284. select {
  285. case n.confstatec <- pb.ConfState{Nodes: r.nodes()}:
  286. case <-n.done:
  287. }
  288. break
  289. }
  290. switch cc.Type {
  291. case pb.ConfChangeAddNode:
  292. r.addNode(cc.NodeID)
  293. case pb.ConfChangeRemoveNode:
  294. // block incoming proposal when local node is
  295. // removed
  296. if cc.NodeID == r.id {
  297. propc = nil
  298. }
  299. r.removeNode(cc.NodeID)
  300. case pb.ConfChangeUpdateNode:
  301. r.resetPendingConf()
  302. default:
  303. panic("unexpected conf type")
  304. }
  305. select {
  306. case n.confstatec <- pb.ConfState{Nodes: r.nodes()}:
  307. case <-n.done:
  308. }
  309. case <-n.tickc:
  310. r.tick()
  311. case readyc <- rd:
  312. if rd.SoftState != nil {
  313. prevSoftSt = rd.SoftState
  314. }
  315. if len(rd.Entries) > 0 {
  316. prevLastUnstablei = rd.Entries[len(rd.Entries)-1].Index
  317. prevLastUnstablet = rd.Entries[len(rd.Entries)-1].Term
  318. havePrevLastUnstablei = true
  319. }
  320. if !IsEmptyHardState(rd.HardState) {
  321. prevHardSt = rd.HardState
  322. }
  323. if !IsEmptySnap(rd.Snapshot) {
  324. prevSnapi = rd.Snapshot.Metadata.Index
  325. }
  326. r.msgs = nil
  327. r.readStates = nil
  328. advancec = n.advancec
  329. case <-advancec:
  330. if prevHardSt.Commit != 0 {
  331. r.raftLog.appliedTo(prevHardSt.Commit)
  332. }
  333. if havePrevLastUnstablei {
  334. r.raftLog.stableTo(prevLastUnstablei, prevLastUnstablet)
  335. havePrevLastUnstablei = false
  336. }
  337. r.raftLog.stableSnapTo(prevSnapi)
  338. advancec = nil
  339. case c := <-n.status:
  340. c <- getStatus(r)
  341. case <-n.stop:
  342. close(n.done)
  343. return
  344. }
  345. }
  346. }
  347. // Tick increments the internal logical clock for this Node. Election timeouts
  348. // and heartbeat timeouts are in units of ticks.
  349. func (n *node) Tick() {
  350. select {
  351. case n.tickc <- struct{}{}:
  352. case <-n.done:
  353. default:
  354. n.logger.Warningf("A tick missed to fire. Node blocks too long!")
  355. }
  356. }
  357. func (n *node) Campaign(ctx context.Context) error { return n.step(ctx, pb.Message{Type: pb.MsgHup}) }
  358. func (n *node) Propose(ctx context.Context, data []byte) error {
  359. return n.step(ctx, pb.Message{Type: pb.MsgProp, Entries: []pb.Entry{{Data: data}}})
  360. }
  361. func (n *node) Step(ctx context.Context, m pb.Message) error {
  362. // ignore unexpected local messages receiving over network
  363. if IsLocalMsg(m.Type) {
  364. // TODO: return an error?
  365. return nil
  366. }
  367. return n.step(ctx, m)
  368. }
  369. func (n *node) ProposeConfChange(ctx context.Context, cc pb.ConfChange) error {
  370. data, err := cc.Marshal()
  371. if err != nil {
  372. return err
  373. }
  374. return n.Step(ctx, pb.Message{Type: pb.MsgProp, Entries: []pb.Entry{{Type: pb.EntryConfChange, Data: data}}})
  375. }
  376. // Step advances the state machine using msgs. The ctx.Err() will be returned,
  377. // if any.
  378. func (n *node) step(ctx context.Context, m pb.Message) error {
  379. ch := n.recvc
  380. if m.Type == pb.MsgProp {
  381. ch = n.propc
  382. }
  383. select {
  384. case ch <- m:
  385. return nil
  386. case <-ctx.Done():
  387. return ctx.Err()
  388. case <-n.done:
  389. return ErrStopped
  390. }
  391. }
  392. func (n *node) Ready() <-chan Ready { return n.readyc }
  393. func (n *node) Advance() {
  394. select {
  395. case n.advancec <- struct{}{}:
  396. case <-n.done:
  397. }
  398. }
  399. func (n *node) ApplyConfChange(cc pb.ConfChange) *pb.ConfState {
  400. var cs pb.ConfState
  401. select {
  402. case n.confc <- cc:
  403. case <-n.done:
  404. }
  405. select {
  406. case cs = <-n.confstatec:
  407. case <-n.done:
  408. }
  409. return &cs
  410. }
  411. func (n *node) Status() Status {
  412. c := make(chan Status)
  413. select {
  414. case n.status <- c:
  415. return <-c
  416. case <-n.done:
  417. return Status{}
  418. }
  419. }
  420. func (n *node) ReportUnreachable(id uint64) {
  421. select {
  422. case n.recvc <- pb.Message{Type: pb.MsgUnreachable, From: id}:
  423. case <-n.done:
  424. }
  425. }
  426. func (n *node) ReportSnapshot(id uint64, status SnapshotStatus) {
  427. rej := status == SnapshotFailure
  428. select {
  429. case n.recvc <- pb.Message{Type: pb.MsgSnapStatus, From: id, Reject: rej}:
  430. case <-n.done:
  431. }
  432. }
  433. func (n *node) TransferLeadership(ctx context.Context, lead, transferee uint64) {
  434. select {
  435. // manually set 'from' and 'to', so that leader can voluntarily transfers its leadership
  436. case n.recvc <- pb.Message{Type: pb.MsgTransferLeader, From: transferee, To: lead}:
  437. case <-n.done:
  438. case <-ctx.Done():
  439. }
  440. }
  441. func (n *node) ReadIndex(ctx context.Context, rctx []byte) error {
  442. return n.step(ctx, pb.Message{Type: pb.MsgReadIndex, Entries: []pb.Entry{{Data: rctx}}})
  443. }
  444. func newReady(r *raft, prevSoftSt *SoftState, prevHardSt pb.HardState) Ready {
  445. rd := Ready{
  446. Entries: r.raftLog.unstableEntries(),
  447. CommittedEntries: r.raftLog.nextEnts(),
  448. Messages: r.msgs,
  449. }
  450. if softSt := r.softState(); !softSt.equal(prevSoftSt) {
  451. rd.SoftState = softSt
  452. }
  453. if hardSt := r.hardState(); !isHardStateEqual(hardSt, prevHardSt) {
  454. rd.HardState = hardSt
  455. }
  456. if r.raftLog.unstable.snapshot != nil {
  457. rd.Snapshot = *r.raftLog.unstable.snapshot
  458. }
  459. if len(r.readStates) != 0 {
  460. rd.ReadStates = r.readStates
  461. }
  462. return rd
  463. }