Struct LeaseTimings 

pub struct LeaseTimings { /* private fields */ }

Lease timing capability for every durable single-writer lane the runtime claims: session execution leases, turn-input claims, queued-work claims, process leases, and durable effect-replay leases.

The TTL is the failover-latency vs false-takeover-risk knob: a shorter TTL lets a peer reclaim work from a crashed owner sooner, while a longer TTL tolerates slower renewal under load. The renew interval is how often a live owner extends its leases; the constructor enforces ttl >= 3 * renew_interval so a healthy owner always has renewal slack before its lease can expire under it.

Defaults to 30s TTL with a 10s renew interval.

Implementations

impl LeaseTimings

pub fn new( ttl: Duration, renew_interval: Duration, ) -> Result<Self, LeaseTimingsError>

Build lease timings, enforcing ttl >= 3 * renew_interval and millisecond-resolution non-zero values (leases are persisted in epoch milliseconds).

pub fn from_ttl(ttl: Duration) -> Result<Self, LeaseTimingsError>

Build lease timings from a TTL alone, deriving the renew interval as ttl / 3 (the boundary the invariant allows).

pub fn ttl(&self) -> Duration

pub fn renew_interval(&self) -> Duration

pub fn ttl_ms(&self) -> u64

TTL in epoch milliseconds, as passed to store claim/renew calls.

pub fn renew_interval_ms(&self) -> u64

Trait Implementations

impl Clone for LeaseTimings

fn clone(&self) -> LeaseTimings

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for LeaseTimings

impl Debug for LeaseTimings

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

Formats the value using the given formatter.

impl Default for LeaseTimings

fn default() -> Self

Returns the “default value” for a type.

impl Eq for LeaseTimings

impl PartialEq for LeaseTimings

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