Struct VmaMap 

pub struct VmaMap { /* private fields */ }

A persistent, path-copy interval tree.

Each update only allocates the nodes on the search path. Readers retain an Arc<VmaMap> (or an Arc<VmaSnapshot>) and therefore continue to observe a coherent tree while another mutation publishes a successor root.

Implementations

impl VmaMap

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn lookup(&self, address: VirtAddr) -> Option<Arc<VmaSnapshot>>

pub fn for_each_overlapping( &self, range: VirtAddrRange, visit: impl FnMut(&Arc<VmaSnapshot>) -> bool, )

Visits every VMA intersecting range in ascending order, stopping as soon as visit returns false.

VMAs never overlap, so each subtree covers one contiguous stretch of address space and two facts prune the descent: a left subtree ends at or before its parent’s start, so it can only reach range when the parent starts after range.start; a right subtree starts at or after its parent’s end, so it holds nothing once range ends there. What is left is the search path plus the matches, without materialising the tree or touching a single reference count for a VMA that does not intersect.

pub fn lookup_range(&self, range: VirtAddrRange) -> Vec<Arc<VmaSnapshot>>

Looks up every VMA intersecting a checked range. Returned snapshots own their metadata and can safely be used after the publication lock is released or while a backend performs I/O.

pub fn contains_range(&self, start: VirtAddr, size: usize) -> bool

pub fn with_huge_page_advice( &self, range: VirtAddrRange, advice: HugePageAdvice, ) -> Option<Self>

Returns a successor root with advice applied to a fully mapped range.

Every affected interval is replaced through path-copy updates. The original root remains a complete rollback preimage until the caller publishes the successor through its address-space mutation gate.

pub fn find_free_area( &self, hint: VirtAddr, size: usize, limit: VirtAddrRange, align: usize, ) -> Option<VirtAddr>

Finds a free, aligned interval without exposing mutable tree nodes.

pub fn remove(&self, start: VirtAddr) -> Option<(Self, Arc<VmaSnapshot>)>

pub fn iter(&self) -> impl Iterator<Item = Arc<VmaSnapshot>>

Trait Implementations

impl Clone for VmaMap

fn clone(&self) -> VmaMap

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VmaMap

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

Formats the value using the given formatter.

impl Default for VmaMap

fn default() -> VmaMap

Returns the “default value” for a type.