Enum RegionPolicy 

pub enum RegionPolicy {
    Immutable,
    AppendOnly {
        max_size: usize,
    },
    Slab {
        slot_size: usize,
        slot_count: usize,
    },
}

Memory region access policy.

RuVix does not implement demand paging. All regions are physically backed at region_map time. This eliminates page faults, swap, and copy-on-write complexity.

Variants

Immutable

Contents are set once at creation and never modified.

The kernel may deduplicate identical immutable regions. Ideal for: RVF component code, trained model weights, lookup tables.

AppendOnly

Contents can only be appended, never overwritten or truncated.

A monotonic write cursor tracks the append position. Ideal for: witness logs, event streams, time-series vectors.

Fields

max_size: usize

Maximum size in bytes before the region is considered full.

Slab

Fixed-size slots allocated from a free list.

Slots can be freed and reused. No fragmentation by construction. Ideal for: task control blocks, capability tables, queue ring buffers.

Fields

slot_size: usize

Size of each slot in bytes.

slot_count: usize

Total number of slots.

Implementations

impl RegionPolicy

pub const fn as_str(&self) -> &'static str

Returns the policy name as a string.

pub const fn is_writable(&self) -> bool

Returns true if this policy allows writes.

pub const fn allows_overwrite(&self) -> bool

Returns true if this policy allows in-place modifications.

Only Slab regions allow overwriting existing data. AppendOnly regions only permit appending.

pub const fn capacity(&self) -> Option<usize>

Returns the total capacity in bytes.

pub const fn immutable() -> Self

Creates an immutable region policy.

pub const fn append_only(max_size: usize) -> Self

Creates an append-only region policy.

pub const fn slab(slot_size: usize, slot_count: usize) -> Self

Creates a slab region policy.

Trait Implementations

impl Clone for RegionPolicy

fn clone(&self) -> RegionPolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RegionPolicy

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

Formats the value using the given formatter.

impl Default for RegionPolicy

fn default() -> Self

Returns the “default value” for a type.

impl Hash for RegionPolicy

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for RegionPolicy

fn eq(&self, other: &RegionPolicy) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for RegionPolicy

impl Eq for RegionPolicy

impl StructuralPartialEq for RegionPolicy