Uses of Record Class
com.loomcache.server.consensus.RaftInvariantChecker.InvariantResult

Packages that use RaftInvariantChecker.InvariantResult

Package	Description
com.loomcache.server.consensus

Uses of RaftInvariantChecker.InvariantResult in com.loomcache.server.consensus

Methods in com.loomcache.server.consensus that return RaftInvariantChecker.InvariantResult

Modifier and Type	Method	Description
static RaftInvariantChecker.InvariantResult	RaftInvariantChecker.checkCommitIndexMonotonicity(long oldIndex, long newIndex)	Check Commit Index Monotonicity: commitIndex never decreases.
static RaftInvariantChecker.InvariantResult	RaftInvariantChecker.checkElectionSafety(List<RaftNode> nodes)	Check Election Safety: at most one leader per term across a list of nodes.
static RaftInvariantChecker.InvariantResult	RaftInvariantChecker.checkFencingTokenMonotonicity(long oldToken, long newToken)	Check Fencing Token Monotonicity: a fencing token never decreases.
static RaftInvariantChecker.InvariantResult	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.
static RaftInvariantChecker.InvariantResult	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.
static RaftInvariantChecker.InvariantResult	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.
static RaftInvariantChecker.InvariantResult	RaftInvariantChecker.checkTermMonotonicity(long oldTerm, long newTerm)	Check Term Monotonicity: currentTerm never decreases.
static RaftInvariantChecker.InvariantResult	RaftInvariantChecker.InvariantResult.ok()
static RaftInvariantChecker.InvariantResult	RaftInvariantChecker.InvariantResult.violation(String msg)