Skip to main content

InstanceEntry

Struct InstanceEntry 

Source
pub struct InstanceEntry {
    pub instance_ref: CapHashOrRef,
    pub image_hash_chain: CapHash,
    pub image_hash: CapHash,
    pub program: Arc<PvmProgram>,
    pub root_cnode: CNodeCap,
    pub yield_marker_slot: Option<SlotIdx>,
    pub pinned_slots: Vec<SlotIdx>,
    pub regs: Regs,
    pub mem: Mem,
    pub gas: GasCounter,
    pub status: EntryStatus,
}
Expand description

In-flight state of an Instance currently on the call stack.

Owns the working root cnode, regs, and memory of this invocation. The Vm updates these in place as the interpreter runs. The program is shared (Arc) — multiple in-flight entries can share the same predecoded bytecode (e.g. siblings of the same image).

Fields§

§instance_ref: CapHashOrRef

Reference back to the CacheDirectory entry this invocation is running. Carried across the apply so the post-HALT settle can hash the final working state into a CapHash.

§image_hash_chain: CapHash

Cached for quick read of the Instance’s type identity.

§image_hash: CapHash

Cached for quick read of the bound Image hash.

§program: Arc<PvmProgram>

Predecoded bytecode (keyed by image_hash in ImageCache).

§root_cnode: CNodeCap

MainFrame cnode — the active CapTable. Owned by this entry; on HALT it’s commit-merged back into the cache.

§yield_marker_slot: Option<SlotIdx>

Image.yield_marker_slot, cached for yield routing.

§pinned_slots: Vec<SlotIdx>

Sorted slot indices declared pinned by this Image. Cached for fast is_pinned checks.

§regs: Regs

Working registers.

§mem: Mem

Working memory (mapped RW overlays + ephemeral).

§gas: GasCounter

Local gas counter — pulls from KernelAssist::gas_meter_* against the active gas slot.

§status: EntryStatus

Running vs. Waiting.

Trait Implementations§

Source§

impl Debug for InstanceEntry

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
§

impl<T> ArchivePointee for T

§

type ArchivedMetadata = ()

The archived version of the pointer metadata for this type.
§

fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata

Converts some archived metadata to the pointer metadata for itself.
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

§

impl<T> LayoutRaw for T

§

fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>

Returns the layout of the type.
§

impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
where T: SharedNiching<N1, N2>, N1: Niching<T>, N2: Niching<T>,

§

unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool

Returns whether the given value has been niched. Read more
§

fn resolve_niched(out: Place<NichedOption<T, N1>>)

Writes data to out indicating that a T is niched.
§

impl<T> Pointee for T

§

type Metadata = ()

The metadata type for pointers and references to this type.
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.