Struct DeviceMemBudget 

pub struct DeviceMemBudget { /* private fields */ }

Process-wide aggregate device-memory budget shared by every DeviceMemRegistry.

Tracks the sum of live allocation sizes and the count of live allocations across all instances. A registry charges this budget on insert (refusing the allocation with AbiError::QuotaExceeded when it would push the shared total over MAX_PROCESS_DEVICE_BYTES / MAX_PROCESS_DEVICE_ALLOCS) and credits it back on free / drop. All arithmetic is checked / saturating so a bookkeeping slip can never wrap the counters.

This is the device-memory analogue of the shared crate::async_dispatch::BackPressure cap: one process-wide ceiling shared by every instance. Unlike BackPressure, the default registry constructor attaches to the process_device_budget singleton automatically, so the ceiling holds even if an embedder constructs contexts without explicitly threading shared state.

Implementations

impl DeviceMemBudget

pub fn new() -> Self

Construct an empty budget. Most callers want the shared process_device_budget singleton instead; this is for tests that need an isolated budget.

pub fn total_bytes(&self) -> u64

Aggregate live device bytes across every attached registry. Visible for metrics and tests.

pub fn total_allocs(&self) -> u64

Aggregate live allocation count across every attached registry. Visible for metrics and tests.

Trait Implementations

impl Debug for DeviceMemBudget

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

Formats the value using the given formatter.

impl Default for DeviceMemBudget

fn default() -> DeviceMemBudget

Returns the “default value” for a type.