Struct MemoryAccounting 

pub struct MemoryAccounting { /* private fields */ }

The one shared accounting pool: fixed shares, live usage.

Usage is a relaxed atomic per pool. Reporting is a single store or fetch-add — no allocation, no lock, nothing a read hot path has to wait on. Relaxed is the right ordering because the counters are observability, not synchronisation: no other memory is published through them.

Implementations

impl MemoryAccounting

pub fn new(budget: MemoryBudget, profile: DeployProfile) -> MemoryAccounting

Build the pool from a resolved budget and the profile’s policy.

pub fn from_shares( budget: MemoryBudget, shares: BudgetShares, ) -> MemoryAccounting

Build the pool from shares already resolved (and already asserted).

pub fn budget(&self) -> MemoryBudget

The budget this process runs under.

pub fn shares(&self) -> BudgetShares

The shares this pool accounts against.

pub fn report(&self, pool: MemoryPool, bytes: u64)

Overwrite a pool’s live usage. The reporting shape for pools whose footprint is a measured total rather than a running delta.

pub fn charge(&self, pool: MemoryPool, bytes: u64)

Charge bytes to a pool. One relaxed fetch-add.

pub fn release(&self, pool: MemoryPool, bytes: u64)

Return bytes to a pool, saturating at zero.

Saturation rather than wrap: a double-release is a programmer error the enforcement slice will assert on, but until then an accounting counter underflowing to 18 exabytes would make red.stats lie spectacularly.

pub fn used_bytes(&self, pool: MemoryPool) -> u64

This pool’s live usage.

pub fn share_bytes(&self, pool: MemoryPool) -> u64

This pool’s share of the budget.

pub fn total_used_bytes(&self) -> u64

Σ(used) across every pool — the number the enforcement slice will gate on.

pub fn total_share_bytes(&self) -> u64

Σ(shares). Never exceeds the budget.

pub fn snapshot(&self) -> [PoolUsage; 5]

Every pool’s share and usage, in MEMORY_POOLS order.

pub fn observe_total_used(&self, total: u64)

Record a sampled total as the shared accounting high-water mark.

pub fn record_admission_denied(&self)

pub fn record_pressure_reclamation(&self, reclaimed_bytes: u64)

pub fn enforcement_snapshot(&self) -> MemoryEnforcementSnapshot

Trait Implementations

impl Debug for MemoryAccounting

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

Formats the value using the given formatter.