Struct wasmer_vm::VMInstance

source ·
pub struct VMInstance { /* private fields */ }
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.

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 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 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
source§

impl<T> ArchivePointee for T

§

type ArchivedMetadata = ()

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

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<F, W, T, D> Deserialize<With<T, W>, D> for F
where W: DeserializeWith<F, T, D>, D: Fallible + ?Sized, F: ?Sized,

source§

fn deserialize( &self, deserializer: &mut D, ) -> Result<With<T, W>, <D as Fallible>::Error>

Deserializes using the given deserializer
source§

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

source§

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

Compare self to key and return true if they are equal.
source§

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

source§

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

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

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

source§

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.

source§

impl<T> LayoutRaw for T

source§

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

Gets the layout of the type.
source§

impl<T> Pointee for T

§

type Metadata = ()

The type for metadata in pointers and references to Self.
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.