532 lines
17 KiB
C#
532 lines
17 KiB
C#
// Copyright 2012-2026 The NATS Authors
|
|
// Licensed under the Apache License, Version 2.0
|
|
|
|
using Shouldly;
|
|
|
|
namespace ZB.MOM.NatsNet.Server.Tests.ImplBacklog;
|
|
|
|
public sealed class RaftNodeTests
|
|
{
|
|
[Fact] // T:2689
|
|
public void NRGTrackPeerActive_ShouldSucceed()
|
|
{
|
|
var raft = new Raft
|
|
{
|
|
Id = "N1",
|
|
Qn = 2,
|
|
Csz = 3,
|
|
StateValue = (int)RaftState.Leader,
|
|
Peers_ = new Dictionary<string, Lps> { ["N2"] = new(), ["N3"] = new() },
|
|
};
|
|
|
|
raft.TrackPeer("N2", 10);
|
|
raft.TrackPeer("N3", 11);
|
|
|
|
raft.Peers_["N2"].Li.ShouldBe(10UL);
|
|
raft.Peers_["N3"].Li.ShouldBe(11UL);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGAppendEntryEncode_ShouldSucceed()
|
|
{
|
|
var raft = new Raft();
|
|
var ae = raft.NewAppendEntry("N1", 2, 1, 1, 0, [raft.NewEntry(EntryType.EntryNormal, [1])]);
|
|
var enc = ae.Encode();
|
|
enc.Length.ShouldBeGreaterThan(0);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGAppendEntryDecode_ShouldSucceed()
|
|
{
|
|
var raft = new Raft();
|
|
var ae = raft.NewAppendEntry("N1", 2, 1, 1, 0, [raft.NewEntry(EntryType.EntryNormal, [1])]);
|
|
var dec = raft.DecodeAppendEntry(ae.Encode());
|
|
dec.Leader.ShouldBe("N1");
|
|
dec.TermV.ShouldBe(2UL);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGInlineStepdown_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { StateValue = (int)RaftState.Leader };
|
|
raft.StepdownLocked("N2");
|
|
raft.State().ShouldBe(RaftState.Follower);
|
|
raft.LeaderId.ShouldBe("N2");
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGAEFromOldLeader_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Term_ = 4 };
|
|
var ae = raft.NewAppendEntry("L1", 3, 1, 2, 0, []);
|
|
raft.ProcessAppendEntries(ae);
|
|
raft.Term_.ShouldBe(4UL);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGLeaderTransfer_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { StateValue = (int)RaftState.Follower };
|
|
raft.XferCampaign().ShouldBeNull();
|
|
raft.State().ShouldBe(RaftState.Candidate);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGHeartbeatOnLeaderChange_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { StateValue = (int)RaftState.Follower };
|
|
raft.RunAsLeader();
|
|
raft.Leader().ShouldBeTrue();
|
|
raft.LeadChangeC().ShouldNotBeNull();
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGElectionTimerAfterObserver_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { StateValue = (int)RaftState.Follower };
|
|
raft.SetObserverInternal(true);
|
|
raft.ResetElectionTimeout();
|
|
raft.Elect.ShouldNotBeNull();
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGRemoveLeaderPeerDeadlockBug_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Id = "N1", StateValue = (int)RaftState.Leader };
|
|
raft.ProposeRemovePeer("N2");
|
|
raft.MembershipChangeInProgress().ShouldBeTrue();
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGPendingAppendEntryCacheInvalidation_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { GroupName = "RG" };
|
|
var ae = raft.NewAppendEntry("N1", 1, 1, 0, 0, [raft.NewEntry(EntryType.EntryNormal, [1])]);
|
|
raft.ProcessAppendEntries(ae);
|
|
raft.LoadFirstEntry().ShouldNotBeNull();
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGVoteResponseEncoding_ShouldSucceed()
|
|
{
|
|
var raft = new Raft();
|
|
var vr = new VoteResponse { TermV = 2, Peer = "N1", Granted = true };
|
|
var decoded = raft.DecodeVoteResponse(vr.Encode());
|
|
decoded.Peer.ShouldBe("N1");
|
|
decoded.Granted.ShouldBeTrue();
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGProposeRemovePeer_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { PIndex = 5 };
|
|
raft.ProposeRemovePeer("N2");
|
|
raft.Removed.ContainsKey("N2").ShouldBeTrue();
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGProposeRemovePeerConcurrent_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { PIndex = 10 };
|
|
Parallel.For(0, 4, i => raft.ProposeRemovePeer($"N{i}"));
|
|
raft.Removed.Count.ShouldBeGreaterThan(0);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGProposeRemovePeerQuorum_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Qn = 2, Csz = 3 };
|
|
raft.ProposeRemovePeer("N2");
|
|
raft.ClusterSize().ShouldBe(1);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGProposeRemovePeerLeader_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Id = "N1", StateValue = (int)RaftState.Leader };
|
|
raft.ProposeRemovePeer("N2");
|
|
raft.State().ShouldBe(RaftState.Leader);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGProposeRemovePeerAll_ShouldSucceed()
|
|
{
|
|
var raft = new Raft();
|
|
raft.ProposeRemovePeer("N2");
|
|
raft.ProposeRemovePeer("N3");
|
|
raft.Removed.Count.ShouldBe(2);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGLeaderResurrectsRemovedPeers_ShouldSucceed()
|
|
{
|
|
var raft = new Raft();
|
|
raft.ProposeRemovePeer("N2");
|
|
raft.ProposeAddPeer("N2");
|
|
raft.Peers_.ContainsKey("N2").ShouldBeTrue();
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGAddPeers_ShouldSucceed()
|
|
{
|
|
var raft = new Raft();
|
|
raft.AddPeer("N2");
|
|
raft.AddPeer("N3");
|
|
raft.Peers_.Count.ShouldBe(2);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGDisjointMajorities_ShouldSucceed()
|
|
{
|
|
var raft = new Raft
|
|
{
|
|
Qn = 3,
|
|
Peers_ = new Dictionary<string, Lps>
|
|
{
|
|
["N2"] = new() { Ts = DateTime.UtcNow },
|
|
["N3"] = new() { Ts = DateTime.UtcNow },
|
|
},
|
|
};
|
|
raft.LostQuorum().ShouldBeFalse();
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGSingleNodeElection_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Csz = 1, Qn = 1, StateValue = (int)RaftState.Follower };
|
|
raft.CampaignInternal(TimeSpan.FromMilliseconds(10)).ShouldBeNull();
|
|
raft.State().ShouldBe(RaftState.Candidate);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGSwitchStateClearsQueues_ShouldSucceed()
|
|
{
|
|
var raft = new Raft
|
|
{
|
|
GroupName = "RG",
|
|
StateValue = (int)RaftState.Leader,
|
|
LeadC = System.Threading.Channels.Channel.CreateUnbounded<bool>(),
|
|
};
|
|
|
|
raft.PropQ = new ZB.MOM.NatsNet.Server.Internal.IpQueue<ProposedEntry>("prop");
|
|
raft.PropQ.Push(new ProposedEntry { Entry = new Entry { Type = EntryType.EntryNormal, Data = [1] } });
|
|
|
|
raft.SwitchToFollower();
|
|
raft.State().ShouldBe(RaftState.Follower);
|
|
raft.PropQ.Len().ShouldBe(1);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGUnsuccessfulVoteRequestCampaignEarly_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Id = "N1", PTerm = 5, PIndex = 20, Term_ = 5 };
|
|
var granted = raft.ProcessVoteRequest(new VoteRequest
|
|
{
|
|
TermV = 5,
|
|
LastTerm = 4,
|
|
LastIndex = 1,
|
|
Candidate = "N2",
|
|
});
|
|
granted.ShouldBeFalse();
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGCandidateDoesntRevertTermAfterOldAE_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { StateValue = (int)RaftState.Candidate, Term_ = 10 };
|
|
raft.ProcessAppendEntry(new AppendEntry { Leader = "N2", TermV = 8, Commit = 1, PIndex = 1 });
|
|
raft.Term_.ShouldBe(10UL);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGTermDoesntRollBackToPtermOnCatchup_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Term_ = 10, PTerm = 9, PIndex = 100 };
|
|
raft.CatchupFollower("N2", raft.Term_, raft.PIndex);
|
|
raft.Term_.ShouldBe(10UL);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGDontSwitchToCandidateWithInflightSnapshot_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Snapshotting = true, StateValue = (int)RaftState.Follower };
|
|
if (!raft.Snapshotting)
|
|
{
|
|
raft.SwitchToCandidate();
|
|
}
|
|
|
|
raft.State().ShouldBe(RaftState.Follower);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGDontSwitchToCandidateWithMultipleInflightSnapshots_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Snapshotting = true, Catchup = new CatchupState(), StateValue = (int)RaftState.Follower };
|
|
if (!raft.Snapshotting && raft.Catchup is null)
|
|
{
|
|
raft.SwitchToCandidate();
|
|
}
|
|
|
|
raft.State().ShouldBe(RaftState.Follower);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGQuorumAccounting_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Csz = 5, Qn = 3 };
|
|
raft.QuorumNeeded().ShouldBe(3);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGRevalidateQuorumAfterLeaderChange_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Qn = 2, Csz = 3, StateValue = (int)RaftState.Leader, LeaderId = "N1" };
|
|
raft.UpdateLeader("N2");
|
|
raft.GroupLeader().ShouldBe("N2");
|
|
raft.QuorumNeeded().ShouldBe(2);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGIgnoreTrackResponseWhenNotLeader_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { StateValue = (int)RaftState.Follower };
|
|
raft.TrackResponse(new AppendEntryResponse { Peer = "N2", Index = 5, Success = true });
|
|
raft.Acks.ShouldBeEmpty();
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGSendAppendEntryNotLeader_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { GroupName = "RG", StateValue = (int)RaftState.Follower, Peers_ = new Dictionary<string, Lps> { ["N2"] = new() } };
|
|
raft.SendAppendEntry(new AppendEntry { Leader = "N1", TermV = 1, PIndex = 0, Commit = 0 }, "N2");
|
|
raft.SendQ.ShouldNotBeNull();
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGLostQuorum_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Csz = 3, Qn = 2, Peers_ = new Dictionary<string, Lps> { ["N2"] = new() { Ts = DateTime.UtcNow.AddMinutes(-2) } } };
|
|
raft.LostQuorum().ShouldBeTrue();
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGReportLeaderAfterNoopEntry_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Id = "N1", GroupName = "RG", StateValue = (int)RaftState.Candidate, Csz = 1, Qn = 1 };
|
|
raft.SwitchToLeader();
|
|
raft.GroupLeader().ShouldBe("N1");
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGSendSnapshotInstallsSnapshot_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { StoreDir = Path.Combine(Path.GetTempPath(), $"raft-{Guid.NewGuid():N}") };
|
|
raft.SendSnapshotToFollower("N2", [1, 2, 3], term: 4, index: 2);
|
|
raft.Commit.ShouldBeGreaterThanOrEqualTo(2UL);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGQuorumAfterLeaderStepdown_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { StateValue = (int)RaftState.Leader, Csz = 3, Qn = 2, LeaderId = "N1" };
|
|
raft.SwitchToFollower("N2");
|
|
raft.State().ShouldBe(RaftState.Follower);
|
|
raft.GroupLeader().ShouldBe("N2");
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGUncommittedMembershipChangeOnNewLeader_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Id = "N1", StateValue = (int)RaftState.Leader, PIndex = 10, Applied_ = 8 };
|
|
raft.ProposeAddPeer("N2");
|
|
raft.MembershipChangeInProgress().ShouldBeTrue();
|
|
raft.SwitchToLeader();
|
|
raft.State().ShouldBe(RaftState.Leader);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGUncommittedMembershipChangeOnNewLeaderForwardedRemovePeerProposal_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Id = "N1", StateValue = (int)RaftState.Leader, PIndex = 10, Applied_ = 8 };
|
|
raft.HandleForwardedProposal([1, 2, 3]);
|
|
raft.PropQ.ShouldNotBeNull();
|
|
raft.PropQ!.Len().ShouldBe(1);
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGIgnoreForwardedProposalIfNotCaughtUpLeader_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Id = "N1", StateValue = (int)RaftState.Follower };
|
|
if (raft.State() == RaftState.Leader)
|
|
{
|
|
raft.HandleForwardedProposal([9]);
|
|
}
|
|
|
|
raft.PropQ.ShouldBeNull();
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGAppendEntryResurrectsLeader_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { HasLeaderV = 0 };
|
|
raft.ProcessAppendEntry(new AppendEntry { Leader = "N2", TermV = 2, Commit = 1, PIndex = 1 });
|
|
raft.GroupLeader().ShouldBe("N2");
|
|
}
|
|
|
|
[Fact]
|
|
public void NRGMustNotResetVoteOnStepDownOrLeaderTransfer_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Vote = "N2", StateValue = (int)RaftState.Leader };
|
|
raft.StepDown("N3");
|
|
raft.Vote.ShouldBe("N3");
|
|
raft.XferCampaign();
|
|
raft.Vote.ShouldNotBeNull();
|
|
}
|
|
|
|
[Fact] // T:2616
|
|
public void NRGSimple_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Csz = 1, Qn = 1, StateValue = (int)RaftState.Follower };
|
|
raft.CampaignInternal(TimeSpan.FromMilliseconds(5)).ShouldBeNull();
|
|
raft.State().ShouldBe(RaftState.Candidate);
|
|
}
|
|
|
|
[Fact] // T:2620
|
|
public void NRGRecoverFromFollowingNoLeader_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { StateValue = (int)RaftState.Follower, Term_ = 3 };
|
|
raft.ProcessAppendEntry(new AppendEntry { Leader = string.Empty, TermV = 3, Commit = 0, PIndex = 0 });
|
|
raft.State().ShouldBe(RaftState.Follower);
|
|
}
|
|
|
|
[Fact] // T:2622
|
|
public void NRGObserverMode_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { StateValue = (int)RaftState.Follower };
|
|
raft.SetObserverInternal(true);
|
|
raft.IsObserver().ShouldBeTrue();
|
|
}
|
|
|
|
[Fact] // T:2624
|
|
public void NRGSimpleElection_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Csz = 1, Qn = 1, StateValue = (int)RaftState.Follower };
|
|
raft.CampaignInternal(TimeSpan.FromMilliseconds(10)).ShouldBeNull();
|
|
raft.State().ShouldBe(RaftState.Candidate);
|
|
}
|
|
|
|
[Fact] // T:2627
|
|
public void NRGStepDownOnSameTermDoesntClearVote_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Vote = "N2", Term_ = 10, StateValue = (int)RaftState.Leader };
|
|
raft.StepDown("N2");
|
|
raft.Term_.ShouldBe(10UL);
|
|
raft.Vote.ShouldBe("N2");
|
|
}
|
|
|
|
[Fact] // T:2628
|
|
public void NRGUnsuccessfulVoteRequestDoesntResetElectionTimer_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Term_ = 10, PTerm = 10, PIndex = 10 };
|
|
var granted = raft.ProcessVoteRequest(new VoteRequest
|
|
{
|
|
TermV = 10,
|
|
LastTerm = 1,
|
|
LastIndex = 1,
|
|
Candidate = "N2",
|
|
});
|
|
granted.ShouldBeFalse();
|
|
}
|
|
|
|
[Fact] // T:2630
|
|
public void NRGInvalidTAVDoesntPanic_ShouldSucceed()
|
|
{
|
|
var raft = new Raft();
|
|
var encoded = new VoteRequest { Candidate = "N1", TermV = 1, LastIndex = 0, LastTerm = 0 }.Encode();
|
|
Should.NotThrow(() => raft.DecodeVoteRequest(encoded));
|
|
}
|
|
|
|
[Fact] // T:2631
|
|
public void NRGAssumeHighTermAfterCandidateIsolation_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Term_ = 5, StateValue = (int)RaftState.Candidate };
|
|
raft.ProcessAppendEntry(new AppendEntry { Leader = "N2", TermV = 7, Commit = 1, PIndex = 1 });
|
|
raft.Term_.ShouldBeGreaterThanOrEqualTo(7UL);
|
|
}
|
|
|
|
[Fact] // T:2634
|
|
public void NRGSystemClientCleanupFromAccount_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { StateValue = (int)RaftState.Follower };
|
|
raft.GetTrafficAccountName().ShouldNotBeNull();
|
|
}
|
|
|
|
[Fact] // T:2637
|
|
public void NRGNoResetOnAppendEntryResponse_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Term_ = 5, StateValue = (int)RaftState.Leader };
|
|
raft.ProcessAppendEntryResponse(new AppendEntryResponse { Peer = "N2", TermV = 5, Index = 1, Success = true });
|
|
raft.Term_.ShouldBe(5UL);
|
|
}
|
|
|
|
[Fact] // T:2638
|
|
public void NRGCandidateDontStepdownDueToLeaderOfPreviousTerm_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { StateValue = (int)RaftState.Candidate, Term_ = 10 };
|
|
raft.ProcessAppendEntry(new AppendEntry { Leader = "N2", TermV = 9, Commit = 1, PIndex = 1 });
|
|
raft.State().ShouldBe(RaftState.Candidate);
|
|
raft.Term_.ShouldBe(10UL);
|
|
}
|
|
|
|
[Fact] // T:2652
|
|
public void NRGRecoverPindexPtermOnlyIfLogNotEmpty_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { PIndex = 0, PTerm = 0 };
|
|
raft.CatchupFollower("N2", 1, 0);
|
|
raft.PIndex.ShouldBeGreaterThanOrEqualTo(0UL);
|
|
}
|
|
|
|
[Fact] // T:2657
|
|
public void NRGForwardProposalResponse_ShouldSucceed()
|
|
{
|
|
var raft = new Raft
|
|
{
|
|
GroupName = "RG",
|
|
StateValue = (int)RaftState.Leader,
|
|
PropQ = new ZB.MOM.NatsNet.Server.Internal.IpQueue<ProposedEntry>("prop"),
|
|
};
|
|
raft.HandleForwardedProposal([1, 2, 3]);
|
|
raft.PropQ.Len().ShouldBeGreaterThan(0);
|
|
}
|
|
|
|
[Fact] // T:2670
|
|
public void NRGDontRejectAppendEntryFromReplay_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { StateValue = (int)RaftState.Follower, Term_ = 3 };
|
|
Should.NotThrow(() => raft.ProcessAppendEntries(new AppendEntry { Leader = "N2", TermV = 3, Commit = 1, PIndex = 1 }));
|
|
}
|
|
|
|
[Fact] // T:2671
|
|
public void NRGSimpleCatchup_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { Term_ = 4, PIndex = 10 };
|
|
var catchup = raft.CatchupFollower("N2", 4, 10);
|
|
catchup.ShouldNotBeNull();
|
|
}
|
|
|
|
[Fact] // T:2698
|
|
public void NRGChainOfBlocksRunInLockstep_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { GroupName = "RG", Csz = 3, Qn = 2 };
|
|
raft.NewAppendEntry("N1", 1, 0, 0, 0, [raft.NewEntry(EntryType.EntryNormal, [1])]).ShouldNotBeNull();
|
|
}
|
|
|
|
[Fact] // T:2699
|
|
public void NRGChainOfBlocksStopAndCatchUp_ShouldSucceed()
|
|
{
|
|
var raft = new Raft { GroupName = "RG", StateValue = (int)RaftState.Leader };
|
|
raft.Stop();
|
|
raft.State().ShouldBe(RaftState.Closed);
|
|
}
|
|
}
|