Struct ManagedHeap 

pub struct ManagedHeap<T: ManagedObject> { /* private fields */ }

A dependency-correct managed heap composed from an arena and reclamation policy.

The wrapper is generic over the guest payload and lives beside the collector, so guest runtimes do not need to duplicate policy or lifecycle behavior.

Implementations

impl<T: ManagedObject> ManagedHeap<T>

pub fn tracing(cap: usize, limits: CollectionLimits) -> Result<Self, ArenaError>

Creates a heap which uses bounded tracing collection.

pub fn retaining(cap: usize) -> Result<Self, ArenaError>

Creates a heap which retains objects until explicit teardown.

pub fn allocate(&mut self, value: T) -> Result<ManagedHandle, ArenaError>

Allocates a value after checking the arena capacity and identity space.

pub fn get(&self, handle: ManagedHandle) -> Result<&T, ArenaError>

Returns a shared value reference after validating its handle.

pub fn get_mut(&mut self, handle: ManagedHandle) -> Result<&mut T, ArenaError>

Returns a mutable value reference after validating its handle.

pub fn handle(&self, id: ManagedId) -> Result<ManagedHandle, ArenaError>

Resolves a live managed identity to its generation-checked handle.

pub fn root( &mut self, handle: ManagedHandle, ) -> Result<RootedHandle, ArenaError>

Registers a validated handle as a tracing root.

pub fn release_root( &mut self, rooted: RootedHandle, ) -> Result<ManagedHandle, ArenaError>

Releases one matching root registration.

pub fn live_len(&self) -> usize

Returns the number of live managed allocations.

pub const fn policy(&self) -> ManagedHeapPolicy

Returns the selected reclamation policy.

pub const fn cycle_leak_gap(&self) -> Option<&'static str>

Describes the cycle-reclamation gap when retention is selected.

pub fn collect(&mut self) -> Result<Option<CollectionReceipt>, CollectionError>

Runs the configured reclamation policy at a safepoint.

Retaining heaps return None without mutating the arena.

pub fn teardown(&mut self) -> TeardownReceipt

Removes every object and root, returning deterministic teardown evidence.