Uses of Record Class
com.loomcache.server.consensus.RaftInvariantChecker.InvariantResult
Packages that use RaftInvariantChecker.InvariantResult
-
Uses of RaftInvariantChecker.InvariantResult in com.loomcache.server.consensus
Methods in com.loomcache.server.consensus that return RaftInvariantChecker.InvariantResultModifier and TypeMethodDescriptionRaftInvariantChecker.checkCommitIndexMonotonicity(long oldIndex, long newIndex) Check Commit Index Monotonicity: commitIndex never decreases.RaftInvariantChecker.checkElectionSafety(List<RaftNode> nodes) Check Election Safety: at most one leader per term across a list of nodes.RaftInvariantChecker.checkFencingTokenMonotonicity(long oldToken, long newToken) Check Fencing Token Monotonicity: a fencing token never decreases.RaftInvariantChecker.checkLeaderCompleteness(RaftNode leader, long commitIndex) Check Leader Completeness: if a log entry is committed, it is present in logs of all current and future leaders.RaftInvariantChecker.checkLogMatching(RaftLog log1, RaftLog log2) Check Log Matching Property: if two logs contain an entry with the same index and term, all entries preceding that index are identical.RaftInvariantChecker.checkStateMachineSafety(RaftLog log) Check State Machine Safety (basic): verify that the same state machine entry is not applied at the same index with different commands.RaftInvariantChecker.checkTermMonotonicity(long oldTerm, long newTerm) Check Term Monotonicity: currentTerm never decreases.RaftInvariantChecker.InvariantResult.ok()