Struct Lease 

pub struct Lease {
    pub effect_id: EffectId,
    pub owner: WorkerId,
    pub epoch: u64,
    pub expires_at: SystemTime,
}

Proof of holding an effect’s execution lease.

Every acquisition increments the record’s lease epoch. A store accepts a lease only while the record still carries its owner and epoch and it has not expired. That fences off a worker whose lease was taken over: all its later writes fail with StoreError::LeaseLost.

Fields

effect_id: EffectId

The effect the lease is for.

owner: WorkerId

The holder.

epoch: u64

The fencing token.

expires_at: SystemTime

When the lease lapses unless renewed.

Trait Implementations

impl Clone for Lease

fn clone(&self) -> Lease

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Lease

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Lease

fn deserialize<__D>( __deserializer: __D, ) -> Result<Lease, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Lease

impl PartialEq for Lease

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Lease

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Lease