Enum SplitLossReason 

#[non_exhaustive]
pub enum SplitLossReason {
    Fenced,
    Starved,
    Revoked,
}

Why a split lease was lost involuntarily (the reason label on spate_coordination_split_losses_total).

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Fenced

A write was rejected — a peer holds a higher lease epoch.

Starved

Self-fenced: no successful lease write for a full lease duration.

Revoked

A cooperative drain that never completed, so this worker forced its own release. Either the leader had stopped assigning the split and the source declined or outran drain_deadline, or the leader took the revocation back (RevocationOutcome::Cancelled) and the drain it left behind then went a full drain_deadline without committing anything — a stalled drain releases too, or the split would stay owned with nothing reading it.

The split’s uncommitted tail replays under its next owner (for the cancelled case, usually this same worker): the bounded-replay outcome the cooperative path exists to avoid, and therefore a signal that drain_deadline is too tight for this source’s commit interval, or that a lane is wedged.

Narrower than RevocationOutcome::Forced, which also covers a revocation whose split was fenced away mid-drain; that one is lost as Fenced, because a peer — not this worker — ended the tenancy.

Trait Implementations

impl Clone for SplitLossReason

fn clone(&self) -> SplitLossReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SplitLossReason

impl Debug for SplitLossReason

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

Formats the value using the given formatter.

impl Eq for SplitLossReason

impl PartialEq for SplitLossReason

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SplitLossReason