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
impl VMInstance
Sourcepub 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>
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.
Sourcepub unsafe fn finish_instantiation(
&mut self,
config: &VMConfig,
trap_handler: Option<*const TrapHandlerFn<'static>>,
data_initializers: &[DataInitializer<'_>],
) -> Result<(), Trap>
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.
Sourcepub fn vmctx_ptr(&self) -> *mut VMContext
pub fn vmctx_ptr(&self) -> *mut VMContext
Return a raw pointer to the vmctx used by compiled wasm code.
Sourcepub fn vmoffsets(&self) -> &VMOffsets
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!
Sourcepub fn module(&self) -> &Arc<ModuleInfo>
pub fn module(&self) -> &Arc<ModuleInfo>
Return a reference-counting pointer to a module.
Sourcepub fn module_ref(&self) -> &ModuleInfo
pub fn module_ref(&self) -> &ModuleInfo
Return a reference to a module.
Sourcepub fn lookup(&mut self, field: &str) -> Option<VMExtern>
pub fn lookup(&mut self, field: &str) -> Option<VMExtern>
Lookup an export with the given name.
Sourcepub fn lookup_by_declaration(&mut self, export: ExportIndex) -> VMExtern
pub fn lookup_by_declaration(&mut self, export: ExportIndex) -> VMExtern
Lookup an export with the given export declaration.
Sourcepub fn exports(&self) -> Iter<'_, String, ExportIndex>
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
.
Sourcepub fn memory_index(&self, memory: &VMMemoryDefinition) -> LocalMemoryIndex
pub fn memory_index(&self, memory: &VMMemoryDefinition) -> LocalMemoryIndex
Return the memory index for the given VMMemoryDefinition
in this instance.
Sourcepub fn memory_grow<IntoPages>(
&mut self,
memory_index: LocalMemoryIndex,
delta: IntoPages,
) -> Result<Pages, MemoryError>
pub fn memory_grow<IntoPages>( &mut self, memory_index: LocalMemoryIndex, delta: IntoPages, ) -> Result<Pages, MemoryError>
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.
Sourcepub fn table_index(&self, table: &VMTableDefinition) -> LocalTableIndex
pub fn table_index(&self, table: &VMTableDefinition) -> LocalTableIndex
Return the table index for the given VMTableDefinition
in this instance.
Sourcepub fn table_grow(
&mut self,
table_index: LocalTableIndex,
delta: u32,
init_value: TableElement,
) -> Option<u32>
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.
Sourcepub fn table_get(
&self,
table_index: LocalTableIndex,
index: u32,
) -> Option<TableElement>
pub fn table_get( &self, table_index: LocalTableIndex, index: u32, ) -> Option<TableElement>
Get table element reference.
Returns None
if index is out of bounds.
Sourcepub fn table_set(
&mut self,
table_index: LocalTableIndex,
index: u32,
val: TableElement,
) -> Result<(), Trap>
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
Sourcepub fn get_local_table(&mut self, index: LocalTableIndex) -> &mut VMTable
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
impl Debug for VMInstance
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)
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§impl PartialEq for VMInstance
impl PartialEq for VMInstance
impl Eq for VMInstance
impl StructuralPartialEq for VMInstance
Auto Trait Implementations§
impl Freeze for VMInstance
impl !RefUnwindSafe for VMInstance
impl !Send for VMInstance
impl !Sync for VMInstance
impl Unpin for VMInstance
impl !UnwindSafe for VMInstance
Blanket Implementations§
Source§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
Source§type ArchivedMetadata = ()
type ArchivedMetadata = ()
Source§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
Source§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Source§impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
Source§unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
Source§fn resolve_niched(out: Place<NichedOption<T, N1>>)
fn resolve_niched(out: Place<NichedOption<T, N1>>)
out
indicating that a T
is niched.