-
Notifications
You must be signed in to change notification settings - Fork 824
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #3612 from wasmerio/feat_data_and_store_mut
Added conveniance function FunctionEnvMut::data_and_store_mut
- Loading branch information
Showing
6 changed files
with
228 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,156 @@ | ||
//! A Wasm module can import entities, like functions, memories, | ||
//! globals and tables. | ||
//! | ||
//! In this example, we'll create a system for getting and adjusting a counter value. However, host | ||
//! functions are not limited to storing data outside of Wasm, they're normal host functions and | ||
//! can do anything that the host can do. | ||
//! we will also demonstrate how a Function can also get globals from within a wasm call | ||
//! | ||
//! 1. There will be a `get_counter` function that will return an i32 of | ||
//! the current global counter, The function will also increment a global value | ||
//! 2. There will be an `add_to_counter` function will add the passed | ||
//! i32 value to the counter, and return an i32 of the current | ||
//! global counter. | ||
//! | ||
//! You can run the example directly by executing in Wasmer root: | ||
//! | ||
//! ```shell | ||
//! cargo run --example imported-function-env-global --release --features "cranelift" | ||
//! ``` | ||
//! | ||
//! Ready? | ||
use std::sync::{Arc, Mutex}; | ||
use wasmer::{ | ||
imports, wat2wasm, Function, FunctionEnv, FunctionEnvMut, Global, Instance, Module, Store, | ||
TypedFunction, Value, | ||
}; | ||
use wasmer_compiler_cranelift::Cranelift; | ||
|
||
fn main() -> Result<(), Box<dyn std::error::Error>> { | ||
// Let's declare the Wasm module with the text representation. | ||
let wasm_bytes = wat2wasm( | ||
br#" | ||
(module | ||
(global $g_counter (import "env" "g_counter") (mut i32)) | ||
(func $get_counter (import "env" "get_counter") (result i32)) | ||
(func $add_to_counter (import "env" "add_to_counter") (param i32) (result i32)) | ||
(type $increment_t (func (param i32) (result i32))) | ||
(func $increment_f (type $increment_t) (param $x i32) (result i32) | ||
(block | ||
(loop | ||
(call $add_to_counter (i32.const 1)) | ||
(set_local $x (i32.sub (get_local $x) (i32.const 1))) | ||
(br_if 1 (i32.eq (get_local $x) (i32.const 0))) | ||
(br 0))) | ||
call $get_counter) | ||
(export "increment_counter_loop" (func $increment_f))) | ||
"#, | ||
)?; | ||
|
||
// Create a Store. | ||
// Note that we don't need to specify the engine/compiler if we want to use | ||
// the default provided by Wasmer. | ||
// You can use `Store::default()` for that. | ||
let mut store = Store::new(Cranelift::default()); | ||
|
||
println!("Compiling module..."); | ||
// Let's compile the Wasm module. | ||
let module = Module::new(&store, wasm_bytes)?; | ||
|
||
// Create the global | ||
let g_counter = Global::new_mut(&mut store, Value::I32(5)); | ||
|
||
// We create some shared data here, `Arc` is required because we may | ||
// move our WebAssembly instance to another thread to run it. Mutex | ||
// lets us get shared mutabilty which is fine because we know we won't | ||
// run host calls concurrently. If concurrency is a possibilty, we'd have | ||
// to use a `Mutex`. | ||
let shared_counter: Arc<Mutex<i32>> = Arc::new(Mutex::new(0)); | ||
|
||
// Once we have our counter we'll wrap it inside en `Env` which we'll pass | ||
// to our imported functionsvia the FunctionEnv. | ||
// | ||
// This struct may have been anything. The only constraint is it must be | ||
// possible to know the size of the `Env` at compile time (i.e it has to | ||
// implement the `Sized` trait). | ||
// The Env is then accessed using `data()` or `data_mut()` method. | ||
#[derive(Clone)] | ||
struct Env { | ||
counter: Arc<Mutex<i32>>, | ||
g_counter: Global, | ||
} | ||
|
||
// Create the functions | ||
fn get_counter(env: FunctionEnvMut<Env>) -> i32 { | ||
*env.data().counter.lock().unwrap() | ||
} | ||
fn add_to_counter(mut env: FunctionEnvMut<Env>, add: i32) -> i32 { | ||
let (data, mut storemut) = env.data_and_store_mut(); | ||
let mut counter_ref = data.counter.lock().unwrap(); | ||
|
||
let global_count = data.g_counter.get(&mut storemut).unwrap_i32(); | ||
data.g_counter | ||
.set(&mut storemut, Value::I32(global_count + add)); | ||
|
||
*counter_ref += add; | ||
*counter_ref | ||
} | ||
|
||
let env = FunctionEnv::new( | ||
&mut store, | ||
Env { | ||
counter: shared_counter.clone(), | ||
g_counter: g_counter.clone(), | ||
}, | ||
); | ||
|
||
// Create an import object. | ||
let import_object = imports! { | ||
"env" => { | ||
"get_counter" => Function::new_typed_with_env(&mut store, &env, get_counter), | ||
"add_to_counter" => Function::new_typed_with_env(&mut store, &env, add_to_counter), | ||
"g_counter" => g_counter.clone(), | ||
} | ||
}; | ||
|
||
println!("Instantiating module..."); | ||
// Let's instantiate the Wasm module. | ||
let instance = Instance::new(&mut store, &module, &import_object)?; | ||
|
||
// Here we go. | ||
// | ||
// The Wasm module exports a function called `increment_counter_loop`. Let's get it. | ||
let increment_counter_loop: TypedFunction<i32, i32> = instance | ||
.exports | ||
.get_function("increment_counter_loop")? | ||
.typed(&mut store)?; | ||
|
||
let counter_value: i32 = *shared_counter.lock().unwrap(); | ||
println!("Initial ounter value: {:?}", counter_value); | ||
|
||
println!("Calling `increment_counter_loop` function..."); | ||
// Let's call the `increment_counter_loop` exported function. | ||
// | ||
// It will loop five times thus incrementing our counter five times. | ||
let result = increment_counter_loop.call(&mut store, 5)?; | ||
|
||
let counter_value: i32 = *shared_counter.lock().unwrap(); | ||
println!("New counter value (host): {:?}", counter_value); | ||
assert_eq!(counter_value, 5); | ||
|
||
println!("New counter value (guest): {:?}", result); | ||
assert_eq!(result, 5); | ||
|
||
let global_counter = g_counter.get(&mut store); | ||
println!("New global counter value: {:?}", global_counter); | ||
assert_eq!(global_counter.unwrap_i32(), 10); | ||
|
||
Ok(()) | ||
} | ||
|
||
#[test] | ||
fn test_imported_function_env() -> Result<(), Box<dyn std::error::Error>> { | ||
main() | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,43 @@ | ||
use macro_wasmer_universal_test::universal_test; | ||
#[cfg(feature = "js")] | ||
use wasm_bindgen_test::*; | ||
|
||
use wasmer::*; | ||
|
||
#[universal_test] | ||
fn data_and_store_mut() -> Result<(), String> { | ||
let mut store = Store::default(); | ||
let global_mut = Global::new_mut(&mut store, Value::I32(10)); | ||
struct Env { | ||
value: i32, | ||
global: Global, | ||
} | ||
let env = FunctionEnv::new( | ||
&mut store, | ||
Env { | ||
value: 0i32, | ||
global: global_mut.clone(), | ||
}, | ||
); | ||
let mut envmut = env.into_mut(&mut store); | ||
|
||
let (mut data, mut storemut) = envmut.data_and_store_mut(); | ||
|
||
assert_eq!( | ||
data.global.ty(&mut storemut), | ||
GlobalType { | ||
ty: Type::I32, | ||
mutability: Mutability::Var | ||
} | ||
); | ||
assert_eq!(data.global.get(&mut storemut), Value::I32(10)); | ||
data.value = data.global.get(&mut storemut).unwrap_i32() + 10; | ||
|
||
data.global | ||
.set(&mut storemut, Value::I32(data.value)) | ||
.unwrap(); | ||
|
||
assert_eq!(data.global.get(&mut storemut), Value::I32(data.value)); | ||
|
||
Ok(()) | ||
} |