Struct LeaseFile 

struct LeaseFile {

    instance_id: String,
    owner_boot_id: String,
    block_id: String,
    session_id: Option<String>,
    pid: u32,
    acquired_at_ms: i64,
    renewed_at_ms: i64,
    epoch: u64,
    hostname: String,
    pid_start_s: u64,
    channel: String,
    version: String,
    claim_id: String,
}

Fields

instance_id: String

owner_boot_id: String

block_id: String

session_id: Option<String>

Informational only — NOT the lease key (see module doc comment and the analysis doc’s Open Question this resolves: a session_id can be None on an agent’s first-ever turn, which would leave that exact case unprotected if it were the key).

pid: u32

acquired_at_ms: i64

renewed_at_ms: i64

epoch: u64

hostname: String

pid_start_s: u64

Holder process start time, seconds since the Unix epoch (sysinfo). 0 = unknown. Distinguishes a reused pid from the original holder.

channel: String

version: String

claim_id: String

Fresh for every successful claim, including a same-block re-claim. Only the handle carrying the current value may renew, verify or release: a controller replaced for the same block (a forced restart) re-claims before the old process’s exit runs, and that exit must not delete — or be fenced by — the lease the new process now holds. Empty on a lease written by an older build (matches any handle).

Implementations

impl LeaseFile

fn holder(&self) -> LeaseHolder

Trait Implementations

impl Debug for LeaseFile

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LeaseFile

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for LeaseFile

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

where __S: Serializer,

Serialize this value into the given Serde serializer.