Struct WriterLease 

pub struct WriterLease {
    pub database_key: String,
    pub holder_id: String,
    pub term: u64,
    pub generation: u64,
    pub acquired_at_ms: u64,
    pub expires_at_ms: u64,
}

One snapshot of who owns the writer lease for a database key.

Fields

database_key: String

holder_id: String

term: u64

Replication term the holder acquired the lease under (issue #835, ADR 0030). Tying the lease to the term is what makes a deposed primary fail closed: once a new primary acquires the lease at a higher term, the old holder’s term is behind and every term-gated op it attempts is fenced. Defaults to DEFAULT_REPLICATION_TERM when read from a legacy (pre-#835) lease object that did not carry a term, so older lease files stay readable.

generation: u64

acquired_at_ms: u64

expires_at_ms: u64

Implementations

impl WriterLease

pub fn is_expired(&self, now_ms: u64) -> bool

pub fn fenced_by_term(&self, current_term: u64) -> bool

Is this lease fenced by current_term? A holder whose lease was stamped under a term behind the cluster’s current term is a stale writer from a superseded timeline (issue #835) — it must fail closed rather than keep mutating the new timeline.

pub fn fencing_token(&self) -> (u64, u64)

The monotonic fencing token (term, generation). Both components advance forward across a legitimate handover (a new primary wins a higher term and takes a fresh lease generation), so a stale holder is ordered strictly behind on both axes (ADR 0030).

Trait Implementations

impl Clone for WriterLease

fn clone(&self) -> WriterLease

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WriterLease

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

Formats the value using the given formatter.

impl Eq for WriterLease

impl PartialEq for WriterLease

fn eq(&self, other: &WriterLease) -> 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 WriterLease