mirror of
https://github.com/tokio-rs/tokio.git
synced 2025-09-25 12:00:35 +00:00

This change adds LocalRuntime, a new unstable runtime type which cannot be transferred across thread boundaries and supports spawn_local when called from the thread which owns the runtime. The initial set of docs for this are iffy. Documentation is absent right now at the module level, with the docs for the LocalRuntime struct itself being somewhat duplicative of those for the `Runtime` type. This can be addressed later as stabilization nears. This API has a few interesting implementation details: - because it was considered beneficial to reuse the same Handle as the normal runtime, it is possible to call spawn_local from a runtime context while on a different thread from the one which drives the runtime and owns it. This forces us to check the thread ID before attempting a local spawn. - An empty LocalOptions struct is passed into the build_local method in order to build the runtime. This will eventually have stuff in it like hooks. Relates to #6739.
425 lines
16 KiB
Rust
425 lines
16 KiB
Rust
//! The Tokio runtime.
|
|
//!
|
|
//! Unlike other Rust programs, asynchronous applications require runtime
|
|
//! support. In particular, the following runtime services are necessary:
|
|
//!
|
|
//! * An **I/O event loop**, called the driver, which drives I/O resources and
|
|
//! dispatches I/O events to tasks that depend on them.
|
|
//! * A **scheduler** to execute [tasks] that use these I/O resources.
|
|
//! * A **timer** for scheduling work to run after a set period of time.
|
|
//!
|
|
//! Tokio's [`Runtime`] bundles all of these services as a single type, allowing
|
|
//! them to be started, shut down, and configured together. However, often it is
|
|
//! not required to configure a [`Runtime`] manually, and a user may just use the
|
|
//! [`tokio::main`] attribute macro, which creates a [`Runtime`] under the hood.
|
|
//!
|
|
//! # Usage
|
|
//!
|
|
//! When no fine tuning is required, the [`tokio::main`] attribute macro can be
|
|
//! used.
|
|
//!
|
|
//! ```no_run
|
|
//! use tokio::net::TcpListener;
|
|
//! use tokio::io::{AsyncReadExt, AsyncWriteExt};
|
|
//!
|
|
//! #[tokio::main]
|
|
//! async fn main() -> Result<(), Box<dyn std::error::Error>> {
|
|
//! let listener = TcpListener::bind("127.0.0.1:8080").await?;
|
|
//!
|
|
//! loop {
|
|
//! let (mut socket, _) = listener.accept().await?;
|
|
//!
|
|
//! tokio::spawn(async move {
|
|
//! let mut buf = [0; 1024];
|
|
//!
|
|
//! // In a loop, read data from the socket and write the data back.
|
|
//! loop {
|
|
//! let n = match socket.read(&mut buf).await {
|
|
//! // socket closed
|
|
//! Ok(n) if n == 0 => return,
|
|
//! Ok(n) => n,
|
|
//! Err(e) => {
|
|
//! println!("failed to read from socket; err = {:?}", e);
|
|
//! return;
|
|
//! }
|
|
//! };
|
|
//!
|
|
//! // Write the data back
|
|
//! if let Err(e) = socket.write_all(&buf[0..n]).await {
|
|
//! println!("failed to write to socket; err = {:?}", e);
|
|
//! return;
|
|
//! }
|
|
//! }
|
|
//! });
|
|
//! }
|
|
//! }
|
|
//! ```
|
|
//!
|
|
//! From within the context of the runtime, additional tasks are spawned using
|
|
//! the [`tokio::spawn`] function. Futures spawned using this function will be
|
|
//! executed on the same thread pool used by the [`Runtime`].
|
|
//!
|
|
//! A [`Runtime`] instance can also be used directly.
|
|
//!
|
|
//! ```no_run
|
|
//! use tokio::net::TcpListener;
|
|
//! use tokio::io::{AsyncReadExt, AsyncWriteExt};
|
|
//! use tokio::runtime::Runtime;
|
|
//!
|
|
//! fn main() -> Result<(), Box<dyn std::error::Error>> {
|
|
//! // Create the runtime
|
|
//! let rt = Runtime::new()?;
|
|
//!
|
|
//! // Spawn the root task
|
|
//! rt.block_on(async {
|
|
//! let listener = TcpListener::bind("127.0.0.1:8080").await?;
|
|
//!
|
|
//! loop {
|
|
//! let (mut socket, _) = listener.accept().await?;
|
|
//!
|
|
//! tokio::spawn(async move {
|
|
//! let mut buf = [0; 1024];
|
|
//!
|
|
//! // In a loop, read data from the socket and write the data back.
|
|
//! loop {
|
|
//! let n = match socket.read(&mut buf).await {
|
|
//! // socket closed
|
|
//! Ok(n) if n == 0 => return,
|
|
//! Ok(n) => n,
|
|
//! Err(e) => {
|
|
//! println!("failed to read from socket; err = {:?}", e);
|
|
//! return;
|
|
//! }
|
|
//! };
|
|
//!
|
|
//! // Write the data back
|
|
//! if let Err(e) = socket.write_all(&buf[0..n]).await {
|
|
//! println!("failed to write to socket; err = {:?}", e);
|
|
//! return;
|
|
//! }
|
|
//! }
|
|
//! });
|
|
//! }
|
|
//! })
|
|
//! }
|
|
//! ```
|
|
//!
|
|
//! ## Runtime Configurations
|
|
//!
|
|
//! Tokio provides multiple task scheduling strategies, suitable for different
|
|
//! applications. The [runtime builder] or `#[tokio::main]` attribute may be
|
|
//! used to select which scheduler to use.
|
|
//!
|
|
//! #### Multi-Thread Scheduler
|
|
//!
|
|
//! The multi-thread scheduler executes futures on a _thread pool_, using a
|
|
//! work-stealing strategy. By default, it will start a worker thread for each
|
|
//! CPU core available on the system. This tends to be the ideal configuration
|
|
//! for most applications. The multi-thread scheduler requires the `rt-multi-thread`
|
|
//! feature flag, and is selected by default:
|
|
//! ```
|
|
//! use tokio::runtime;
|
|
//!
|
|
//! # fn main() -> Result<(), Box<dyn std::error::Error>> {
|
|
//! let threaded_rt = runtime::Runtime::new()?;
|
|
//! # Ok(()) }
|
|
//! ```
|
|
//!
|
|
//! Most applications should use the multi-thread scheduler, except in some
|
|
//! niche use-cases, such as when running only a single thread is required.
|
|
//!
|
|
//! #### Current-Thread Scheduler
|
|
//!
|
|
//! The current-thread scheduler provides a _single-threaded_ future executor.
|
|
//! All tasks will be created and executed on the current thread. This requires
|
|
//! the `rt` feature flag.
|
|
//! ```
|
|
//! use tokio::runtime;
|
|
//!
|
|
//! # fn main() -> Result<(), Box<dyn std::error::Error>> {
|
|
//! let rt = runtime::Builder::new_current_thread()
|
|
//! .build()?;
|
|
//! # Ok(()) }
|
|
//! ```
|
|
//!
|
|
//! #### Resource drivers
|
|
//!
|
|
//! When configuring a runtime by hand, no resource drivers are enabled by
|
|
//! default. In this case, attempting to use networking types or time types will
|
|
//! fail. In order to enable these types, the resource drivers must be enabled.
|
|
//! This is done with [`Builder::enable_io`] and [`Builder::enable_time`]. As a
|
|
//! shorthand, [`Builder::enable_all`] enables both resource drivers.
|
|
//!
|
|
//! ## Lifetime of spawned threads
|
|
//!
|
|
//! The runtime may spawn threads depending on its configuration and usage. The
|
|
//! multi-thread scheduler spawns threads to schedule tasks and for `spawn_blocking`
|
|
//! calls.
|
|
//!
|
|
//! While the `Runtime` is active, threads may shut down after periods of being
|
|
//! idle. Once `Runtime` is dropped, all runtime threads have usually been
|
|
//! terminated, but in the presence of unstoppable spawned work are not
|
|
//! guaranteed to have been terminated. See the
|
|
//! [struct level documentation](Runtime#shutdown) for more details.
|
|
//!
|
|
//! [tasks]: crate::task
|
|
//! [`Runtime`]: Runtime
|
|
//! [`tokio::spawn`]: crate::spawn
|
|
//! [`tokio::main`]: ../attr.main.html
|
|
//! [runtime builder]: crate::runtime::Builder
|
|
//! [`Runtime::new`]: crate::runtime::Runtime::new
|
|
//! [`Builder::threaded_scheduler`]: crate::runtime::Builder::threaded_scheduler
|
|
//! [`Builder::enable_io`]: crate::runtime::Builder::enable_io
|
|
//! [`Builder::enable_time`]: crate::runtime::Builder::enable_time
|
|
//! [`Builder::enable_all`]: crate::runtime::Builder::enable_all
|
|
//!
|
|
//! # Detailed runtime behavior
|
|
//!
|
|
//! This section gives more details into how the Tokio runtime will schedule
|
|
//! tasks for execution.
|
|
//!
|
|
//! At its most basic level, a runtime has a collection of tasks that need to be
|
|
//! scheduled. It will repeatedly remove a task from that collection and
|
|
//! schedule it (by calling [`poll`]). When the collection is empty, the thread
|
|
//! will go to sleep until a task is added to the collection.
|
|
//!
|
|
//! However, the above is not sufficient to guarantee a well-behaved runtime.
|
|
//! For example, the runtime might have a single task that is always ready to be
|
|
//! scheduled, and schedule that task every time. This is a problem because it
|
|
//! starves other tasks by not scheduling them. To solve this, Tokio provides
|
|
//! the following fairness guarantee:
|
|
//!
|
|
//! > If the total number of tasks does not grow without bound, and no task is
|
|
//! > [blocking the thread], then it is guaranteed that tasks are scheduled
|
|
//! > fairly.
|
|
//!
|
|
//! Or, more formally:
|
|
//!
|
|
//! > Under the following two assumptions:
|
|
//! >
|
|
//! > * There is some number `MAX_TASKS` such that the total number of tasks on
|
|
//! > the runtime at any specific point in time never exceeds `MAX_TASKS`.
|
|
//! > * There is some number `MAX_SCHEDULE` such that calling [`poll`] on any
|
|
//! > task spawned on the runtime returns within `MAX_SCHEDULE` time units.
|
|
//! >
|
|
//! > Then, there is some number `MAX_DELAY` such that when a task is woken, it
|
|
//! > will be scheduled by the runtime within `MAX_DELAY` time units.
|
|
//!
|
|
//! (Here, `MAX_TASKS` and `MAX_SCHEDULE` can be any number and the user of
|
|
//! the runtime may choose them. The `MAX_DELAY` number is controlled by the
|
|
//! runtime, and depends on the value of `MAX_TASKS` and `MAX_SCHEDULE`.)
|
|
//!
|
|
//! Other than the above fairness guarantee, there is no guarantee about the
|
|
//! order in which tasks are scheduled. There is also no guarantee that the
|
|
//! runtime is equally fair to all tasks. For example, if the runtime has two
|
|
//! tasks A and B that are both ready, then the runtime may schedule A five
|
|
//! times before it schedules B. This is the case even if A yields using
|
|
//! [`yield_now`]. All that is guaranteed is that it will schedule B eventually.
|
|
//!
|
|
//! Normally, tasks are scheduled only if they have been woken by calling
|
|
//! [`wake`] on their waker. However, this is not guaranteed, and Tokio may
|
|
//! schedule tasks that have not been woken under some circumstances. This is
|
|
//! called a spurious wakeup.
|
|
//!
|
|
//! ## IO and timers
|
|
//!
|
|
//! Beyond just scheduling tasks, the runtime must also manage IO resources and
|
|
//! timers. It does this by periodically checking whether there are any IO
|
|
//! resources or timers that are ready, and waking the relevant task so that
|
|
//! it will be scheduled.
|
|
//!
|
|
//! These checks are performed periodically between scheduling tasks. Under the
|
|
//! same assumptions as the previous fairness guarantee, Tokio guarantees that
|
|
//! it will wake tasks with an IO or timer event within some maximum number of
|
|
//! time units.
|
|
//!
|
|
//! ## Current thread runtime (behavior at the time of writing)
|
|
//!
|
|
//! This section describes how the [current thread runtime] behaves today. This
|
|
//! behavior may change in future versions of Tokio.
|
|
//!
|
|
//! The current thread runtime maintains two FIFO queues of tasks that are ready
|
|
//! to be scheduled: the global queue and the local queue. The runtime will prefer
|
|
//! to choose the next task to schedule from the local queue, and will only pick a
|
|
//! task from the global queue if the local queue is empty, or if it has picked
|
|
//! a task from the local queue 31 times in a row. The number 31 can be
|
|
//! changed using the [`global_queue_interval`] setting.
|
|
//!
|
|
//! The runtime will check for new IO or timer events whenever there are no
|
|
//! tasks ready to be scheduled, or when it has scheduled 61 tasks in a row. The
|
|
//! number 61 may be changed using the [`event_interval`] setting.
|
|
//!
|
|
//! When a task is woken from within a task running on the runtime, then the
|
|
//! woken task is added directly to the local queue. Otherwise, the task is
|
|
//! added to the global queue. The current thread runtime does not use [the lifo
|
|
//! slot optimization].
|
|
//!
|
|
//! ## Multi threaded runtime (behavior at the time of writing)
|
|
//!
|
|
//! This section describes how the [multi thread runtime] behaves today. This
|
|
//! behavior may change in future versions of Tokio.
|
|
//!
|
|
//! A multi thread runtime has a fixed number of worker threads, which are all
|
|
//! created on startup. The multi thread runtime maintains one global queue, and
|
|
//! a local queue for each worker thread. The local queue of a worker thread can
|
|
//! fit at most 256 tasks. If more than 256 tasks are added to the local queue,
|
|
//! then half of them are moved to the global queue to make space.
|
|
//!
|
|
//! The runtime will prefer to choose the next task to schedule from the local
|
|
//! queue, and will only pick a task from the global queue if the local queue is
|
|
//! empty, or if it has picked a task from the local queue
|
|
//! [`global_queue_interval`] times in a row. If the value of
|
|
//! [`global_queue_interval`] is not explicitly set using the runtime builder,
|
|
//! then the runtime will dynamically compute it using a heuristic that targets
|
|
//! 10ms intervals between each check of the global queue (based on the
|
|
//! [`worker_mean_poll_time`] metric).
|
|
//!
|
|
//! If both the local queue and global queue is empty, then the worker thread
|
|
//! will attempt to steal tasks from the local queue of another worker thread.
|
|
//! Stealing is done by moving half of the tasks in one local queue to another
|
|
//! local queue.
|
|
//!
|
|
//! The runtime will check for new IO or timer events whenever there are no
|
|
//! tasks ready to be scheduled, or when it has scheduled 61 tasks in a row. The
|
|
//! number 61 may be changed using the [`event_interval`] setting.
|
|
//!
|
|
//! The multi thread runtime uses [the lifo slot optimization]: Whenever a task
|
|
//! wakes up another task, the other task is added to the worker thread's lifo
|
|
//! slot instead of being added to a queue. If there was already a task in the
|
|
//! lifo slot when this happened, then the lifo slot is replaced, and the task
|
|
//! that used to be in the lifo slot is placed in the thread's local queue.
|
|
//! When the runtime finishes scheduling a task, it will schedule the task in
|
|
//! the lifo slot immediately, if any. When the lifo slot is used, the [coop
|
|
//! budget] is not reset. Furthermore, if a worker thread uses the lifo slot
|
|
//! three times in a row, it is temporarily disabled until the worker thread has
|
|
//! scheduled a task that didn't come from the lifo slot. The lifo slot can be
|
|
//! disabled using the [`disable_lifo_slot`] setting. The lifo slot is separate
|
|
//! from the local queue, so other worker threads cannot steal the task in the
|
|
//! lifo slot.
|
|
//!
|
|
//! When a task is woken from a thread that is not a worker thread, then the
|
|
//! task is placed in the global queue.
|
|
//!
|
|
//! [`poll`]: std::future::Future::poll
|
|
//! [`wake`]: std::task::Waker::wake
|
|
//! [`yield_now`]: crate::task::yield_now
|
|
//! [blocking the thread]: https://ryhl.io/blog/async-what-is-blocking/
|
|
//! [current thread runtime]: crate::runtime::Builder::new_current_thread
|
|
//! [multi thread runtime]: crate::runtime::Builder::new_multi_thread
|
|
//! [`global_queue_interval`]: crate::runtime::Builder::global_queue_interval
|
|
//! [`event_interval`]: crate::runtime::Builder::event_interval
|
|
//! [`disable_lifo_slot`]: crate::runtime::Builder::disable_lifo_slot
|
|
//! [the lifo slot optimization]: crate::runtime::Builder::disable_lifo_slot
|
|
//! [coop budget]: crate::task#cooperative-scheduling
|
|
//! [`worker_mean_poll_time`]: crate::runtime::RuntimeMetrics::worker_mean_poll_time
|
|
|
|
// At the top due to macros
|
|
#[cfg(test)]
|
|
#[cfg(not(target_family = "wasm"))]
|
|
#[macro_use]
|
|
mod tests;
|
|
|
|
pub(crate) mod context;
|
|
|
|
pub(crate) mod coop;
|
|
|
|
pub(crate) mod park;
|
|
|
|
mod driver;
|
|
|
|
pub(crate) mod scheduler;
|
|
|
|
cfg_io_driver_impl! {
|
|
pub(crate) mod io;
|
|
}
|
|
|
|
cfg_process_driver! {
|
|
mod process;
|
|
}
|
|
|
|
cfg_time! {
|
|
pub(crate) mod time;
|
|
}
|
|
|
|
cfg_signal_internal_and_unix! {
|
|
pub(crate) mod signal;
|
|
}
|
|
|
|
cfg_rt! {
|
|
pub(crate) mod task;
|
|
|
|
mod config;
|
|
use config::Config;
|
|
|
|
mod blocking;
|
|
#[cfg_attr(target_os = "wasi", allow(unused_imports))]
|
|
pub(crate) use blocking::spawn_blocking;
|
|
|
|
cfg_trace! {
|
|
pub(crate) use blocking::Mandatory;
|
|
}
|
|
|
|
cfg_fs! {
|
|
pub(crate) use blocking::spawn_mandatory_blocking;
|
|
}
|
|
|
|
mod builder;
|
|
pub use self::builder::Builder;
|
|
cfg_unstable! {
|
|
mod id;
|
|
#[cfg_attr(not(tokio_unstable), allow(unreachable_pub))]
|
|
pub use id::Id;
|
|
|
|
pub use self::builder::UnhandledPanic;
|
|
pub use crate::util::rand::RngSeed;
|
|
|
|
mod local_runtime;
|
|
pub use local_runtime::{LocalRuntime, LocalOptions};
|
|
}
|
|
|
|
cfg_taskdump! {
|
|
pub mod dump;
|
|
pub use dump::Dump;
|
|
}
|
|
|
|
mod task_hooks;
|
|
pub(crate) use task_hooks::{TaskHooks, TaskCallback};
|
|
#[cfg(tokio_unstable)]
|
|
pub use task_hooks::TaskMeta;
|
|
#[cfg(not(tokio_unstable))]
|
|
pub(crate) use task_hooks::TaskMeta;
|
|
|
|
mod handle;
|
|
pub use handle::{EnterGuard, Handle, TryCurrentError};
|
|
|
|
mod runtime;
|
|
pub use runtime::{Runtime, RuntimeFlavor};
|
|
|
|
/// Boundary value to prevent stack overflow caused by a large-sized
|
|
/// Future being placed in the stack.
|
|
pub(crate) const BOX_FUTURE_THRESHOLD: usize = if cfg!(debug_assertions) {
|
|
2048
|
|
} else {
|
|
16384
|
|
};
|
|
|
|
mod thread_id;
|
|
pub(crate) use thread_id::ThreadId;
|
|
|
|
pub(crate) mod metrics;
|
|
pub use metrics::RuntimeMetrics;
|
|
|
|
cfg_unstable_metrics! {
|
|
pub use metrics::HistogramScale;
|
|
|
|
cfg_net! {
|
|
pub(crate) use metrics::IoDriverMetrics;
|
|
}
|
|
}
|
|
|
|
pub(crate) use metrics::{MetricsBatch, SchedulerMetrics, WorkerMetrics, HistogramBuilder};
|
|
|
|
/// After thread starts / before thread stops
|
|
type Callback = std::sync::Arc<dyn Fn() + Send + Sync>;
|
|
}
|