mirror of
https://github.com/etcd-io/etcd.git
synced 2024-09-27 06:25:44 +00:00
578 lines
12 KiB
Go
578 lines
12 KiB
Go
package raft
|
|
|
|
import (
|
|
"bytes"
|
|
"fmt"
|
|
"reflect"
|
|
"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 nodes are have logs further along than 0
|
|
{
|
|
newNetwork(
|
|
nil,
|
|
&nsm{stateMachine{log: &log{ents: []Entry{{}, {Term: 1}}}}, nil},
|
|
&nsm{stateMachine{log: &log{ents: []Entry{{}, {Term: 2}}}}, nil},
|
|
&nsm{stateMachine{log: &log{ents: []Entry{{}, {Term: 1}, {Term: 3}}}}, nil},
|
|
nil,
|
|
),
|
|
stateFollower,
|
|
},
|
|
|
|
// logs converge
|
|
{
|
|
newNetwork(
|
|
&nsm{stateMachine{log: &log{ents: []Entry{{}, {Term: 1}}}}, nil},
|
|
nil,
|
|
&nsm{stateMachine{log: &log{ents: []Entry{{}, {Term: 2}}}}, nil},
|
|
&nsm{stateMachine{log: &log{ents: []Entry{{}, {Term: 1}}}}, nil},
|
|
nil,
|
|
),
|
|
stateLeader,
|
|
},
|
|
}
|
|
|
|
for i, tt := range tests {
|
|
tt.Step(Message{To: 0, Type: msgHup})
|
|
sm := tt.network.ss[0].(*nsm)
|
|
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{
|
|
Message{To: 0, Type: msgProp, Data: []byte("somedata")},
|
|
},
|
|
1,
|
|
},
|
|
{
|
|
newNetwork(nil, nil, nil),
|
|
[]Message{
|
|
Message{To: 0, Type: msgProp, Data: []byte("somedata")},
|
|
Message{To: 1, Type: msgHup},
|
|
Message{To: 1, Type: msgProp, Data: []byte("somedata")},
|
|
},
|
|
2,
|
|
},
|
|
}
|
|
|
|
for i, tt := range tests {
|
|
tt.tee = stepperFunc(func(m Message) {
|
|
t.Logf("#%d: m = %+v", i, m)
|
|
})
|
|
tt.Step(Message{To: 0, Type: msgHup})
|
|
|
|
for _, m := range tt.msgs {
|
|
tt.Step(m)
|
|
}
|
|
|
|
for j, ism := range tt.ss {
|
|
sm := ism.(*nsm)
|
|
|
|
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.Data) {
|
|
t.Errorf("#%d.%d: data = %d, want %d", i, j, ents[k].Data, m.Data)
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
func TestDualingCandidates(t *testing.T) {
|
|
a := &nsm{stateMachine{log: defaultLog()}, nil}
|
|
c := &nsm{stateMachine{log: defaultLog()}, nil}
|
|
|
|
tt := newNetwork(a, nil, c)
|
|
|
|
heal := false
|
|
next := stepperFunc(func(m Message) {
|
|
if heal {
|
|
tt.Step(m)
|
|
}
|
|
})
|
|
a.next = next
|
|
c.next = next
|
|
|
|
tt.tee = stepperFunc(func(m Message) {
|
|
t.Logf("m = %+v", m)
|
|
})
|
|
tt.Step(Message{To: 0, Type: msgHup})
|
|
tt.Step(Message{To: 2, Type: msgHup})
|
|
|
|
t.Log("healing")
|
|
heal = true
|
|
tt.Step(Message{To: 2, Type: msgHup})
|
|
|
|
tests := []struct {
|
|
sm *nsm
|
|
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)
|
|
}
|
|
}
|
|
if g := diffLogs(defaultLog().ents, tt.logs()); g != nil {
|
|
for _, diff := range g {
|
|
t.Errorf("bag log:\n%s", diff)
|
|
}
|
|
}
|
|
}
|
|
|
|
func TestCandidateConcede(t *testing.T) {
|
|
a := &nsm{stateMachine{log: defaultLog()}, nil}
|
|
|
|
tt := newNetwork(a, nil, nil)
|
|
tt.tee = stepperFunc(func(m Message) {
|
|
t.Logf("m = %+v", m)
|
|
})
|
|
|
|
a.next = nopStepper
|
|
|
|
tt.Step(Message{To: 0, Type: msgHup})
|
|
tt.Step(Message{To: 2, Type: msgHup})
|
|
|
|
// heal the partition
|
|
a.next = tt
|
|
|
|
data := []byte("force follower")
|
|
// send a proposal to 2 to flush out a msgApp to 0
|
|
tt.Step(Message{To: 2, Type: msgProp, Data: data})
|
|
|
|
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 := []Entry{{}, {Term: 1, Data: data}}
|
|
if g := diffLogs(wantLog, tt.logs()); g != nil {
|
|
for _, diff := range g {
|
|
t.Errorf("bag log:\n%s", diff)
|
|
}
|
|
}
|
|
}
|
|
|
|
func TestOldMessages(t *testing.T) {
|
|
tt := newNetwork(nil, nil, nil)
|
|
// make 0 leader @ term 3
|
|
tt.Step(Message{To: 0, Type: msgHup})
|
|
tt.Step(Message{To: 1, Type: msgHup})
|
|
tt.Step(Message{To: 0, Type: msgHup})
|
|
// pretend we're an old leader trying to make progress
|
|
tt.Step(Message{To: 0, Type: msgApp, Term: 1, Entries: []Entry{{Term: 1}}})
|
|
if g := diffLogs(defaultLog().ents, tt.logs()); g != nil {
|
|
for _, diff := range g {
|
|
t.Errorf("bag log:\n%s", diff)
|
|
}
|
|
}
|
|
}
|
|
|
|
// 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 {
|
|
tt.tee = stepperFunc(func(m Message) {
|
|
t.Logf("#%d: m = %+v", i, m)
|
|
})
|
|
|
|
step := stepperFunc(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.Step(m)
|
|
})
|
|
|
|
data := []byte("somedata")
|
|
|
|
// promote 0 the leader
|
|
step(Message{To: 0, Type: msgHup})
|
|
step(Message{To: 0, Type: msgProp, Data: data})
|
|
|
|
var wantLog []Entry
|
|
if tt.success {
|
|
wantLog = []Entry{{}, {Term: 1, Data: data}}
|
|
} else {
|
|
wantLog = defaultLog().ents
|
|
}
|
|
if g := diffLogs(wantLog, tt.logs()); g != nil {
|
|
for _, diff := range g {
|
|
t.Errorf("#%d: diff:%s", i, diff)
|
|
}
|
|
}
|
|
sm := tt.network.ss[0].(*nsm)
|
|
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 {
|
|
tt.tee = stepperFunc(func(m Message) {
|
|
t.Logf("#%d: m = %+v", i, m)
|
|
})
|
|
|
|
// promote 0 the leader
|
|
tt.Step(Message{To: 0, Type: msgHup})
|
|
|
|
// propose via follower
|
|
tt.Step(Message{To: 1, Type: msgProp, Data: []byte("somedata")})
|
|
|
|
wantLog := []Entry{{}, {Term: 1, Data: data}}
|
|
if g := diffLogs(wantLog, tt.logs()); g != nil {
|
|
for _, diff := range g {
|
|
t.Errorf("#%d: bad entry: %s", i, diff)
|
|
}
|
|
}
|
|
sm := tt.ss[0].(*nsm)
|
|
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
|
|
}{
|
|
// 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([]*index, len(tt.matches))
|
|
for j := 0; j < len(ins); j++ {
|
|
ins[j] = &index{tt.matches[j], tt.matches[j] + 1}
|
|
}
|
|
sm := &stateMachine{log: &log{ents: tt.logs}, ins: ins, k: len(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 {
|
|
i, term int
|
|
w int
|
|
}{
|
|
{0, 0, -1},
|
|
{0, 1, -1},
|
|
{0, 2, -1},
|
|
{0, 3, 2},
|
|
|
|
{1, 0, -1},
|
|
{1, 1, -1},
|
|
{1, 2, -1},
|
|
{1, 3, 2},
|
|
|
|
{2, 0, -1},
|
|
{2, 1, -1},
|
|
{2, 2, 2},
|
|
{2, 3, 2},
|
|
|
|
{3, 0, -1},
|
|
{3, 1, -1},
|
|
{3, 2, 2},
|
|
{3, 3, 2},
|
|
}
|
|
|
|
for i, tt := range tests {
|
|
called := false
|
|
sm := &nsm{stateMachine{log: &log{ents: []Entry{{}, {Term: 2}, {Term: 2}}}}, nil}
|
|
sm.next = stepperFunc(func(m Message) {
|
|
called = true
|
|
if m.Index != tt.w {
|
|
t.Errorf("#%d, m.Index = %d, want %d", i, m.Index, tt.w)
|
|
}
|
|
})
|
|
sm.Step(Message{Type: msgVote, Index: tt.i, LogTerm: tt.term})
|
|
if !called {
|
|
t.Fatal("#%d: not called", i)
|
|
}
|
|
}
|
|
}
|
|
|
|
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(3, 0)
|
|
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 TestLogDiff(t *testing.T) {
|
|
a := []Entry{{}, {Term: 1}, {Term: 2}}
|
|
b := []Entry{{}, {Term: 1}, {Term: 2}}
|
|
c := []Entry{{}, {Term: 2}}
|
|
d := []Entry(nil)
|
|
|
|
w := []diff{
|
|
diff{1, []*Entry{{Term: 1}, {Term: 1}, {Term: 2}, nilLogEntry}},
|
|
diff{2, []*Entry{{Term: 2}, {Term: 2}, noEntry, nilLogEntry}},
|
|
}
|
|
|
|
if g := diffLogs(a, [][]Entry{b, c, d}); !reflect.DeepEqual(w, g) {
|
|
t.Errorf("g = %s", g)
|
|
t.Errorf("want %s", w)
|
|
}
|
|
}
|
|
|
|
type network struct {
|
|
tee Interface
|
|
ss []Interface
|
|
}
|
|
|
|
// newNetwork initializes a network from nodes. A nil node will be replaced
|
|
// with a new *stateMachine. A *stateMachine will get its k, addr, and next
|
|
// fields set.
|
|
func newNetwork(nodes ...Interface) *network {
|
|
nt := &network{ss: nodes}
|
|
for i, n := range nodes {
|
|
switch v := n.(type) {
|
|
case nil:
|
|
nt.ss[i] = &nsm{*newStateMachine(len(nodes), i), nt}
|
|
case *nsm:
|
|
v.k = len(nodes)
|
|
v.addr = i
|
|
if v.next == nil {
|
|
v.next = nt
|
|
}
|
|
default:
|
|
nt.ss[i] = v
|
|
}
|
|
}
|
|
return nt
|
|
}
|
|
|
|
func (nt network) Step(m Message) {
|
|
if nt.tee != nil {
|
|
nt.tee.Step(m)
|
|
}
|
|
nt.ss[m.To].Step(m)
|
|
}
|
|
|
|
// logs returns all logs in nt prepended with want. If a node is not a
|
|
// *stateMachine, its log will be nil.
|
|
func (nt network) logs() [][]Entry {
|
|
ls := make([][]Entry, len(nt.ss))
|
|
for i, node := range nt.ss {
|
|
if sm, ok := node.(*nsm); ok {
|
|
ls[i] = sm.log.ents
|
|
}
|
|
}
|
|
return ls
|
|
}
|
|
|
|
type diff struct {
|
|
i int
|
|
ents []*Entry // pointers so they can be nil for N/A
|
|
}
|
|
|
|
var noEntry = &Entry{}
|
|
var nilLogEntry = &Entry{}
|
|
|
|
func (d diff) String() string {
|
|
s := fmt.Sprintf("[%d] ", d.i)
|
|
for i, e := range d.ents {
|
|
switch e {
|
|
case nilLogEntry:
|
|
s += fmt.Sprintf("o")
|
|
case noEntry:
|
|
s += fmt.Sprintf("-")
|
|
case nil:
|
|
s += fmt.Sprintf("<nil>")
|
|
default:
|
|
s += fmt.Sprintf("<%d:%q>", e.Term, string(e.Data))
|
|
}
|
|
if i != len(d.ents)-1 {
|
|
s += "\t\t"
|
|
}
|
|
}
|
|
return s
|
|
}
|
|
|
|
func diffLogs(base []Entry, logs [][]Entry) []diff {
|
|
var (
|
|
d []diff
|
|
max int
|
|
)
|
|
logs = append([][]Entry{base}, logs...)
|
|
for _, log := range logs {
|
|
if l := len(log); l > max {
|
|
max = l
|
|
}
|
|
}
|
|
ediff := func(i int) (result []*Entry) {
|
|
e := make([]*Entry, len(logs))
|
|
found := false
|
|
for j, log := range logs {
|
|
if log == nil {
|
|
e[j] = nilLogEntry
|
|
continue
|
|
}
|
|
if len(log) <= i {
|
|
e[j] = noEntry
|
|
found = true
|
|
continue
|
|
}
|
|
e[j] = &log[i]
|
|
if j > 0 {
|
|
switch prev := e[j-1]; {
|
|
case prev == nilLogEntry:
|
|
case prev == noEntry:
|
|
case !reflect.DeepEqual(prev, e[j]):
|
|
found = true
|
|
}
|
|
}
|
|
}
|
|
if found {
|
|
return e
|
|
}
|
|
return nil
|
|
}
|
|
for i := 0; i < max; i++ {
|
|
if e := ediff(i); e != nil {
|
|
d = append(d, diff{i, e})
|
|
}
|
|
}
|
|
return d
|
|
}
|
|
|
|
type stepperFunc func(Message)
|
|
|
|
func (f stepperFunc) Step(m Message) { f(m) }
|
|
|
|
var nopStepper = stepperFunc(func(Message) {})
|
|
|
|
type nsm struct {
|
|
stateMachine
|
|
next Interface
|
|
}
|
|
|
|
func (n *nsm) Step(m Message) {
|
|
(&n.stateMachine).Step(m)
|
|
ms := n.Msgs()
|
|
for _, m := range ms {
|
|
n.next.Step(m)
|
|
}
|
|
}
|
|
|
|
func defaultLog() *log {
|
|
return &log{ents: []Entry{{}}}
|
|
}
|