Struct VramLedger 

pub struct VramLedger {
    pub gpu_uuid: String,
    pub total_mb: usize,
    pub reserve_factor: f32,
    pub our_reservation_id: Option<u64>,
    /* private fields */
}

VRAM reservation ledger with flock-based mutual exclusion.

Fields

gpu_uuid: String

GPU UUID (from nvidia-smi -L).

total_mb: usize

Total GPU memory in MB.

reserve_factor: f32

Fraction of total usable (0.85 discrete, 0.60 unified).

our_reservation_id: Option<u64>

Our reservation ID if we hold one.

Implementations

impl VramLedger

pub fn new(gpu_uuid: String, total_mb: usize, reserve_factor: f32) -> Self

Create a new ledger for the specified GPU.

pub fn with_path(self, path: PathBuf) -> Self

Create a ledger at a custom path (for testing).

pub fn with_profiling(self, enabled: bool) -> Self

Enable profiling.

pub fn with_lease_hours(self, hours: i64) -> Self

Set custom lease duration.

pub fn capacity_mb(&self) -> usize

Usable VRAM capacity in MB.

pub fn total_reserved(&self) -> Result<usize, GpuError>

Total reserved VRAM across all active reservations for our GPU.

pub fn available_mb(&self) -> Result<usize, GpuError>

Available VRAM for new reservations (capacity - reserved).

pub fn try_reserve( &mut self, budget_mb: usize, task: &str, ) -> Result<u64, GpuError>

Try to reserve VRAM. Returns reservation ID on success.

Contract C-VRAM-001

Fails with GpuError::InsufficientMemory if total_reserved + budget_mb > capacity_mb.

pub fn update_actual(&mut self, actual_mb: usize) -> Result<(), GpuError>

Update the actual measured VRAM for our reservation.

pub fn release(&mut self) -> Result<(), GpuError>

Release our reservation.

pub fn read_reservations(&self) -> Result<Vec<Reservation>, GpuError>

Read all reservations for our GPU (pruned).

pub fn profiler_report(&self) -> String

Get profiler report.

Trait Implementations

impl Drop for VramLedger

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.