Class SafetyInvariantChecker

java.lang.Object

org.j7m.middleware.consensus.SafetyInvariantChecker

public final class SafetyInvariantChecker
extends Object

Checks Raft-like safety invariants over deterministic simulation state.

Constructor Summary

Constructors

Constructor	Description
SafetyInvariantChecker()	Creates a checker.

Method Summary

Modifier and Type	Method	Description
org.j7m.middleware.api.consensus.ConsensusSafetyReport	check(List<ConsensusNode> nodes, List<String> staleLeaderEvidence)	Checks all supported invariants.
org.j7m.middleware.api.consensus.ConsensusSafetyReport	check(List<ConsensusNode> nodes, List<String> staleLeaderEvidence, List<org.j7m.middleware.consensus.ConsensusHistoryEvent> history)	Checks all supported invariants using current node state and bounded historical transition evidence.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SafetyInvariantChecker

public SafetyInvariantChecker()

Creates a checker.

Method Details

check

public org.j7m.middleware.api.consensus.ConsensusSafetyReport check(List<ConsensusNode> nodes,
 List<String> staleLeaderEvidence)

Checks all supported invariants.

Parameters:

nodes - nodes

staleLeaderEvidence - safe stale-leader rejection evidence records

Returns:

safety report

check

public org.j7m.middleware.api.consensus.ConsensusSafetyReport check(List<ConsensusNode> nodes,
 List<String> staleLeaderEvidence,
 List<org.j7m.middleware.consensus.ConsensusHistoryEvent> history)

Checks all supported invariants using current node state and bounded historical transition evidence.

Parameters:

nodes - nodes

staleLeaderEvidence - safe stale-leader rejection evidence records

history - bounded transition history

Returns:

safety report