1 use crate::linker::{Definition, DefinitionType}; 2 use crate::prelude::*; 3 use crate::runtime::vm::{ 4 self, Imports, ModuleRuntimeInfo, VMFuncRef, VMFunctionImport, VMGlobalImport, VMMemoryImport, 5 VMTableImport, VMTagImport, 6 }; 7 use crate::store::{AllocateInstanceKind, InstanceId, StoreInstanceId, StoreOpaque}; 8 use crate::types::matching; 9 use crate::{ 10 AsContextMut, Engine, Export, Extern, Func, Global, Memory, Module, ModuleExport, SharedMemory, 11 StoreContext, StoreContextMut, Table, Tag, TypedFunc, 12 }; 13 use alloc::sync::Arc; 14 use core::ptr::NonNull; 15 use wasmparser::WasmFeatures; 16 use wasmtime_environ::{ 17 EntityIndex, EntityType, FuncIndex, GlobalIndex, MemoryIndex, PrimaryMap, TableIndex, TagIndex, 18 TypeTrace, 19 }; 20 21 /// An instantiated WebAssembly module. 22 /// 23 /// This type represents the instantiation of a [`Module`]. Once instantiated 24 /// you can access the [`exports`](Instance::exports) which are of type 25 /// [`Extern`] and provide the ability to call functions, set globals, read 26 /// memory, etc. When interacting with any wasm code you'll want to make an 27 /// [`Instance`] to call any code or execute anything. 28 /// 29 /// Instances are owned by a [`Store`](crate::Store) which is passed in at 30 /// creation time. It's recommended to create instances with 31 /// [`Linker::instantiate`](crate::Linker::instantiate) or similar 32 /// [`Linker`](crate::Linker) methods, but a more low-level constructor is also 33 /// available as [`Instance::new`]. 34 #[derive(Copy, Clone, Debug)] 35 #[repr(C)] 36 pub struct Instance { 37 id: StoreInstanceId, 38 } 39 40 // Double-check that the C representation in `instance.h` matches our in-Rust 41 // representation here in terms of size/alignment/etc. 42 const _: () = { 43 #[repr(C)] 44 struct C(u64, usize); 45 assert!(core::mem::size_of::<C>() == core::mem::size_of::<Instance>()); 46 assert!(core::mem::align_of::<C>() == core::mem::align_of::<Instance>()); 47 assert!(core::mem::offset_of!(Instance, id) == 0); 48 }; 49 50 impl Instance { 51 /// Creates a new [`Instance`] from the previously compiled [`Module`] and 52 /// list of `imports` specified. 53 /// 54 /// This method instantiates the `module` provided with the `imports`, 55 /// following the procedure in the [core specification][inst] to 56 /// instantiate. Instantiation can fail for a number of reasons (many 57 /// specified below), but if successful the `start` function will be 58 /// automatically run (if specified in the `module`) and then the 59 /// [`Instance`] will be returned. 60 /// 61 /// Per the WebAssembly spec, instantiation includes running the module's 62 /// start function, if it has one (not to be confused with the `_start` 63 /// function, which is not run). 64 /// 65 /// Note that this is a low-level function that just performs an 66 /// instantiation. See the [`Linker`](crate::Linker) struct for an API which 67 /// provides a convenient way to link imports and provides automatic Command 68 /// and Reactor behavior. 69 /// 70 /// ## Providing Imports 71 /// 72 /// The entries in the list of `imports` are intended to correspond 1:1 73 /// with the list of imports returned by [`Module::imports`]. Before 74 /// calling [`Instance::new`] you'll want to inspect the return value of 75 /// [`Module::imports`] and, for each import type, create an [`Extern`] 76 /// which corresponds to that type. These [`Extern`] values are all then 77 /// collected into a list and passed to this function. 78 /// 79 /// Note that this function is intentionally relatively low level. For an 80 /// easier time passing imports by doing name-based resolution it's 81 /// recommended to instead use the [`Linker`](crate::Linker) type. 82 /// 83 /// ## Errors 84 /// 85 /// This function can fail for a number of reasons, including, but not 86 /// limited to: 87 /// 88 /// * The number of `imports` provided doesn't match the number of imports 89 /// returned by the `module`'s [`Module::imports`] method. 90 /// * The type of any [`Extern`] doesn't match the corresponding 91 /// [`ExternType`] entry that it maps to. 92 /// * The `start` function in the instance, if present, traps. 93 /// * Module/instance resource limits are exceeded. 94 /// 95 /// When instantiation fails it's recommended to inspect the return value to 96 /// see why it failed, or bubble it upwards. If you'd like to specifically 97 /// check for trap errors, you can use `error.downcast::<Trap>()`. For more 98 /// about error handling see the [`Trap`] documentation. 99 /// 100 /// [`Trap`]: crate::Trap 101 /// 102 /// # Panics 103 /// 104 /// This function will panic if called with a store associated with a 105 /// [`asynchronous config`](crate::Config::async_support). This function 106 /// will also panic if any [`Extern`] supplied is not owned by `store`. 107 /// 108 /// [inst]: https://webassembly.github.io/spec/core/exec/modules.html#exec-instantiation 109 /// [`ExternType`]: crate::ExternType 110 pub fn new( 111 mut store: impl AsContextMut, 112 module: &Module, 113 imports: &[Extern], 114 ) -> Result<Instance> { 115 let mut store = store.as_context_mut(); 116 let imports = Instance::typecheck_externs(store.0, module, imports)?; 117 // Note that the unsafety here should be satisfied by the call to 118 // `typecheck_externs` above which satisfies the condition that all 119 // the imports are valid for this module. 120 unsafe { Instance::new_started(&mut store, module, imports.as_ref()) } 121 } 122 123 /// Same as [`Instance::new`], except for usage in [asynchronous stores]. 124 /// 125 /// For more details about this function see the documentation on 126 /// [`Instance::new`]. The only difference between these two methods is that 127 /// this one will asynchronously invoke the wasm start function in case it 128 /// calls any imported function which is an asynchronous host function (e.g. 129 /// created with [`Func::new_async`](crate::Func::new_async). 130 /// 131 /// # Panics 132 /// 133 /// This function will panic if called with a store associated with a 134 /// [`synchronous config`](crate::Config::new). This is only compatible with 135 /// stores associated with an [`asynchronous 136 /// config`](crate::Config::async_support). 137 /// 138 /// This function will also panic, like [`Instance::new`], if any [`Extern`] 139 /// specified does not belong to `store`. 140 #[cfg(feature = "async")] 141 pub async fn new_async( 142 mut store: impl AsContextMut<Data: Send>, 143 module: &Module, 144 imports: &[Extern], 145 ) -> Result<Instance> { 146 let mut store = store.as_context_mut(); 147 let imports = Instance::typecheck_externs(store.0, module, imports)?; 148 // See `new` for notes on this unsafety 149 unsafe { Instance::new_started_async(&mut store, module, imports.as_ref()).await } 150 } 151 152 fn typecheck_externs( 153 store: &mut StoreOpaque, 154 module: &Module, 155 imports: &[Extern], 156 ) -> Result<OwnedImports> { 157 for import in imports { 158 if !import.comes_from_same_store(store) { 159 bail!("cross-`Store` instantiation is not currently supported"); 160 } 161 } 162 163 typecheck(module, imports, |cx, ty, item| { 164 let item = DefinitionType::from(store, item); 165 cx.definition(ty, &item) 166 })?; 167 168 // When pushing functions into `OwnedImports` it's required that their 169 // `wasm_call` fields are all filled out. This `module` is guaranteed 170 // to have any trampolines necessary for functions so register the 171 // module with the store and then attempt to fill out any outstanding 172 // holes. 173 // 174 // Note that under normal operation this shouldn't do much as the list 175 // of funcs-with-holes should generally be empty. As a result the 176 // process of filling this out is not super optimized at this point. 177 store.modules_mut().register_module(module); 178 let (funcrefs, modules) = store.func_refs_and_modules(); 179 funcrefs.fill(modules); 180 181 let mut owned_imports = OwnedImports::new(module); 182 for import in imports { 183 owned_imports.push(import, store); 184 } 185 Ok(owned_imports) 186 } 187 188 /// Internal function to create an instance and run the start function. 189 /// 190 /// This function's unsafety is the same as `Instance::new_raw`. 191 pub(crate) unsafe fn new_started<T>( 192 store: &mut StoreContextMut<'_, T>, 193 module: &Module, 194 imports: Imports<'_>, 195 ) -> Result<Instance> { 196 assert!( 197 !store.0.async_support(), 198 "must use async instantiation when async support is enabled", 199 ); 200 Self::new_started_impl(store, module, imports) 201 } 202 203 /// Internal function to create an instance and run the start function. 204 /// 205 /// ONLY CALL THIS IF YOU HAVE ALREADY CHECKED FOR ASYNCNESS AND HANDLED 206 /// THE FIBER NONSENSE 207 pub(crate) unsafe fn new_started_impl<T>( 208 store: &mut StoreContextMut<'_, T>, 209 module: &Module, 210 imports: Imports<'_>, 211 ) -> Result<Instance> { 212 let (instance, start) = Instance::new_raw(store.0, module, imports)?; 213 if let Some(start) = start { 214 instance.start_raw(store, start)?; 215 } 216 Ok(instance) 217 } 218 219 /// Internal function to create an instance and run the start function. 220 /// 221 /// This function's unsafety is the same as `Instance::new_raw`. 222 #[cfg(feature = "async")] 223 async unsafe fn new_started_async<T>( 224 store: &mut StoreContextMut<'_, T>, 225 module: &Module, 226 imports: Imports<'_>, 227 ) -> Result<Instance> 228 where 229 T: Send + 'static, 230 { 231 assert!( 232 store.0.async_support(), 233 "must use sync instantiation when async support is disabled", 234 ); 235 236 store 237 .on_fiber(|store| Self::new_started_impl(store, module, imports)) 238 .await? 239 } 240 241 /// Internal function to create an instance which doesn't have its `start` 242 /// function run yet. 243 /// 244 /// This is not intended to be exposed from Wasmtime, it's intended to 245 /// refactor out common code from `new_started` and `new_started_async`. 246 /// 247 /// Note that this step needs to be run on a fiber in async mode even 248 /// though it doesn't do any blocking work because an async resource 249 /// limiter may need to yield. 250 /// 251 /// # Unsafety 252 /// 253 /// This method is unsafe because it does not type-check the `imports` 254 /// provided. The `imports` provided must be suitable for the module 255 /// provided as well. 256 unsafe fn new_raw( 257 store: &mut StoreOpaque, 258 module: &Module, 259 imports: Imports<'_>, 260 ) -> Result<(Instance, Option<FuncIndex>)> { 261 if !Engine::same(store.engine(), module.engine()) { 262 bail!("cross-`Engine` instantiation is not currently supported"); 263 } 264 store.bump_resource_counts(module)?; 265 266 // Allocate the GC heap, if necessary. 267 if module.env_module().needs_gc_heap { 268 let _ = store.gc_store_mut()?; 269 } 270 271 let compiled_module = module.compiled_module(); 272 273 // Register the module just before instantiation to ensure we keep the module 274 // properly referenced while in use by the store. 275 let module_id = store.modules_mut().register_module(module); 276 277 // The first thing we do is issue an instance allocation request 278 // to the instance allocator. This, on success, will give us an 279 // instance handle. 280 let id = store.allocate_instance( 281 AllocateInstanceKind::Module(module_id), 282 &ModuleRuntimeInfo::Module(module.clone()), 283 imports, 284 )?; 285 286 // Additionally, before we start doing fallible instantiation, we 287 // do one more step which is to insert an `InstanceData` 288 // corresponding to this instance. This `InstanceData` can be used 289 // via `Caller::get_export` if our instance's state "leaks" into 290 // other instances, even if we don't return successfully from this 291 // function. 292 // 293 // We don't actually load all exports from the instance at this 294 // time, instead preferring to lazily load them as they're demanded. 295 // For module/instance exports, though, those aren't actually 296 // stored in the instance handle so we need to immediately handle 297 // those here. 298 let instance = Instance::from_wasmtime(id, store); 299 300 // Now that we've recorded all information we need to about this 301 // instance within a `Store` we can start performing fallible 302 // initialization. Note that we still defer the `start` function to 303 // later since that may need to run asynchronously. 304 // 305 // If this returns an error (or if the start function traps) then 306 // any other initialization which may have succeeded which placed 307 // items from this instance into other instances should be ok when 308 // those items are loaded and run we'll have all the metadata to 309 // look at them. 310 let bulk_memory = store 311 .engine() 312 .features() 313 .contains(WasmFeatures::BULK_MEMORY); 314 315 vm::initialize_instance(store, id, compiled_module.module(), bulk_memory)?; 316 317 Ok((instance, compiled_module.module().start_func)) 318 } 319 320 pub(crate) fn from_wasmtime(id: InstanceId, store: &mut StoreOpaque) -> Instance { 321 Instance { 322 id: StoreInstanceId::new(store.id(), id), 323 } 324 } 325 326 fn start_raw<T>(&self, store: &mut StoreContextMut<'_, T>, start: FuncIndex) -> Result<()> { 327 // If a start function is present, invoke it. Make sure we use all the 328 // trap-handling configuration in `store` as well. 329 let store_id = store.0.id(); 330 let mut instance = self.id.get_mut(store.0); 331 // SAFETY: the `store_id` is the id of the store that owns this 332 // instance and any function stored within the instance. 333 let f = unsafe { instance.as_mut().get_exported_func(store_id, start) }; 334 let caller_vmctx = instance.vmctx(); 335 unsafe { 336 let funcref = f.vm_func_ref(store.0); 337 super::func::invoke_wasm_and_catch_traps(store, |_default_caller, vm| { 338 VMFuncRef::array_call(funcref, vm, caller_vmctx, NonNull::from(&mut [])) 339 })?; 340 } 341 Ok(()) 342 } 343 344 /// Get this instance's module. 345 pub fn module<'a, T: 'static>(&self, store: impl Into<StoreContext<'a, T>>) -> &'a Module { 346 self._module(store.into().0) 347 } 348 349 fn _module<'a>(&self, store: &'a StoreOpaque) -> &'a Module { 350 store.module_for_instance(self.id).unwrap() 351 } 352 353 /// Returns the list of exported items from this [`Instance`]. 354 /// 355 /// # Panics 356 /// 357 /// Panics if `store` does not own this instance. 358 pub fn exports<'a, T: 'static>( 359 &'a self, 360 store: impl Into<StoreContextMut<'a, T>>, 361 ) -> impl ExactSizeIterator<Item = Export<'a>> + 'a { 362 self._exports(store.into().0) 363 } 364 365 fn _exports<'a>( 366 &'a self, 367 store: &'a mut StoreOpaque, 368 ) -> impl ExactSizeIterator<Item = Export<'a>> + 'a { 369 let module = store[self.id].env_module().clone(); 370 let mut items = Vec::new(); 371 for (_name, entity) in module.exports.iter() { 372 items.push(self._get_export(store, *entity)); 373 } 374 store[self.id] 375 .env_module() 376 .exports 377 .iter() 378 .zip(items) 379 .map(|((name, _), item)| Export::new(name, item)) 380 } 381 382 /// Looks up an exported [`Extern`] value by name. 383 /// 384 /// This method will search the module for an export named `name` and return 385 /// the value, if found. 386 /// 387 /// Returns `None` if there was no export named `name`. 388 /// 389 /// # Panics 390 /// 391 /// Panics if `store` does not own this instance. 392 /// 393 /// # Why does `get_export` take a mutable context? 394 /// 395 /// This method requires a mutable context because an instance's exports are 396 /// lazily populated, and we cache them as they are accessed. This makes 397 /// instantiating a module faster, but also means this method requires a 398 /// mutable context. 399 pub fn get_export(&self, mut store: impl AsContextMut, name: &str) -> Option<Extern> { 400 let store = store.as_context_mut().0; 401 let entity = *store[self.id].env_module().exports.get(name)?; 402 Some(self._get_export(store, entity)) 403 } 404 405 /// Looks up an exported [`Extern`] value by a [`ModuleExport`] value. 406 /// 407 /// This is similar to [`Instance::get_export`] but uses a [`ModuleExport`] value to avoid 408 /// string lookups where possible. [`ModuleExport`]s can be obtained by calling 409 /// [`Module::get_export_index`] on the [`Module`] that this instance was instantiated with. 410 /// 411 /// This method will search the module for an export with a matching entity index and return 412 /// the value, if found. 413 /// 414 /// Returns `None` if there was no export with a matching entity index. 415 /// # Panics 416 /// 417 /// Panics if `store` does not own this instance. 418 pub fn get_module_export( 419 &self, 420 mut store: impl AsContextMut, 421 export: &ModuleExport, 422 ) -> Option<Extern> { 423 let store = store.as_context_mut().0; 424 425 // Verify the `ModuleExport` matches the module used in this instance. 426 if self._module(store).id() != export.module { 427 return None; 428 } 429 430 Some(self._get_export(store, export.entity)) 431 } 432 433 fn _get_export(&self, store: &mut StoreOpaque, entity: EntityIndex) -> Extern { 434 let id = store.id(); 435 // SAFETY: the store `id` owns this instance and all exports contained 436 // within. 437 let export = unsafe { self.id.get_mut(store).get_export_by_index_mut(id, entity) }; 438 unsafe { Extern::from_wasmtime_export(export, store) } 439 } 440 441 /// Looks up an exported [`Func`] value by name. 442 /// 443 /// Returns `None` if there was no export named `name`, or if there was but 444 /// it wasn't a function. 445 /// 446 /// # Panics 447 /// 448 /// Panics if `store` does not own this instance. 449 pub fn get_func(&self, store: impl AsContextMut, name: &str) -> Option<Func> { 450 self.get_export(store, name)?.into_func() 451 } 452 453 /// Looks up an exported [`Func`] value by name and with its type. 454 /// 455 /// This function is a convenience wrapper over [`Instance::get_func`] and 456 /// [`Func::typed`]. For more information see the linked documentation. 457 /// 458 /// Returns an error if `name` isn't a function export or if the export's 459 /// type did not match `Params` or `Results` 460 /// 461 /// # Panics 462 /// 463 /// Panics if `store` does not own this instance. 464 pub fn get_typed_func<Params, Results>( 465 &self, 466 mut store: impl AsContextMut, 467 name: &str, 468 ) -> Result<TypedFunc<Params, Results>> 469 where 470 Params: crate::WasmParams, 471 Results: crate::WasmResults, 472 { 473 let f = self 474 .get_export(store.as_context_mut(), name) 475 .and_then(|f| f.into_func()) 476 .ok_or_else(|| anyhow!("failed to find function export `{}`", name))?; 477 Ok(f.typed::<Params, Results>(store) 478 .with_context(|| format!("failed to convert function `{name}` to given type"))?) 479 } 480 481 /// Looks up an exported [`Table`] value by name. 482 /// 483 /// Returns `None` if there was no export named `name`, or if there was but 484 /// it wasn't a table. 485 /// 486 /// # Panics 487 /// 488 /// Panics if `store` does not own this instance. 489 pub fn get_table(&self, store: impl AsContextMut, name: &str) -> Option<Table> { 490 self.get_export(store, name)?.into_table() 491 } 492 493 /// Looks up an exported [`Memory`] value by name. 494 /// 495 /// Returns `None` if there was no export named `name`, or if there was but 496 /// it wasn't a memory. 497 /// 498 /// # Panics 499 /// 500 /// Panics if `store` does not own this instance. 501 pub fn get_memory(&self, store: impl AsContextMut, name: &str) -> Option<Memory> { 502 self.get_export(store, name)?.into_memory() 503 } 504 505 /// Looks up an exported [`SharedMemory`] value by name. 506 /// 507 /// Returns `None` if there was no export named `name`, or if there was but 508 /// it wasn't a shared memory. 509 /// 510 /// # Panics 511 /// 512 /// Panics if `store` does not own this instance. 513 pub fn get_shared_memory( 514 &self, 515 mut store: impl AsContextMut, 516 name: &str, 517 ) -> Option<SharedMemory> { 518 let mut store = store.as_context_mut(); 519 self.get_export(&mut store, name)?.into_shared_memory() 520 } 521 522 /// Looks up an exported [`Global`] value by name. 523 /// 524 /// Returns `None` if there was no export named `name`, or if there was but 525 /// it wasn't a global. 526 /// 527 /// # Panics 528 /// 529 /// Panics if `store` does not own this instance. 530 pub fn get_global(&self, store: impl AsContextMut, name: &str) -> Option<Global> { 531 self.get_export(store, name)?.into_global() 532 } 533 534 /// Looks up a tag [`Tag`] by name. 535 /// 536 /// Returns `None` if there was no export named `name`, or if there was but 537 /// it wasn't a tag. 538 /// 539 /// # Panics 540 /// 541 /// Panics if `store` does not own this instance. 542 pub fn get_tag(&self, store: impl AsContextMut, name: &str) -> Option<Tag> { 543 self.get_export(store, name)?.into_tag() 544 } 545 546 #[allow( 547 dead_code, 548 reason = "c-api crate does not yet support exnrefs and causes this method to be dead." 549 )] 550 pub(crate) fn id(&self) -> InstanceId { 551 self.id.instance() 552 } 553 554 /// Get all globals within this instance. 555 /// 556 /// Returns both import and defined globals. 557 /// 558 /// Returns both exported and non-exported globals. 559 /// 560 /// Gives access to the full globals space. 561 #[cfg(feature = "coredump")] 562 pub(crate) fn all_globals<'a>( 563 &'a self, 564 store: &'a mut StoreOpaque, 565 ) -> impl ExactSizeIterator<Item = (GlobalIndex, Global)> + 'a { 566 let store_id = store.id(); 567 store[self.id].all_globals(store_id) 568 } 569 570 /// Get all memories within this instance. 571 /// 572 /// Returns both import and defined memories. 573 /// 574 /// Returns both exported and non-exported memories. 575 /// 576 /// Gives access to the full memories space. 577 #[cfg(feature = "coredump")] 578 pub(crate) fn all_memories<'a>( 579 &'a self, 580 store: &'a StoreOpaque, 581 ) -> impl ExactSizeIterator<Item = (MemoryIndex, Memory)> + 'a { 582 let store_id = store.id(); 583 store[self.id].all_memories(store_id) 584 } 585 } 586 587 pub(crate) struct OwnedImports { 588 functions: PrimaryMap<FuncIndex, VMFunctionImport>, 589 tables: PrimaryMap<TableIndex, VMTableImport>, 590 memories: PrimaryMap<MemoryIndex, VMMemoryImport>, 591 globals: PrimaryMap<GlobalIndex, VMGlobalImport>, 592 tags: PrimaryMap<TagIndex, VMTagImport>, 593 } 594 595 impl OwnedImports { 596 fn new(module: &Module) -> OwnedImports { 597 let mut ret = OwnedImports::empty(); 598 ret.reserve(module); 599 return ret; 600 } 601 602 pub(crate) fn empty() -> OwnedImports { 603 OwnedImports { 604 functions: PrimaryMap::new(), 605 tables: PrimaryMap::new(), 606 memories: PrimaryMap::new(), 607 globals: PrimaryMap::new(), 608 tags: PrimaryMap::new(), 609 } 610 } 611 612 pub(crate) fn reserve(&mut self, module: &Module) { 613 let raw = module.compiled_module().module(); 614 self.functions.reserve(raw.num_imported_funcs); 615 self.tables.reserve(raw.num_imported_tables); 616 self.memories.reserve(raw.num_imported_memories); 617 self.globals.reserve(raw.num_imported_globals); 618 self.tags.reserve(raw.num_imported_tags); 619 } 620 621 #[cfg(feature = "component-model")] 622 pub(crate) fn clear(&mut self) { 623 self.functions.clear(); 624 self.tables.clear(); 625 self.memories.clear(); 626 self.globals.clear(); 627 self.tags.clear(); 628 } 629 630 fn push(&mut self, item: &Extern, store: &mut StoreOpaque) { 631 match item { 632 Extern::Func(i) => { 633 self.functions.push(i.vmimport(store)); 634 } 635 Extern::Global(i) => { 636 self.globals.push(i.vmimport(store)); 637 } 638 Extern::Table(i) => { 639 self.tables.push(i.vmimport(store)); 640 } 641 Extern::Memory(i) => { 642 self.memories.push(i.vmimport(store)); 643 } 644 Extern::SharedMemory(i) => { 645 self.memories.push(i.vmimport(store)); 646 } 647 Extern::Tag(i) => { 648 self.tags.push(i.vmimport(store)); 649 } 650 } 651 } 652 653 /// Note that this is unsafe as the validity of `item` is not verified and 654 /// it contains a bunch of raw pointers. 655 #[cfg(feature = "component-model")] 656 pub(crate) fn push_export(&mut self, store: &StoreOpaque, item: &crate::runtime::vm::Export) { 657 match item { 658 crate::runtime::vm::Export::Function(f) => { 659 // SAFETY: the funcref associated with a `Func` is valid to use 660 // under the `store` that owns the function. 661 let f = unsafe { f.vm_func_ref(store).as_ref() }; 662 self.functions.push(VMFunctionImport { 663 wasm_call: f.wasm_call.unwrap(), 664 array_call: f.array_call, 665 vmctx: f.vmctx, 666 }); 667 } 668 crate::runtime::vm::Export::Global(g) => { 669 self.globals.push(g.vmimport(store)); 670 } 671 crate::runtime::vm::Export::Table(t) => { 672 self.tables.push(t.vmimport(store)); 673 } 674 crate::runtime::vm::Export::Memory { memory, .. } => { 675 self.memories.push(memory.vmimport(store)); 676 } 677 crate::runtime::vm::Export::Tag(t) => { 678 self.tags.push(t.vmimport(store)); 679 } 680 } 681 } 682 683 pub(crate) fn as_ref(&self) -> Imports<'_> { 684 Imports { 685 tables: self.tables.values().as_slice(), 686 globals: self.globals.values().as_slice(), 687 memories: self.memories.values().as_slice(), 688 functions: self.functions.values().as_slice(), 689 tags: self.tags.values().as_slice(), 690 } 691 } 692 } 693 694 /// An instance, pre-instantiation, that is ready to be instantiated. 695 /// 696 /// This structure represents an instance *just before* it was instantiated, 697 /// after all type-checking and imports have been resolved. The only thing left 698 /// to do for this instance is to actually run the process of instantiation. 699 /// 700 /// Note that an `InstancePre` may not be tied to any particular [`Store`] if 701 /// none of the imports it closed over are tied to any particular [`Store`]. 702 /// 703 /// This structure is created through the [`Linker::instantiate_pre`] method, 704 /// which also has some more information and examples. 705 /// 706 /// [`Store`]: crate::Store 707 /// [`Linker::instantiate_pre`]: crate::Linker::instantiate_pre 708 pub struct InstancePre<T> { 709 module: Module, 710 711 /// The items which this `InstancePre` use to instantiate the `module` 712 /// provided, passed to `Instance::new_started` after inserting them into a 713 /// `Store`. 714 /// 715 /// Note that this is stored as an `Arc<[T]>` to quickly move a strong 716 /// reference to everything internally into a `Store<T>` without having to 717 /// clone each individual item. 718 items: Arc<[Definition]>, 719 720 /// A count of `Definition::HostFunc` entries in `items` above to 721 /// preallocate space in a `Store` up front for all entries to be inserted. 722 host_funcs: usize, 723 724 /// The `VMFuncRef`s for the functions in `items` that do not 725 /// have a `wasm_call` trampoline. We pre-allocate and pre-patch these 726 /// `VMFuncRef`s so that we don't have to do it at 727 /// instantiation time. 728 /// 729 /// This is an `Arc<[T]>` for the same reason as `items`. 730 func_refs: Arc<[VMFuncRef]>, 731 732 _marker: core::marker::PhantomData<fn() -> T>, 733 } 734 735 /// InstancePre's clone does not require T: Clone 736 impl<T> Clone for InstancePre<T> { 737 fn clone(&self) -> Self { 738 Self { 739 module: self.module.clone(), 740 items: self.items.clone(), 741 host_funcs: self.host_funcs, 742 func_refs: self.func_refs.clone(), 743 _marker: self._marker, 744 } 745 } 746 } 747 748 impl<T: 'static> InstancePre<T> { 749 /// Creates a new `InstancePre` which type-checks the `items` provided and 750 /// on success is ready to instantiate a new instance. 751 /// 752 /// # Unsafety 753 /// 754 /// This method is unsafe as the `T` of the `InstancePre<T>` is not 755 /// guaranteed to be the same as the `T` within the `Store`, the caller must 756 /// verify that. 757 pub(crate) unsafe fn new(module: &Module, items: Vec<Definition>) -> Result<InstancePre<T>> { 758 typecheck(module, &items, |cx, ty, item| cx.definition(ty, &item.ty()))?; 759 760 let mut func_refs = vec![]; 761 let mut host_funcs = 0; 762 for item in &items { 763 match item { 764 Definition::Extern(_, _) => {} 765 Definition::HostFunc(f) => { 766 host_funcs += 1; 767 if f.func_ref().wasm_call.is_none() { 768 // `f` needs its `VMFuncRef::wasm_call` patched with a 769 // Wasm-to-native trampoline. 770 debug_assert!(matches!(f.host_ctx(), crate::HostContext::Array(_))); 771 func_refs.push(VMFuncRef { 772 wasm_call: module 773 .wasm_to_array_trampoline(f.sig_index()) 774 .map(|f| f.into()), 775 ..*f.func_ref() 776 }); 777 } 778 } 779 } 780 } 781 782 Ok(InstancePre { 783 module: module.clone(), 784 items: items.into(), 785 host_funcs, 786 func_refs: func_refs.into(), 787 _marker: core::marker::PhantomData, 788 }) 789 } 790 791 /// Returns a reference to the module that this [`InstancePre`] will be 792 /// instantiating. 793 pub fn module(&self) -> &Module { 794 &self.module 795 } 796 797 /// Instantiates this instance, creating a new instance within the provided 798 /// `store`. 799 /// 800 /// This function will run the actual process of instantiation to 801 /// completion. This will use all of the previously-closed-over items as 802 /// imports to instantiate the module that this was originally created with. 803 /// 804 /// For more information about instantiation see [`Instance::new`]. 805 /// 806 /// # Panics 807 /// 808 /// Panics if any import closed over by this [`InstancePre`] isn't owned by 809 /// `store`, or if `store` has async support enabled. Additionally this 810 /// function will panic if the `store` provided comes from a different 811 /// [`Engine`] than the [`InstancePre`] originally came from. 812 pub fn instantiate(&self, mut store: impl AsContextMut<Data = T>) -> Result<Instance> { 813 let mut store = store.as_context_mut(); 814 let imports = pre_instantiate_raw( 815 &mut store.0, 816 &self.module, 817 &self.items, 818 self.host_funcs, 819 &self.func_refs, 820 )?; 821 822 // This unsafety should be handled by the type-checking performed by the 823 // constructor of `InstancePre` to assert that all the imports we're passing 824 // in match the module we're instantiating. 825 unsafe { Instance::new_started(&mut store, &self.module, imports.as_ref()) } 826 } 827 828 /// Creates a new instance, running the start function asynchronously 829 /// instead of inline. 830 /// 831 /// For more information about asynchronous instantiation see the 832 /// documentation on [`Instance::new_async`]. 833 /// 834 /// # Panics 835 /// 836 /// Panics if any import closed over by this [`InstancePre`] isn't owned by 837 /// `store`, or if `store` does not have async support enabled. 838 #[cfg(feature = "async")] 839 pub async fn instantiate_async( 840 &self, 841 mut store: impl AsContextMut<Data: Send>, 842 ) -> Result<Instance> { 843 let mut store = store.as_context_mut(); 844 let imports = pre_instantiate_raw( 845 &mut store.0, 846 &self.module, 847 &self.items, 848 self.host_funcs, 849 &self.func_refs, 850 )?; 851 852 // This unsafety should be handled by the type-checking performed by the 853 // constructor of `InstancePre` to assert that all the imports we're passing 854 // in match the module we're instantiating. 855 unsafe { Instance::new_started_async(&mut store, &self.module, imports.as_ref()).await } 856 } 857 } 858 859 /// Helper function shared between 860 /// `InstancePre::{instantiate,instantiate_async}` 861 /// 862 /// This is an out-of-line function to avoid the generic on `InstancePre` and 863 /// get this compiled into the `wasmtime` crate to avoid having it monomorphized 864 /// elsewhere. 865 fn pre_instantiate_raw( 866 store: &mut StoreOpaque, 867 module: &Module, 868 items: &Arc<[Definition]>, 869 host_funcs: usize, 870 func_refs: &Arc<[VMFuncRef]>, 871 ) -> Result<OwnedImports> { 872 // Register this module and use it to fill out any funcref wasm_call holes 873 // we can. For more comments on this see `typecheck_externs`. 874 store.modules_mut().register_module(module); 875 let (funcrefs, modules) = store.func_refs_and_modules(); 876 funcrefs.fill(modules); 877 878 if host_funcs > 0 { 879 // Any linker-defined function of the `Definition::HostFunc` variant 880 // will insert a function into the store automatically as part of 881 // instantiation, so reserve space here to make insertion more efficient 882 // as it won't have to realloc during the instantiation. 883 funcrefs.reserve_storage(host_funcs); 884 885 // The usage of `to_extern_store_rooted` requires that the items are 886 // rooted via another means, which happens here by cloning the list of 887 // items into the store once. This avoids cloning each individual item 888 // below. 889 funcrefs.push_instance_pre_definitions(items.clone()); 890 funcrefs.push_instance_pre_func_refs(func_refs.clone()); 891 } 892 893 let mut func_refs = func_refs.iter().map(|f| NonNull::from(f)); 894 let mut imports = OwnedImports::new(module); 895 for import in items.iter() { 896 if !import.comes_from_same_store(store) { 897 bail!("cross-`Store` instantiation is not currently supported"); 898 } 899 // This unsafety should be encapsulated in the constructor of 900 // `InstancePre` where the `T` of the original item should match the 901 // `T` of the store. Additionally the rooting necessary has happened 902 // above. 903 let item = match import { 904 Definition::Extern(e, _) => e.clone(), 905 Definition::HostFunc(func) => unsafe { 906 func.to_func_store_rooted( 907 store, 908 if func.func_ref().wasm_call.is_none() { 909 Some(func_refs.next().unwrap()) 910 } else { 911 None 912 }, 913 ) 914 .into() 915 }, 916 }; 917 imports.push(&item, store); 918 } 919 920 Ok(imports) 921 } 922 923 fn typecheck<I>( 924 module: &Module, 925 import_args: &[I], 926 check: impl Fn(&matching::MatchCx<'_>, &EntityType, &I) -> Result<()>, 927 ) -> Result<()> { 928 let env_module = module.compiled_module().module(); 929 let expected_len = env_module.imports().count(); 930 let actual_len = import_args.len(); 931 if expected_len != actual_len { 932 bail!("expected {expected_len} imports, found {actual_len}"); 933 } 934 let cx = matching::MatchCx::new(module.engine()); 935 for ((name, field, expected_ty), actual) in env_module.imports().zip(import_args) { 936 debug_assert!(expected_ty.is_canonicalized_for_runtime_usage()); 937 check(&cx, &expected_ty, actual) 938 .with_context(|| format!("incompatible import type for `{name}::{field}`"))?; 939 } 940 Ok(()) 941 } 942