wasi_common/lib.rs
1//! # wasi-common
2//!
3//! This is Wasmtime's legacy implementation of WASI 0.1 (Preview 1). The
4//! Wasmtime maintainers suggest all users upgrade to the implementation
5//! of WASI 0.1 and 0.2 provided by the `wasmtime-wasi` crate. This
6//! implementation remains in the wasmtime tree because it is required to use
7//! the `wasmtime-wasi-threads` crate, an implementation of the `wasi-threads`
8//! proposal which is not compatible with WASI 0.2.
9//!
10//! In addition to integration with Wasmtime, this implementation may be used
11//! by other runtimes by disabling the `wasmtime` feature on this crate.
12//!
13//! ## The `WasiFile` and `WasiDir` traits
14//!
15//! The WASI specification only defines one `handle` type, `fd`, on which all
16//! operations on both files and directories (aka dirfds) are defined. We
17//! believe this is a design mistake, and are architecting wasi-common to make
18//! this straightforward to correct in future snapshots of WASI. Wasi-common
19//! internally treats files and directories as two distinct resource types in
20//! the table - `Box<dyn WasiFile>` and `Box<dyn WasiDir>`. The snapshot 0 and
21//! 1 interfaces via `fd` will attempt to downcast a table element to one or
22//! both of these interfaces depending on what is appropriate - e.g.
23//! `fd_close` operates on both files and directories, `fd_read` only operates
24//! on files, and `fd_readdir` only operates on directories.
25
26//! The `WasiFile` and `WasiDir` traits are defined by `wasi-common` in terms
27//! of types defined directly in the crate's source code (I decided it should
28//! NOT those generated by the `wiggle` proc macros, see snapshot architecture
29//! below), as well as the `cap_std::time` family of types. And, importantly,
30//! `wasi-common` itself provides no implementation of `WasiDir`, and only two
31//! trivial implementations of `WasiFile` on the `crate::pipe::{ReadPipe,
32//! WritePipe}` types, which in turn just delegate to `std::io::{Read,
33//! Write}`. In order for `wasi-common` to access the local filesystem at all,
34//! you need to provide `WasiFile` and `WasiDir` impls through either the new
35//! `wasi-cap-std-sync` crate found at `crates/wasi-common/cap-std-sync` - see
36//! the section on that crate below - or by providing your own implementation
37//! from elsewhere.
38//!
39//! This design makes it possible for `wasi-common` embedders to statically
40//! reason about access to the local filesystem by examining what impls are
41//! linked into an application. We found that this separation of concerns also
42//! makes it pretty enjoyable to write alternative implementations, e.g. a
43//! virtual filesystem.
44//!
45//! Implementations of the `WasiFile` and `WasiDir` traits are provided
46//! for synchronous embeddings (i.e. Config::async_support(false)) in
47//! `wasi_common::sync` and for Tokio embeddings in `wasi_common::tokio`.
48//!
49//! ## Traits for the rest of WASI's features
50//!
51//! Other aspects of a WASI implementation are not yet considered resources
52//! and accessed by `handle`. We plan to correct this design deficiency in
53//! WASI in the future, but for now we have designed the following traits to
54//! provide embedders with the same sort of implementation flexibility they
55//! get with WasiFile/WasiDir:
56//!
57//! * Timekeeping: `WasiSystemClock` and `WasiMonotonicClock` provide the two
58//! interfaces for a clock. `WasiSystemClock` represents time as a
59//! `cap_std::time::SystemTime`, and `WasiMonotonicClock` represents time as
60//! `cap_std::time::Instant`. * Randomness: we re-use the `cap_rand::RngCore`
61//! trait to represent a randomness source. A trivial `Deterministic` impl is
62//! provided. * Scheduling: The `WasiSched` trait abstracts over the
63//! `sched_yield` and `poll_oneoff` functions.
64//!
65//! Users can provide implementations of each of these interfaces to the
66//! `WasiCtx::builder(...)` function. The
67//! `wasi_cap_std_sync::WasiCtxBuilder::new()` function uses this public
68//! interface to plug in its own implementations of each of these resources.
69
70#![warn(clippy::cast_sign_loss)]
71#![cfg_attr(docsrs, feature(doc_cfg))]
72
73pub mod clocks;
74mod ctx;
75pub mod dir;
76mod error;
77pub mod file;
78pub mod pipe;
79pub mod random;
80pub mod sched;
81pub mod snapshots;
82mod string_array;
83#[cfg_attr(docsrs, doc(cfg(feature = "sync")))]
84#[cfg(feature = "sync")]
85pub mod sync;
86pub mod table;
87#[cfg_attr(docsrs, doc(cfg(feature = "tokio")))]
88#[cfg(feature = "tokio")]
89pub mod tokio;
90
91pub use cap_rand::RngCore;
92pub use clocks::{SystemTimeSpec, WasiClocks, WasiMonotonicClock, WasiSystemClock};
93pub use ctx::WasiCtx;
94pub use dir::WasiDir;
95pub use error::{Error, ErrorExt, I32Exit};
96pub use file::WasiFile;
97pub use sched::{Poll, WasiSched};
98pub use string_array::{StringArray, StringArrayError};
99pub use table::Table;
100
101// The only difference between these definitions for sync vs async is whether
102// the wasmtime::Funcs generated are async (& therefore need an async Store and an executor to run)
103// or whether they have an internal "dummy executor" that expects the implementation of all
104// the async funcs to poll to Ready immediately.
105#[cfg(feature = "wasmtime")]
106#[doc(hidden)]
107#[macro_export]
108macro_rules! define_wasi {
109 ($async_mode:tt $($bounds:tt)*) => {
110
111 use wasmtime::Linker;
112
113 pub fn add_to_linker<T, U>(
114 linker: &mut Linker<T>,
115 get_cx: impl Fn(&mut T) -> &mut U + Send + Sync + Copy + 'static,
116 ) -> anyhow::Result<()>
117 where U: Send
118 + crate::snapshots::preview_0::wasi_unstable::WasiUnstable
119 + crate::snapshots::preview_1::wasi_snapshot_preview1::WasiSnapshotPreview1,
120 $($bounds)*
121 {
122 snapshots::preview_1::add_wasi_snapshot_preview1_to_linker(linker, get_cx)?;
123 snapshots::preview_0::add_wasi_unstable_to_linker(linker, get_cx)?;
124 Ok(())
125 }
126
127 pub mod snapshots {
128 pub mod preview_1 {
129 wiggle::wasmtime_integration!({
130 // The wiggle code to integrate with lives here:
131 target: crate::snapshots::preview_1,
132 witx: ["$CARGO_MANIFEST_DIR/witx/preview1/wasi_snapshot_preview1.witx"],
133 errors: { errno => trappable Error },
134 $async_mode: *
135 });
136 }
137 pub mod preview_0 {
138 wiggle::wasmtime_integration!({
139 // The wiggle code to integrate with lives here:
140 target: crate::snapshots::preview_0,
141 witx: ["$CARGO_MANIFEST_DIR/witx/preview0/wasi_unstable.witx"],
142 errors: { errno => trappable Error },
143 $async_mode: *
144 });
145 }
146 }
147}}
148
149/// Exit the process with a conventional OS error code as long as Wasmtime
150/// understands the error. If the error is not an `I32Exit` or `Trap`, return
151/// the error back to the caller for it to decide what to do.
152///
153/// Note: this function is designed for usage where it is acceptable for
154/// Wasmtime failures to terminate the parent process, such as in the Wasmtime
155/// CLI; this would not be suitable for use in multi-tenant embeddings.
156#[cfg_attr(docsrs, doc(cfg(feature = "exit")))]
157#[cfg(feature = "exit")]
158pub fn maybe_exit_on_error(e: anyhow::Error) -> anyhow::Error {
159 use std::process;
160 use wasmtime::Trap;
161
162 // If a specific WASI error code was requested then that's
163 // forwarded through to the process here without printing any
164 // extra error information.
165 let code = e.downcast_ref::<crate::I32Exit>().map(|e| e.0);
166 if let Some(exit) = code {
167 // Print the error message in the usual way.
168 // On Windows, exit status 3 indicates an abort (see below),
169 // so return 1 indicating a non-zero status to avoid ambiguity.
170 if cfg!(windows) && exit >= 3 {
171 process::exit(1);
172 }
173 process::exit(exit);
174 }
175
176 // If the program exited because of a trap, return an error code
177 // to the outside environment indicating a more severe problem
178 // than a simple failure.
179 if e.is::<Trap>() {
180 eprintln!("Error: {:?}", e);
181
182 if cfg!(unix) {
183 // On Unix, return the error code of an abort.
184 process::exit(128 + libc::SIGABRT);
185 } else if cfg!(windows) {
186 // On Windows, return 3.
187 // https://docs.microsoft.com/en-us/cpp/c-runtime-library/reference/abort?view=vs-2019
188 process::exit(3);
189 }
190 }
191
192 e
193}