Struct ProcessLease 

pub struct ProcessLease {
    pub schema_version: u32,
    pub process_id: ProcessId,
    pub owner_id: String,
    pub lease_token: String,
    pub fencing_token: u64,
    pub claimed_at_epoch_ms: u64,
    pub expires_at_epoch_ms: u64,
}

Durable lease over a non-terminal background process.

The lease pair (owner_id, lease_token) plus fencing_token are how lash guarantees that one non-terminal process is re-executed by exactly one worker at a time — even after a crash, even across two workers that both sweep the same registry for recoverable work. The durable backend (lash-sqlite-store) uses these to serialize concurrent claims on the same process_id; future distributed durable backends use the same fields to coordinate workers that don’t share a file system.

This is not single-process theatre. The owner / fencing-token / lease-token triple is the public contract that lets any backend detect and reject stale writers. Treat it as load-bearing, not defensive.

Fields

schema_version: u32

process_id: ProcessId

owner_id: String

lease_token: String

fencing_token: u64

claimed_at_epoch_ms: u64

expires_at_epoch_ms: u64

Trait Implementations

impl Clone for ProcessLease

fn clone(&self) -> ProcessLease

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProcessLease

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProcessLease

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProcessLease

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.