| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723 |
- package raft
- import (
- "bytes"
- "math/rand"
- "testing"
- )
- func TestLeaderElection(t *testing.T) {
- tests := []struct {
- *network
- state stateType
- }{
- {newNetwork(nil, nil, nil), stateLeader},
- {newNetwork(nil, nil, nopStepper), stateLeader},
- {newNetwork(nil, nopStepper, nopStepper), stateCandidate},
- {newNetwork(nil, nopStepper, nopStepper, nil), stateCandidate},
- {newNetwork(nil, nopStepper, nopStepper, nil, nil), stateLeader},
- // three logs further along than 0
- {newNetwork(nil, ents(1), ents(2), ents(1, 3), nil), stateFollower},
- // logs converge
- {newNetwork(ents(1), nil, ents(2), ents(1), nil), stateLeader},
- }
- for i, tt := range tests {
- tt.send(Message{To: 0, Type: msgHup})
- sm := tt.network.peers[0].(*stateMachine)
- if sm.state != tt.state {
- t.Errorf("#%d: state = %s, want %s", i, sm.state, tt.state)
- }
- if g := sm.term; g != 1 {
- t.Errorf("#%d: term = %d, want %d", i, g, 1)
- }
- }
- }
- func TestLogReplication(t *testing.T) {
- tests := []struct {
- *network
- msgs []Message
- wcommitted int
- }{
- {
- newNetwork(nil, nil, nil),
- []Message{
- {To: 0, Type: msgProp, Entries: []Entry{{Data: []byte("somedata")}}},
- },
- 1,
- },
- {
- newNetwork(nil, nil, nil),
- []Message{
- {To: 0, Type: msgProp, Entries: []Entry{{Data: []byte("somedata")}}},
- {To: 1, Type: msgHup},
- {To: 1, Type: msgProp, Entries: []Entry{{Data: []byte("somedata")}}},
- },
- 2,
- },
- }
- for i, tt := range tests {
- tt.send(Message{To: 0, Type: msgHup})
- for _, m := range tt.msgs {
- tt.send(m)
- }
- for j, x := range tt.network.peers {
- sm := x.(*stateMachine)
- if sm.log.committed != tt.wcommitted {
- t.Errorf("#%d.%d: committed = %d, want %d", i, j, sm.log.committed, tt.wcommitted)
- }
- ents := sm.nextEnts()
- props := make([]Message, 0)
- for _, m := range tt.msgs {
- if m.Type == msgProp {
- props = append(props, m)
- }
- }
- for k, m := range props {
- if !bytes.Equal(ents[k].Data, m.Entries[0].Data) {
- t.Errorf("#%d.%d: data = %d, want %d", i, j, ents[k].Data, m.Entries[0].Data)
- }
- }
- }
- }
- }
- func TestSingleNodeCommit(t *testing.T) {
- tt := newNetwork(nil)
- tt.send(Message{To: 0, Type: msgHup})
- tt.send(Message{To: 0, Type: msgProp, Entries: []Entry{{Data: []byte("some data")}}})
- tt.send(Message{To: 0, Type: msgProp, Entries: []Entry{{Data: []byte("some data")}}})
- sm := tt.peers[0].(*stateMachine)
- if sm.log.committed != 2 {
- t.Errorf("committed = %d, want %d", sm.log.committed, 2)
- }
- }
- func TestCannotCommitWithoutNewTermEntry(t *testing.T) {
- tt := newNetwork(nil, nil, nil, nil, nil)
- tt.send(Message{To: 0, Type: msgHup})
- // 0 cannot reach 2,3,4
- tt.cut(0, 2)
- tt.cut(0, 3)
- tt.cut(0, 4)
- tt.send(Message{To: 0, Type: msgProp, Entries: []Entry{{Data: []byte("some data")}}})
- tt.send(Message{To: 0, Type: msgProp, Entries: []Entry{{Data: []byte("some data")}}})
- sm := tt.peers[0].(*stateMachine)
- if sm.log.committed != 0 {
- t.Errorf("committed = %d, want %d", sm.log.committed, 0)
- }
- // network recovery
- tt.recover()
- // elect 1 as the new leader with term 2
- tt.send(Message{To: 1, Type: msgHup})
- // send out a heartbeat
- tt.send(Message{To: 1, Type: msgBeat})
- // no log entries from previous term should be committed
- sm = tt.peers[1].(*stateMachine)
- if sm.log.committed != 0 {
- t.Errorf("committed = %d, want %d", sm.log.committed, 0)
- }
- // after append a entry from the current term, all entries
- // should be committed
- tt.send(Message{To: 1, Type: msgProp, Entries: []Entry{{Data: []byte("some data")}}})
- if sm.log.committed != 3 {
- t.Errorf("committed = %d, want %d", sm.log.committed, 3)
- }
- }
- func TestDuelingCandidates(t *testing.T) {
- a := newStateMachine(0, nil) // k, addr are set later
- c := newStateMachine(0, nil)
- tt := newNetwork(a, nil, c)
- tt.cut(0, 2)
- tt.send(Message{To: 0, Type: msgHup})
- tt.send(Message{To: 2, Type: msgHup})
- tt.recover()
- tt.send(Message{To: 2, Type: msgHup})
- tests := []struct {
- sm *stateMachine
- state stateType
- term int
- }{
- {a, stateFollower, 2},
- {c, stateLeader, 2},
- }
- for i, tt := range tests {
- if g := tt.sm.state; g != tt.state {
- t.Errorf("#%d: state = %s, want %s", i, g, tt.state)
- }
- if g := tt.sm.term; g != tt.term {
- t.Errorf("#%d: term = %d, want %d", i, g, tt.term)
- }
- }
- base := ltoa(newLog())
- for i, p := range tt.peers {
- if sm, ok := p.(*stateMachine); ok {
- l := ltoa(sm.log)
- if g := diffu(base, l); g != "" {
- t.Errorf("#%d: diff:\n%s", i, g)
- }
- } else {
- t.Logf("#%d: empty log", i)
- }
- }
- }
- func TestCandidateConcede(t *testing.T) {
- tt := newNetwork(nil, nil, nil)
- tt.isolate(0)
- tt.send(Message{To: 0, Type: msgHup})
- tt.send(Message{To: 2, Type: msgHup})
- // heal the partition
- tt.recover()
- data := []byte("force follower")
- // send a proposal to 2 to flush out a msgApp to 0
- tt.send(Message{To: 2, Type: msgProp, Entries: []Entry{{Data: data}}})
- a := tt.peers[0].(*stateMachine)
- if g := a.state; g != stateFollower {
- t.Errorf("state = %s, want %s", g, stateFollower)
- }
- if g := a.term; g != 1 {
- t.Errorf("term = %d, want %d", g, 1)
- }
- wantLog := ltoa(&log{ents: []Entry{{}, {Term: 1, Data: data}}, committed: 1})
- for i, p := range tt.peers {
- if sm, ok := p.(*stateMachine); ok {
- l := ltoa(sm.log)
- if g := diffu(wantLog, l); g != "" {
- t.Errorf("#%d: diff:\n%s", i, g)
- }
- } else {
- t.Logf("#%d: empty log", i)
- }
- }
- }
- func TestSingleNodeCandidate(t *testing.T) {
- tt := newNetwork(nil)
- tt.send(Message{To: 0, Type: msgHup})
- sm := tt.peers[0].(*stateMachine)
- if sm.state != stateLeader {
- t.Errorf("state = %d, want %d", sm.state, stateLeader)
- }
- }
- func TestOldMessages(t *testing.T) {
- tt := newNetwork(nil, nil, nil)
- // make 0 leader @ term 3
- tt.send(Message{To: 0, Type: msgHup})
- tt.send(Message{To: 1, Type: msgHup})
- tt.send(Message{To: 0, Type: msgHup})
- // pretend we're an old leader trying to make progress
- tt.send(Message{To: 0, Type: msgApp, Term: 1, Entries: []Entry{{Term: 1}}})
- base := ltoa(newLog())
- for i, p := range tt.peers {
- if sm, ok := p.(*stateMachine); ok {
- l := ltoa(sm.log)
- if g := diffu(base, l); g != "" {
- t.Errorf("#%d: diff:\n%s", i, g)
- }
- } else {
- t.Logf("#%d: empty log", i)
- }
- }
- }
- // TestOldMessagesReply - optimization - reply with new term.
- func TestProposal(t *testing.T) {
- tests := []struct {
- *network
- success bool
- }{
- {newNetwork(nil, nil, nil), true},
- {newNetwork(nil, nil, nopStepper), true},
- {newNetwork(nil, nopStepper, nopStepper), false},
- {newNetwork(nil, nopStepper, nopStepper, nil), false},
- {newNetwork(nil, nopStepper, nopStepper, nil, nil), true},
- }
- for i, tt := range tests {
- send := func(m Message) {
- defer func() {
- // only recover is we expect it to panic so
- // panics we don't expect go up.
- if !tt.success {
- e := recover()
- if e != nil {
- t.Logf("#%d: err: %s", i, e)
- }
- }
- }()
- tt.send(m)
- }
- data := []byte("somedata")
- // promote 0 the leader
- send(Message{To: 0, Type: msgHup})
- send(Message{To: 0, Type: msgProp, Entries: []Entry{{Data: data}}})
- wantLog := newLog()
- if tt.success {
- wantLog = &log{ents: []Entry{{}, {Term: 1, Data: data}}, committed: 1}
- }
- base := ltoa(wantLog)
- for i, p := range tt.peers {
- if sm, ok := p.(*stateMachine); ok {
- l := ltoa(sm.log)
- if g := diffu(base, l); g != "" {
- t.Errorf("#%d: diff:\n%s", i, g)
- }
- } else {
- t.Logf("#%d: empty log", i)
- }
- }
- sm := tt.network.peers[0].(*stateMachine)
- if g := sm.term; g != 1 {
- t.Errorf("#%d: term = %d, want %d", i, g, 1)
- }
- }
- }
- func TestProposalByProxy(t *testing.T) {
- data := []byte("somedata")
- tests := []*network{
- newNetwork(nil, nil, nil),
- newNetwork(nil, nil, nopStepper),
- }
- for i, tt := range tests {
- // promote 0 the leader
- tt.send(Message{To: 0, Type: msgHup})
- // propose via follower
- tt.send(Message{To: 1, Type: msgProp, Entries: []Entry{{Data: []byte("somedata")}}})
- wantLog := &log{ents: []Entry{{}, {Term: 1, Data: data}}, committed: 1}
- base := ltoa(wantLog)
- for i, p := range tt.peers {
- if sm, ok := p.(*stateMachine); ok {
- l := ltoa(sm.log)
- if g := diffu(base, l); g != "" {
- t.Errorf("#%d: diff:\n%s", i, g)
- }
- } else {
- t.Logf("#%d: empty log", i)
- }
- }
- sm := tt.peers[0].(*stateMachine)
- if g := sm.term; g != 1 {
- t.Errorf("#%d: term = %d, want %d", i, g, 1)
- }
- }
- }
- func TestCommit(t *testing.T) {
- tests := []struct {
- matches []int
- logs []Entry
- smTerm int
- w int
- }{
- // single
- {[]int{1}, []Entry{{}, {Term: 1}}, 1, 1},
- {[]int{1}, []Entry{{}, {Term: 1}}, 2, 0},
- {[]int{2}, []Entry{{}, {Term: 1}, {Term: 2}}, 2, 2},
- {[]int{1}, []Entry{{}, {Term: 2}}, 2, 1},
- // odd
- {[]int{2, 1, 1}, []Entry{{}, {Term: 1}, {Term: 2}}, 1, 1},
- {[]int{2, 1, 1}, []Entry{{}, {Term: 1}, {Term: 1}}, 2, 0},
- {[]int{2, 1, 2}, []Entry{{}, {Term: 1}, {Term: 2}}, 2, 2},
- {[]int{2, 1, 2}, []Entry{{}, {Term: 1}, {Term: 1}}, 2, 0},
- // even
- {[]int{2, 1, 1, 1}, []Entry{{}, {Term: 1}, {Term: 2}}, 1, 1},
- {[]int{2, 1, 1, 1}, []Entry{{}, {Term: 1}, {Term: 1}}, 2, 0},
- {[]int{2, 1, 1, 2}, []Entry{{}, {Term: 1}, {Term: 2}}, 1, 1},
- {[]int{2, 1, 1, 2}, []Entry{{}, {Term: 1}, {Term: 1}}, 2, 0},
- {[]int{2, 1, 2, 2}, []Entry{{}, {Term: 1}, {Term: 2}}, 2, 2},
- {[]int{2, 1, 2, 2}, []Entry{{}, {Term: 1}, {Term: 1}}, 2, 0},
- }
- for i, tt := range tests {
- ins := make(map[int]*index)
- for j := 0; j < len(tt.matches); j++ {
- ins[j] = &index{tt.matches[j], tt.matches[j] + 1}
- }
- sm := &stateMachine{log: &log{ents: tt.logs}, ins: ins, term: tt.smTerm}
- sm.maybeCommit()
- if g := sm.log.committed; g != tt.w {
- t.Errorf("#%d: committed = %d, want %d", i, g, tt.w)
- }
- }
- }
- func TestVote(t *testing.T) {
- tests := []struct {
- state stateType
- i, term int
- voteFor int
- w int
- }{
- {stateFollower, 0, 0, none, -1},
- {stateFollower, 0, 1, none, -1},
- {stateFollower, 0, 2, none, -1},
- {stateFollower, 0, 3, none, 2},
- {stateFollower, 1, 0, none, -1},
- {stateFollower, 1, 1, none, -1},
- {stateFollower, 1, 2, none, -1},
- {stateFollower, 1, 3, none, 2},
- {stateFollower, 2, 0, none, -1},
- {stateFollower, 2, 1, none, -1},
- {stateFollower, 2, 2, none, 2},
- {stateFollower, 2, 3, none, 2},
- {stateFollower, 3, 0, none, -1},
- {stateFollower, 3, 1, none, -1},
- {stateFollower, 3, 2, none, 2},
- {stateFollower, 3, 3, none, 2},
- {stateFollower, 3, 2, 1, 2},
- {stateFollower, 3, 2, 0, -1},
- {stateLeader, 3, 3, 0, -1},
- {stateCandidate, 3, 3, 0, -1},
- }
- for i, tt := range tests {
- called := false
- sm := &stateMachine{
- state: tt.state,
- vote: tt.voteFor,
- log: &log{ents: []Entry{{}, {Term: 2}, {Term: 2}}},
- }
- sm.Step(Message{Type: msgVote, From: 1, Index: tt.i, LogTerm: tt.term})
- for _, m := range sm.Msgs() {
- called = true
- if m.Index != tt.w {
- t.Errorf("#%d, m.Index = %d, want %d", i, m.Index, tt.w)
- }
- }
- if !called {
- t.Fatal("#%d: not called", i)
- }
- }
- }
- func TestStateTransition(t *testing.T) {
- tests := []struct {
- from stateType
- to stateType
- wallow bool
- wterm int
- wlead int
- }{
- {stateFollower, stateFollower, true, 1, none},
- {stateFollower, stateCandidate, true, 1, none},
- {stateFollower, stateLeader, false, -1, none},
- {stateCandidate, stateFollower, true, 0, none},
- {stateCandidate, stateCandidate, true, 1, none},
- {stateCandidate, stateLeader, true, 0, 0},
- {stateLeader, stateFollower, true, 1, none},
- {stateLeader, stateCandidate, false, 1, none},
- {stateLeader, stateLeader, true, 0, 0},
- }
- for i, tt := range tests {
- func() {
- defer func() {
- if r := recover(); r != nil {
- if tt.wallow == true {
- t.Errorf("%d: allow = %v, want %v", i, false, true)
- }
- }
- }()
- sm := newStateMachine(0, []int{0})
- sm.state = tt.from
- switch tt.to {
- case stateFollower:
- sm.becomeFollower(tt.wterm, tt.wlead)
- case stateCandidate:
- sm.becomeCandidate()
- case stateLeader:
- sm.becomeLeader()
- }
- if sm.term != tt.wterm {
- t.Errorf("%d: term = %d, want %d", i, sm.term, tt.wterm)
- }
- if sm.lead != tt.wlead {
- t.Errorf("%d: lead = %d, want %d", i, sm.lead, tt.wlead)
- }
- }()
- }
- }
- func TestConf(t *testing.T) {
- sm := newStateMachine(0, []int{0})
- sm.becomeCandidate()
- sm.becomeLeader()
- sm.Step(Message{Type: msgProp, Entries: []Entry{{Type: config}}})
- if sm.log.lastIndex() != 1 {
- t.Errorf("lastindex = %d, want %d", sm.log.lastIndex(), 1)
- }
- if !sm.pendingConf {
- t.Errorf("pendingConf = %v, want %v", sm.pendingConf, true)
- }
- if sm.log.ents[1].Type != config {
- t.Errorf("type = %d, want %d", sm.log.ents[1].Type, config)
- }
- // deny the second configuration change request if there is a pending one
- sm.Step(Message{Type: msgProp, Entries: []Entry{{Type: config}}})
- if sm.log.lastIndex() != 1 {
- t.Errorf("lastindex = %d, want %d", sm.log.lastIndex(), 1)
- }
- }
- func TestAllServerStepdown(t *testing.T) {
- tests := []stateType{stateFollower, stateCandidate, stateLeader}
- want := struct {
- state stateType
- term int
- index int
- }{stateFollower, 3, 1}
- tmsgTypes := [...]messageType{msgVote, msgApp}
- tterm := 3
- for i, tt := range tests {
- sm := newStateMachine(0, []int{0, 1, 2})
- switch tt {
- case stateFollower:
- sm.becomeFollower(1, 0)
- case stateCandidate:
- sm.becomeCandidate()
- case stateLeader:
- sm.becomeCandidate()
- sm.becomeLeader()
- }
- for j, msgType := range tmsgTypes {
- sm.Step(Message{Type: msgType, Term: tterm, LogTerm: tterm})
- if sm.state != want.state {
- t.Errorf("#%d.%d state = %v , want %v", i, j, sm.state, want.state)
- }
- if sm.term != want.term {
- t.Errorf("#%d.%d term = %v , want %v", i, j, sm.term, want.term)
- }
- if len(sm.log.ents) != want.index {
- t.Errorf("#%d.%d index = %v , want %v", i, j, len(sm.log.ents), want.index)
- }
- }
- }
- }
- func TestLeaderAppResp(t *testing.T) {
- tests := []struct {
- index int
- wmsgNum int
- windex int
- wcommitted int
- }{
- {-1, 1, 1, 0}, // bad resp; leader does not commit; reply with log entries
- {2, 2, 2, 2}, // good resp; leader commits; broadcast with commit index
- }
- for i, tt := range tests {
- // sm term is 1 after it becomes the leader.
- // thus the last log term must be 1 to be committed.
- sm := newStateMachine(0, []int{0, 1, 2})
- sm.log = &log{ents: []Entry{{}, {Term: 0}, {Term: 1}}}
- sm.becomeCandidate()
- sm.becomeLeader()
- sm.Step(Message{From: 1, Type: msgAppResp, Index: tt.index, Term: sm.term})
- msgs := sm.Msgs()
- if len(msgs) != tt.wmsgNum {
- t.Errorf("#%d msgNum = %d, want %d", i, len(msgs), tt.wmsgNum)
- }
- for j, msg := range msgs {
- if msg.Index != tt.windex {
- t.Errorf("#%d.%d index = %d, want %d", i, j, msg.Index, tt.windex)
- }
- if msg.Commit != tt.wcommitted {
- t.Errorf("#%d.%d commit = %d, want %d", i, j, msg.Commit, tt.wcommitted)
- }
- }
- }
- }
- // tests the output of the statemachine when receiving msgBeat
- func TestRecvMsgBeat(t *testing.T) {
- tests := []struct {
- state stateType
- wMsg int
- }{
- {stateLeader, 2},
- // candidate and follower should ignore msgBeat
- {stateCandidate, 0},
- {stateFollower, 0},
- }
- for i, tt := range tests {
- sm := newStateMachine(0, []int{0, 1, 2})
- sm.log = &log{ents: []Entry{{}, {Term: 0}, {Term: 1}}}
- sm.term = 1
- sm.state = tt.state
- sm.Step(Message{Type: msgBeat})
- msgs := sm.Msgs()
- if len(msgs) != tt.wMsg {
- t.Errorf("%d: len(msgs) = %d, want %d", i, len(msgs), tt.wMsg)
- }
- for _, m := range msgs {
- if m.Type != msgApp {
- t.Errorf("%d: msg.type = %v, want %v", m.Type, msgApp)
- }
- }
- }
- }
- func ents(terms ...int) *stateMachine {
- ents := []Entry{{}}
- for _, term := range terms {
- ents = append(ents, Entry{Term: term})
- }
- sm := &stateMachine{log: &log{ents: ents}}
- sm.reset()
- return sm
- }
- type network struct {
- peers []Interface
- dropm map[connem]float64
- }
- // newNetwork initializes a network from peers. A nil node will be replaced
- // with a new *stateMachine. A *stateMachine will get its k, addr.
- func newNetwork(peers ...Interface) *network {
- peerAddrs := make([]int, len(peers))
- for i := range peers {
- peerAddrs[i] = i
- }
- for addr, p := range peers {
- switch v := p.(type) {
- case nil:
- sm := newStateMachine(addr, peerAddrs)
- peers[addr] = sm
- case *stateMachine:
- v.addr = addr
- v.ins = make(map[int]*index)
- for i := range peerAddrs {
- v.ins[i] = &index{}
- }
- v.reset()
- }
- }
- return &network{peers: peers, dropm: make(map[connem]float64)}
- }
- func (nw *network) send(msgs ...Message) {
- for len(msgs) > 0 {
- m := msgs[0]
- p := nw.peers[m.To]
- p.Step(m)
- msgs = append(msgs[1:], nw.filter(p.Msgs())...)
- }
- }
- func (nw *network) drop(from, to int, perc float64) {
- nw.dropm[connem{from, to}] = perc
- }
- func (nw *network) cut(one, other int) {
- nw.drop(one, other, 1)
- nw.drop(other, one, 1)
- }
- func (nw *network) isolate(addr int) {
- for i := 0; i < len(nw.peers); i++ {
- if i != addr {
- nw.drop(addr, i, 1.0)
- nw.drop(i, addr, 1.0)
- }
- }
- }
- func (nw *network) recover() {
- nw.dropm = make(map[connem]float64)
- }
- func (nw *network) filter(msgs []Message) []Message {
- mm := make([]Message, 0)
- for _, m := range msgs {
- switch m.Type {
- case msgHup:
- // hups never go over the network, so don't drop them but panic
- panic("unexpected msgHup")
- default:
- perc := nw.dropm[connem{m.From, m.To}]
- if n := rand.Float64(); n < perc {
- continue
- }
- }
- mm = append(mm, m)
- }
- return mm
- }
- type connem struct {
- from, to int
- }
- type blackHole struct{}
- func (blackHole) Step(Message) {}
- func (blackHole) Msgs() []Message { return nil }
- var nopStepper = &blackHole{}
|