Struct wasmer_vm::instance::VMInstance

source ·
pub struct VMInstance {
    instance_layout: Layout,
    instance: NonNull<Instance>,
}
Expand description

A handle holding an Instance of a WebAssembly module.

This is more or less a public facade of the private Instance, providing useful higher-level API.

Fields§

§instance_layout: Layout

The layout of Instance (which can vary).

§instance: NonNull<Instance>

The Instance itself.

Instance must not be dropped manually by Rust, because it’s allocated manually with alloc and a specific layout (Rust would be able to drop Instance itself but it will imply a memory leak because of alloc).

No one in the code has a copy of the Instance’s pointer. Self is the only one.

Implementations§

source§

impl VMInstance

source

pub unsafe fn new( allocator: InstanceAllocator, module: Arc<ModuleInfo>, context: &mut StoreObjects, finished_functions: BoxedSlice<LocalFunctionIndex, FunctionBodyPtr>, finished_function_call_trampolines: BoxedSlice<SignatureIndex, VMTrampoline>, finished_memories: BoxedSlice<LocalMemoryIndex, InternalStoreHandle<VMMemory>>, finished_tables: BoxedSlice<LocalTableIndex, InternalStoreHandle<VMTable>>, finished_globals: BoxedSlice<LocalGlobalIndex, InternalStoreHandle<VMGlobal>>, imports: Imports, vmshared_signatures: BoxedSlice<SignatureIndex, VMSharedSignatureIndex>, ) -> Result<Self, Trap>

Create a new VMInstance pointing at a new Instance.

§Safety

This method is not necessarily inherently unsafe to call, but in general the APIs of an Instance are quite unsafe and have not been really audited for safety that much. As a result the unsafety here on this method is a low-overhead way of saying “this is an extremely unsafe type to work with”.

Extreme care must be taken when working with VMInstance and it’s recommended to have relatively intimate knowledge of how it works internally if you’d like to do so. If possible it’s recommended to use the wasmer crate API rather than this type since that is vetted for safety.

However the following must be taken care of before calling this function:

  • The memory at instance.tables_ptr() must be initialized with data for all the local tables.
  • The memory at instance.memories_ptr() must be initialized with data for all the local memories.
source

pub(crate) fn instance(&self) -> &Instance

Return a reference to the contained Instance.

source

pub(crate) fn instance_mut(&mut self) -> &mut Instance

Return a mutable reference to the contained Instance.

source

pub unsafe fn finish_instantiation( &mut self, config: &VMConfig, trap_handler: Option<*const TrapHandlerFn<'static>>, data_initializers: &[DataInitializer<'_>], ) -> Result<(), Trap>

Finishes the instantiation process started by Instance::new.

§Safety

Only safe to call immediately after instantiation.

source

pub fn vmctx(&self) -> &VMContext

Return a reference to the vmctx used by compiled wasm code.

source

pub fn vmctx_ptr(&self) -> *mut VMContext

Return a raw pointer to the vmctx used by compiled wasm code.

source

pub fn vmoffsets(&self) -> &VMOffsets

Return a reference to the VMOffsets to get offsets in the Self::vmctx_ptr region. Be careful when doing pointer arithmetic!

source

pub fn module(&self) -> &Arc<ModuleInfo>

Return a reference-counting pointer to a module.

source

pub fn module_ref(&self) -> &ModuleInfo

Return a reference to a module.

source

pub fn lookup(&mut self, field: &str) -> Option<VMExtern>

Lookup an export with the given name.

source

pub fn lookup_by_declaration(&mut self, export: ExportIndex) -> VMExtern

Lookup an export with the given export declaration.

source

pub fn exports(&self) -> Iter<'_, String, ExportIndex>

Return an iterator over the exports of this instance.

Specifically, it provides access to the key-value pairs, where the keys are export names, and the values are export declarations which can be resolved lookup_by_declaration.

source

pub fn memory_index(&self, memory: &VMMemoryDefinition) -> LocalMemoryIndex

Return the memory index for the given VMMemoryDefinition in this instance.

source

pub fn memory_grow<IntoPages>( &mut self, memory_index: LocalMemoryIndex, delta: IntoPages, ) -> Result<Pages, MemoryError>
where IntoPages: Into<Pages>,

Grow memory in this instance by the specified amount of pages.

Returns None if memory can’t be grown by the specified amount of pages.

source

pub fn table_index(&self, table: &VMTableDefinition) -> LocalTableIndex

Return the table index for the given VMTableDefinition in this instance.

source

pub fn table_grow( &mut self, table_index: LocalTableIndex, delta: u32, init_value: TableElement, ) -> Option<u32>

Grow table in this instance by the specified amount of pages.

Returns None if memory can’t be grown by the specified amount of pages.

source

pub fn table_get( &self, table_index: LocalTableIndex, index: u32, ) -> Option<TableElement>

Get table element reference.

Returns None if index is out of bounds.

source

pub fn table_set( &mut self, table_index: LocalTableIndex, index: u32, val: TableElement, ) -> Result<(), Trap>

Set table element reference.

Returns an error if the index is out of bounds

source

pub fn get_local_table(&mut self, index: LocalTableIndex) -> &mut VMTable

Get a table defined locally within this module.

Trait Implementations§

source§

impl Debug for VMInstance

source§

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

Formats the value using the given formatter. Read more
source§

impl Drop for VMInstance

VMInstance are created with an InstanceAllocator and it will “consume” the memory So the Drop here actualy free it (else it would be leaked)

source§

fn drop(&mut self)

Executes the destructor for this type. Read more
source§

impl PartialEq for VMInstance

source§

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

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl StoreObject for VMInstance

source§

fn list(ctx: &StoreObjects) -> &Vec<Self>

source§

fn list_mut(ctx: &mut StoreObjects) -> &mut Vec<Self>

source§

impl Eq for VMInstance

source§

impl StructuralPartialEq for VMInstance

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
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
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> Pointee for T

§

type Metadata = ()

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

impl<T> Same for T

§

type Output = T

Should always be Self
source§

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

§

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>,

§

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.