Struct InstanceCap 

pub struct InstanceCap<O = Box<Cap>> {
    pub image_hash_chain: CapHash,
    pub image_hash: CapHash,
    pub root_cnode: CapHashOrRef<O>,
    pub mem: DataCap,
    pub regs: [u64; 13],
    pub pc: u64,
    pub gas_remaining: u64,
}

Fields

image_hash_chain: CapHash

Cumulative chain hash identifying the Instance’s type.

image_hash: CapHash

Hash of the Image cap currently bound. Always content- addressed (Images are immutable).

root_cnode: CapHashOrRef<O>

Reference to the root cnode. Hash when clean / not yet promoted for mutation; an inline Owned cnode cap while the running kernel frame is mutating it.

mem: DataCap

The Instance’s read-write memory image: a dense DataCap covering the data extent [DATA_BASE, DATA_BASE + mem.size). Holds the initial content at boot and the settled (folded) content after each HALT — the immutable backing half of the Backing+View mutability model. A running engine wraps this in a transient CoW DataViewCap; at settle the View folds back into a fresh DataCap that replaces this field. Pinned (read-only) mappings are not stored here — they stay in their own Cap::Data and are mapped RO separately, so the pinned-RO gas tier is preserved.

regs: [u64; 13]

PVM register file (φ[0]..φ[12]).

pc: u64

Current PC. Zero between calls; updated to entry_pc at invoke start and to the post-execution PC on HALT.

gas_remaining: u64

Gas left after the last call, for callers that want to observe residual gas. Set to 0 between calls in V1.

Implementations

impl<O> InstanceCap<O>

pub fn mem_size(&self) -> u32

Absolute exclusive top of the data region (DATA_BASE + mem.size). The data extent [DATA_BASE, mem_size) is what the engines map; this matches the legacy mem_size field’s semantics for call sites.

pub fn mem_extent(&self) -> u64

The data extent (RW memory size above DATA_BASE) in bytes — always a PAGE_SIZE multiple.

pub fn mem_pages(&self) -> usize

The data extent as a count of PAGE_SIZE pages.

Trait Implementations

impl<O> Archive for InstanceCap<O>

where CapHash: Archive, CapHashOrRef<O>: Archive, DataCap: Archive, [u64; 13]: Archive, u64: Archive,

type Archived = ArchivedInstanceCap<O>

The archived representation of this type.

type Resolver = InstanceCapResolver<O>

The resolver for this type. It must contain all the additional information from serializing needed to make the archived type from the normal type.

fn resolve(&self, resolver: Self::Resolver, out: Place<Self::Archived>)

Creates the archived version of this value at the given position and writes it to the given output.

const COPY_OPTIMIZATION: CopyOptimization<Self> = _

An optimization flag that allows the bytes of this type to be copied directly to a writer instead of calling serialize.

impl<O: Clone> Clone for InstanceCap<O>

fn clone(&self) -> InstanceCap<O>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<O: Debug> Debug for InstanceCap<O>

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

Formats the value using the given formatter.

impl<__D: Fallible + ?Sized, O> Deserialize<InstanceCap<O>, __D> for Archived<InstanceCap<O>>

where CapHash: Archive, <CapHash as Archive>::Archived: Deserialize<CapHash, __D>, CapHashOrRef<O>: Archive, <CapHashOrRef<O> as Archive>::Archived: Deserialize<CapHashOrRef<O>, __D>, DataCap: Archive, <DataCap as Archive>::Archived: Deserialize<DataCap, __D>, [u64; 13]: Archive, <[u64; 13] as Archive>::Archived: Deserialize<[u64; 13], __D>, u64: Archive, <u64 as Archive>::Archived: Deserialize<u64, __D>,

fn deserialize( &self, deserializer: &mut __D, ) -> Result<InstanceCap<O>, <__D as Fallible>::Error>

Deserializes using the given deserializer

impl<O> HashTreeRoot for InstanceCap<O>

where CapHashOrRef<O>: HashTreeRoot,

fn hash_tree_root<D: Digest<OutputSize = U32>>(&self) -> [u8; 32]

Compute the hash tree root using D as the underlying hash.

impl<__S: Fallible + ?Sized, O> Serialize<__S> for InstanceCap<O>

where CapHash: Serialize<__S>, CapHashOrRef<O>: Serialize<__S>, DataCap: Serialize<__S>, [u64; 13]: Serialize<__S>, u64: Serialize<__S>,

fn serialize( &self, serializer: &mut __S, ) -> Result<<Self as Archive>::Resolver, <__S as Fallible>::Error>

Writes the dependencies for the object and returns a resolver that can create the archived type.