Struct CatchUpEvidence 

pub struct CatchUpEvidence {
    pub candidate: NodeIdentity,
    pub applied_term: u64,
    pub applied_lsn: u64,
}

Evidence that a candidate has caught up enough to take ownership safely: the (term, lsn) its log has durably applied for the range. The supervisor collects this from the candidate’s per-range stream progress (issue #992) before requesting a transition; the machine admits the candidate only if this covers the CommitWatermark.

Fields

candidate: NodeIdentity

The node this evidence describes. Must match the transition target, so a planner cannot present one node’s progress to promote another.

applied_term: u64

The highest term the candidate has applied for the range.

applied_lsn: u64

The highest WAL LSN the candidate has applied for the range.

Implementations

impl CatchUpEvidence

pub fn new( candidate: NodeIdentity, applied_term: u64, applied_lsn: u64, ) -> CatchUpEvidence

pub fn covers(&self, watermark: CommitWatermark) -> bool

Does this evidence cover the watermark? The candidate must be on at least the watermark term and, on that term, have applied at least its LSN. A candidate behind on either axis is fenced out of promotion.

Trait Implementations

impl Clone for CatchUpEvidence

fn clone(&self) -> CatchUpEvidence

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CatchUpEvidence

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Eq for CatchUpEvidence

impl PartialEq for CatchUpEvidence

fn eq(&self, other: &CatchUpEvidence) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for CatchUpEvidence