Showing content from https://en.cppreference.com/w/cpp/language/../experimental/execution.html below:
Execution control library (since C++26)
Execution control library
The Execution control library provides a framework for managing asynchronous execution on generic execution resources.
The library aims to provide vocabulary types for asynchronous operations and to allow the construction of task execution graphs in a simple, composable way.
[edit] Library-wide definitions
- Sender: A description of asynchronous work to be sent for execution. Produces an operation state (below).
-
- Senders asynchronously âsendâ their results to listeners called âreceiversâ (below).
- Senders can be composed into task graphs using generic algorithms.
- Sender factories and adaptors are generic algorithms that capture common async patterns in objects satisfying the sender concept.
- Receiver: A generalized callback that consumes or âreceivesâ the asynchronous results produced by a sender.
-
- Receivers have three different âchannelsâ through which a sender may propagate results: success, failure, and canceled, so-named âvalueâ, âerrorâ, and âstoppedâ.
- Receivers provide an extensible execution environment: a set of key/value pairs that the consumer can use to parameterize the asynchronous operation.
- Operation State: An object that contains the state needed by the asynchronous operation.
-
- A sender and receiver are connected when passed to the std::execution::connect function.
- The result of connecting a sender and a receiver is an operation state.
- Work is not enqueued for execution until â
start
â is called on an operation state.
- Once started, the operation stateâs lifetime cannot end before the async operation is complete, and its address must be stable.
- Scheduler: A lightweight handle to an execution context.
-
- An execution context is a source of asynchronous execution such as a thread pool or a GPU stream.
- A scheduler is a factory for a sender that completes its receiver from a thread of execution owned by the execution context.
[edit] Library utilities [edit] Concepts [edit] Schedulers [edit] Senders [edit] Receivers [edit] Operation states [edit] Utility components [edit] Execution contexts [edit] Execution domains [edit] Forward progress guarantee [edit] Environments builds a queryable object from a query object and a value
(class template) [edit] aggregates several queryable objects into one queryable object
(class template) [edit] returns the associated queryable object for its given argument
(customization point object)[edit] [edit] Queries [edit] Completion signatures [edit] Coroutine utility [edit] Core operations [edit] Operation state [edit] Completion functions
These functions are called by senders to announce the completion of the work to their receivers.
value completion function indicating successful completion
(customization point object)[edit] error completion function indicating that an error occurred during calculation or scheduling
(customization point object)[edit] stopped completion function indicating that an operation ended before it could achieve success or failure
(customization point object)[edit] [edit] Sender algorithms [edit] Sender factories
A sender factory is a function that returns a sender and whose parameters have types for which the sender
concept is false.
The following are sender factories:
Accepts a variadic number of arguments and returns a sender that, when connected and started, completes synchronously by passing the arguments to the receiver's value completion function
(customization point object)[edit] Accepts a single argument and returns a sender that, when connected and started, completes synchronously by passing the argument to the receiver's error completion function
(customization point object)[edit] creates a sender that completes immediately by calling its receiver's set_stopped
(customization point object)[edit] creates a sender that queries its receiver's associated environment
(customization point object)[edit] prepares a task graph for execution on a given scheduler
(customization point object)[edit] [edit] Pipeable sender adaptors [edit] Sender adaptors
A sender adaptor is a function returning a sender whose parameters include at least one whose type satisfies the sender
concept, and for which the returned sender is a parent sender of the adaptor function's sender arguments.
The following are sender adaptors:
adapts a provided sender into one that will start an execution on the provided scheduler's execution resource
(customization point object)[edit] adapts a provided sender into one that completes on the provided scheduler's execution resource
(customization point object)[edit] adapts a provided sender to transfer execution to a provided scheduler's execution resource on which the sender or the continuation runs, and then transfers execution back to the original resource
(customization point object)[edit] schedules work dependent on the completion of a provided sender onto a provided scheduler's execution resource
(customization point object)[edit] chains the task graph by the input sender with a node represents invoking the provided function with the values sent by the input sender as arguments
(customization point object)[edit] chains the task graph by the input sender with a node representing invoking the provided function with the error sent by the input sender if an error occurred
(customization point object)[edit] chains the task graph by the input sender with a node representing invoking the provided function with the stopped behavior by the input sender if a "stopped" signal is sent
(customization point object)[edit] returns a sender which represents a node chained to the input sender, which when started, invokes the provided function with the values sent by the input sender as arguments
(customization point object)[edit] returns a sender which represents a node chained to the input sender, which invokes the provided function with the error from the input sender, if occurred
(customization point object)[edit] returns a sender which represents a node chained to the input sender, which invokes the provided function with the stop token from the input sender, if the "stopped" signal is sent
(customization point object)[edit] creates a multi-shot sender that invokes the function with every index in the provided shape along with the values sent by the input sender. The sender completes once all invocations have completed, or an error has occurred
(customization point object)[edit] if the provided sender is a multi-shot sender, returns that sender, otherwise, returns a multi-shot sender which sends values equivalent to the values sent by the provided sender
(customization point object)[edit] adapts multiple input senders into a sender that completes once all of the input senders have completed
(customization point object)[edit] adapts multiple input senders, with each possibly having multiple completion signatures, into a sender that completes once all of the input senders have completed
(customization point object)[edit] returns a sender which sends a variant of tuples of all the possible sets of types sent by the input sender
(customization point object)[edit] returns a sender that maps the value channel to std::optional<std::decay_t<T>> and the stopped channel to std::nullopt
(customization point object)[edit] returns a sender that maps the stopped channel to an error
(customization point object)[edit] [edit] Sender consumers
A sender consumer is an algorithm that takes one or more senders as parameters and that does not return a sender.
blocks current thread until the specified sender completes and returns its async result
(customization point object)[edit] blocks current thread until the specified sender with possibly multiple completion signatures completes and returns its async result
(customization point object)[edit] [edit] Example
A version of this example is available on godbolt.org, where it uses stdexec, an experimental reference implementation of std::execution.
#include <cstdio>
#include <execution>
#include <string>
#include <thread>
#include <utility>
using namespace std::literals;
int main()
{
std::execution::run_loop loop;
std::jthread worker([&](std::stop_token st)
{
std::stop_callback cb{st, [&]{ loop.finish(); }};
loop.run();
});
std::execution::sender auto hello = std::execution::just("hello world"s);
std::execution::sender auto print
= std::move(hello)
| std::execution::then([](std::string msg)
{
return std::puts(msg.c_str());
});
std::execution::scheduler auto io_thread = loop.get_scheduler();
std::execution::sender auto work = std::execution::on(io_thread, std::move(print));
auto [result] = std::this_thread::sync_wait(std::move(work)).value();
return result;
}
Output:
[edit] See also runs a function asynchronously (potentially in a new thread) and returns a std::future that will hold the result
(function template) [edit]
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4