Struct LeaseTimings 

pub struct LeaseTimings { /* private fields */ }

Lease timing capability for the durable single-writer lease lanes the runtime renews on a cadence: session execution leases, process leases, and durable effect-replay leases.

Queued-work and turn-input claims are deliberately not governed by this type: they are not leases, carry no TTL, and are never renewed. A claim is live exactly while the session-execution-lease generation it pins still holds the session lease (ADR 0029), so it inherits its liveness from the session lease lane rather than from a clock.

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<LeaseTimings, 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<LeaseTimings, 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 lease claim/renew calls (session execution, process, and effect-replay leases).

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<(), Error>

Formats the value using the given formatter.

impl Default for LeaseTimings

fn default() -> LeaseTimings

Returns the “default value” for a type.

impl Eq for LeaseTimings

impl PartialEq for LeaseTimings

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LeaseTimings