Struct MemLease 

pub struct MemLease { /* private fields */ }

A memory lease that auto-frees on drop.

Wraps a FabricMem handle with RAII lifecycle management. When the MemLease is dropped, the underlying resource will be released (once the host provides an explicit fbmu_free() call).

Created via MemBuilder::acquire.

Examples

use grafos_std::mem::MemBuilder;

let lease = MemBuilder::new().min_bytes(4096).acquire()?;
lease.mem().write(0, b"leased memory")?;
// lease is freed when it goes out of scope

Implementations

impl MemLease

pub fn mem(&self) -> &FabricMem

Access the underlying FabricMem handle for I/O operations.

pub fn info(&self) -> LeaseInfo

Lease metadata snapshot (id, creation time, expiry, and status).

pub fn lease_id(&self) -> u128

Unique lease identifier.

pub fn created_at_unix_secs(&self) -> u64

Lease creation timestamp (unix seconds).

pub fn expires_at_unix_secs(&self) -> u64

Lease expiry timestamp (unix seconds).

pub fn status(&self) -> LeaseStatus

Current lease status.

pub fn renew(&self, duration_secs: u64) -> Result<()>

Renew the lease TTL by duration_secs.

Extends expires_at to at least now + duration_secs.

pub fn free(&self)

Explicitly revoke/free this lease.

Trait Implementations

impl Debug for MemLease

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

Formats the value using the given formatter.

impl Drop for MemLease

fn drop(&mut self)

Executes the destructor for this type.