-
Notifications
You must be signed in to change notification settings - Fork 1.3k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Co-authored-by: Alex Crichton <alex@alexcrichton.com>
- Loading branch information
1 parent
66251c2
commit 7590198
Showing
5 changed files
with
202 additions
and
0 deletions.
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
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,162 @@ | ||
use anyhow::{anyhow, Error}; | ||
use std::future::Future; | ||
use tokio::time::Duration; | ||
use wasmtime::{Config, Engine, Linker, Module, Store}; | ||
// For this example we want to use the async version of wasmtime_wasi. | ||
// Notably, this version of wasi uses a scheduler that will async yield | ||
// when sleeping in `poll_oneoff`. | ||
use wasmtime_wasi::async_::{Wasi, WasiCtxBuilder}; | ||
|
||
#[tokio::main] | ||
async fn main() -> Result<(), Error> { | ||
// Create an environment shared by all wasm execution. This contains | ||
// the `Engine` and the `Module` we are executing. | ||
let env = Environment::new()?; | ||
|
||
// The inputs to run_wasm are `Send`: we can create them here and send | ||
// them to a new task that we spawn. | ||
let inputs1 = Inputs::new(env.clone(), "Gussie"); | ||
let inputs2 = Inputs::new(env.clone(), "Willa"); | ||
let inputs3 = Inputs::new(env, "Sparky"); | ||
|
||
// Spawn some tasks. Insert sleeps before run_wasm so that the | ||
// interleaving is easy to observe. | ||
let join1 = tokio::task::spawn(async move { run_wasm(inputs1).await }); | ||
let join2 = tokio::task::spawn(async move { | ||
tokio::time::sleep(Duration::from_millis(750)).await; | ||
run_wasm(inputs2).await | ||
}); | ||
let join3 = tokio::task::spawn(async move { | ||
tokio::time::sleep(Duration::from_millis(1250)).await; | ||
run_wasm(inputs3).await | ||
}); | ||
|
||
// All tasks should join successfully. | ||
join1.await??; | ||
join2.await??; | ||
join3.await??; | ||
Ok(()) | ||
} | ||
|
||
#[derive(Clone)] | ||
struct Environment { | ||
engine: Engine, | ||
module: Module, | ||
} | ||
|
||
impl Environment { | ||
pub fn new() -> Result<Self, Error> { | ||
let mut config = Config::new(); | ||
// We need this engine's `Store`s to be async, and consume fuel, so | ||
// that they can co-operatively yield during execution. | ||
config.async_support(true); | ||
config.consume_fuel(true); | ||
|
||
// Install the host functions for `Wasi`. | ||
Wasi::add_to_config(&mut config); | ||
|
||
let engine = Engine::new(&config)?; | ||
let module = Module::from_file(&engine, "target/wasm32-wasi/debug/tokio-wasi.wasm")?; | ||
|
||
Ok(Self { engine, module }) | ||
} | ||
} | ||
|
||
struct Inputs { | ||
env: Environment, | ||
name: String, | ||
} | ||
|
||
impl Inputs { | ||
fn new(env: Environment, name: &str) -> Self { | ||
Self { | ||
env, | ||
name: name.to_owned(), | ||
} | ||
} | ||
} | ||
|
||
fn run_wasm(inputs: Inputs) -> impl Future<Output = Result<(), Error>> { | ||
use std::pin::Pin; | ||
use std::task::{Context, Poll}; | ||
|
||
// This is a "marker type future" which simply wraps some other future and | ||
// the only purpose it serves is to forward the implementation of `Future` | ||
// as well as have `unsafe impl Send` for itself, regardless of the | ||
// underlying type. | ||
// | ||
// Note that the qctual safety of this relies on the fact that the inputs | ||
// here are `Send`, the outputs (just () in this case) are `Send`, and the | ||
// future itself is safe tu resume on other threads. | ||
// | ||
// For an in-depth discussion of the safety of moving Wasmtime's `Store` | ||
// between threads, see | ||
// https://docs.wasmtime.dev/examples-rust-multithreading.html. | ||
struct UnsafeSend<T>(T); | ||
|
||
// Note the `where` cause specifically ensures the output of the future to | ||
// be `Send` is required. We specifically dont require `T` to be `Send` | ||
// since that's the whole point of this function, but we require that | ||
// everything used to construct `T` is `Send` below. | ||
unsafe impl<T> Send for UnsafeSend<T> | ||
where | ||
T: Future, | ||
T::Output: Send, | ||
{ | ||
} | ||
impl<T: Future> Future for UnsafeSend<T> { | ||
type Output = T::Output; | ||
fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<T::Output> { | ||
// Note that this `unsafe` is unrelated to `Send`, it only has to do with "pin | ||
// projection" and should be safe since it's all we do with the `Pin`. | ||
unsafe { self.map_unchecked_mut(|p| &mut p.0).poll(cx) } | ||
} | ||
} | ||
|
||
// This is a crucial assertion that needs to be here. The compiler | ||
// typically checks this for us, but do to our `UnsafeSend` type the | ||
// compiler isn't automatically checking this. The assertion here must | ||
// assert that all arguments to this function are indeed `Send` because | ||
// we're closing over them and sending them to other threads. It's only | ||
// everything *internal* to the computation of this function which doesn't | ||
// have to be `Send`. | ||
fn assert_send<T: Send>(_t: &T) {} | ||
assert_send(&inputs); | ||
|
||
// Wrap up the `_run_wasm` function, which is *not* `Send`, but is safe to | ||
// resume on other threads. | ||
UnsafeSend(_run_wasm(inputs)) | ||
} | ||
|
||
async fn _run_wasm(inputs: Inputs) -> Result<(), Error> { | ||
let store = Store::new(&inputs.env.engine); | ||
|
||
// WebAssembly execution will be paused for an async yield every time it | ||
// consumes 10000 fuel. Fuel will be refilled u32::MAX times. | ||
store.out_of_fuel_async_yield(u32::MAX, 10000); | ||
|
||
Wasi::set_context( | ||
&store, | ||
WasiCtxBuilder::new() | ||
// Let wasi print to this process's stdout. | ||
.inherit_stdout() | ||
// Set an environment variable so the wasm knows its name. | ||
.env("NAME", &inputs.name)? | ||
.build()?, | ||
) | ||
.map_err(|_| anyhow!("setting wasi context"))?; | ||
|
||
let linker = Linker::new(&store); | ||
|
||
// Instantiate | ||
let instance = linker.instantiate_async(&inputs.env.module).await?; | ||
instance | ||
.get_export("_start") | ||
.ok_or_else(|| anyhow!("wasm is a wasi command with export _start"))? | ||
.into_func() | ||
.ok_or_else(|| anyhow!("_start is a func"))? | ||
.call_async(&[]) | ||
.await?; | ||
|
||
Ok(()) | ||
} |
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,10 @@ | ||
[package] | ||
name = "example-tokio-wasm" | ||
version = "0.0.0" | ||
authors = ["The Wasmtime Project Developers"] | ||
edition = "2018" | ||
publish = false | ||
|
||
[[bin]] | ||
path = "tokio-wasi.rs" | ||
name = "tokio-wasi" |
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,6 @@ | ||
fn main() { | ||
let name = std::env::var("NAME").unwrap(); | ||
println!("Hello, world! My name is {}", name); | ||
std::thread::sleep(std::time::Duration::from_secs(1)); | ||
println!("Goodbye from {}", name); | ||
} |