Operation state for stdexec::when_all. More...

#include <when_all.hpp>

Inheritance diagram for Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >:

Classes
struct	WhenAllChildReceiver
	Receiver for a child of `stdexec::when_all`. More...

Public Types
using	operation_state_concept = stdexec::operation_state_tag
using	base_t = OpStateBase<Exec, Rcvr>
using	execution_space = Exec
using	state_t = State<GraphComposition::Create, execution_space>
using	root_t = typename state_t::graph_t::root_t
using	children_opstates_t = stdexec::__tuple<stdexec::connect_result_t<Sndrs, WhenAllChildReceiver>...>
using	node_t
Public Types inherited from Kokkos::Execution::GraphImpl::OpStateBase< Exec, Rcvr >
using	completion_signal_policy_t = decltype(select_completion_signal_policy())
using	completion_signal_t = Impl::CompletionSignal<completion_signal_policy_t, Exec, Rcvr>

Public Member Functions
	WhenAllOpState (stdexec::__tuple< Sndrs... > &&sndrs_, Rcvr &&rcvr_)
const auto &	query (get_node_t) const &noexcept
const auto &	query (get_graph_t) const &noexcept
void	submit () &noexcept
void	submit () &noexcept
template<typename Tag, typename... Args> requires (!std::same_as<Tag, stdexec::set_value_t>)
void	complete (Tag, Args &&... args) &noexcept
void	start () &noexcept
void	start () &noexcept
	If as_one is `true`, there is no need to start the branches.
void	submit_graph () &noexcept
constexpr auto	get_env () const noexcept -> stdexec::env_of_t< Rcvr >
Public Member Functions inherited from Kokkos::Execution::Impl::Immovable
	Immovable ()=default
	Immovable (Immovable &&)=delete
Immovable &	operator= (Immovable &&)=delete
	Immovable (const Immovable &)=delete
Immovable &	operator= (const Immovable &)=delete
	~Immovable ()=default
Public Member Functions inherited from Kokkos::Execution::GraphImpl::OpStateBase< Exec, Rcvr >
constexpr	OpStateBase (Rcvr rcvr) noexcept(std::is_nothrow_constructible_v< completion_signal_t, Rcvr && >)
template<typename Error>
void	complete (stdexec::set_error_t, Error &&error) noexcept
void	complete (stdexec::set_stopped_t) noexcept

Public Attributes
state_t	state
root_t	root
children_opstates_t	children_opstates
node_t	node
std::atomic< size_t >	count = sizeof...(Sndrs)
Public Attributes inherited from Kokkos::Execution::GraphImpl::OpStateBase< Exec, Rcvr >
completion_signal_t	completion_signal

Static Public Attributes
static constexpr bool	as_one = (remains_on_graph_for<execution_space, Sndrs, WhenAllChildReceiver> && ...)
	Determine if all branches remain fully on the graph, if connected to WhenAllChildReceiver.

Additional Inherited Members
Static Public Member Functions inherited from Kokkos::Execution::GraphImpl::OpStateBase< Exec, Rcvr >
static consteval auto	select_completion_signal_policy () noexcept

Detailed Description

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>
struct Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >

Operation state for stdexec::when_all.

It creates the graph, and passes it to its branches through the receiver environment.

Definition at line 34 of file when_all.hpp.

Member Typedef Documentation

◆ base_t

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

using Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::base_t = OpStateBase<Exec, Rcvr>

Definition at line 39 of file when_all.hpp.

◆ children_opstates_t

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

using Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::children_opstates_t = stdexec::__tuple<stdexec::connect_result_t<Sndrs, WhenAllChildReceiver>...>

Definition at line 53 of file when_all.hpp.

◆ execution_space

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

using Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::execution_space = Exec

Definition at line 40 of file when_all.hpp.

◆ node_t

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

using Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::node_t

Initial value:

 decltype(stdexec::__apply(
        [](const auto&... ops) { return Kokkos::Experimental::when_all(ops.query(get_node)...); },
        std::declval<const children_opstates_t&>()))

Definition at line 68 of file when_all.hpp.

◆ operation_state_concept

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

using Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::operation_state_concept = stdexec::operation_state_tag

Definition at line 37 of file when_all.hpp.

◆ root_t

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

using Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::root_t = typename state_t::graph_t::root_t

Definition at line 43 of file when_all.hpp.

◆ state_t

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

using Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::state_t = State<GraphComposition::Create, execution_space>

Definition at line 42 of file when_all.hpp.

Constructor & Destructor Documentation

◆ WhenAllOpState()

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::WhenAllOpState	(	stdexec::__tuple< Sndrs... > &&	sndrs_,
		Rcvr &&	rcvr_ )

inline

Warning: Unconditionally not noexcept because both graph and node construction may throw.

Todo: The graph will be created on the default device and submitted on the default execution space instance. The device selection for each node will still happen correctly occording to each node properties. A possibility could be to ask the successor of stdexec::when_all for an execution space instance to submit the graph onto.

Definition at line 80 of file when_all.hpp.

References children_opstates, root, and state.

Member Function Documentation

◆ complete()

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

template<typename Tag, typename... Args>
requires (!std::same_as<Tag, stdexec::set_value_t>)

void Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::complete	(	Tag	,
		Args &&...	args ) &

inlinenoexcept

Definition at line 153 of file when_all.hpp.

References Kokkos::Execution::GraphImpl::OpStateBase< Exec, Rcvr >::complete().

◆ get_env()

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

auto Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::get_env ( ) const->stdexec::env_of_t< Rcvr >

inlinenodiscardconstexprnoexcept

Definition at line 188 of file when_all.hpp.

References Kokkos::Execution::GraphImpl::OpStateBase< Exec, Rcvr >::completion_signal.

◆ query() [1/2]

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

const auto & Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::query ( get_graph_t ) const &

inlinenoexcept

Definition at line 111 of file when_all.hpp.

References state.

◆ query() [2/2]

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

const auto & Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::query ( get_node_t ) const &

inlinenoexcept

Definition at line 107 of file when_all.hpp.

References node.

◆ start() [1/2]

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

void Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::start ( ) &

inlinenoexcept

If as_one is true, there is no need to start the branches.

Definition at line 166 of file when_all.hpp.

References as_one, and submit().

◆ start() [2/2]

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

void Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::start ( ) &

inlinenoexcept

Definition at line 157 of file when_all.hpp.

References as_one, and children_opstates.

◆ submit() [1/2]

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

void Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::submit ( ) &

inlinenoexcept

Definition at line 146 of file when_all.hpp.

References Kokkos::Execution::GraphImpl::submit_graph().

◆ submit() [2/2]

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

void Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::submit ( ) &

inlinenoexcept

Each branch calls this method if as_one is false. Once the counter decreases to zero, the graph is submitted. It is intended, because there is no strong check on the branch content if as_one is false. Indeed, one of the branches may start with operations that are not part of the graph, implying that the graph cannot be submitted by one of the other branches.

The following schematic illustrates such a situation.

* (branch 1) -> (thread) -> (then) -> (graph) -> (then) -\
*                                                         -> (when_all)
* (branch 0) -> (graph) -> (bulk)                       -/
*

If the branch 0 submits the graph before calling WhenAllOpState::complete, the graph will be submitted before the branch 1 is started, leading to operations of the graph in branch 1 potentially running before the "thread".

Todo: Add a test for the above schematic.

In the future, a solution could be to create one graph per branch in such a setting, but it would require introspecting the sender type of each branch, recursively.

Definition at line 139 of file when_all.hpp.

References as_one, count, and Kokkos::Execution::GraphImpl::submit_graph().

◆ submit_graph()

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

void Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::submit_graph ( ) &

inlinenoexcept

Definition at line 174 of file when_all.hpp.

References Kokkos::Execution::GraphImpl::OpStateBase< Exec, Rcvr >::completion_signal, Kokkos::Execution::GraphImpl::get_graph_impl_ptr(), state, and Kokkos::Execution::GraphImpl::submit_graph().

Member Data Documentation

◆ as_one

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

bool Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::as_one = (remains_on_graph_for<execution_space, Sndrs, WhenAllChildReceiver> && ...)

staticconstexpr

Determine if all branches remain fully on the graph, if connected to WhenAllChildReceiver.

Definition at line 66 of file when_all.hpp.

◆ children_opstates

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

children_opstates_t Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::children_opstates

Definition at line 75 of file when_all.hpp.

◆ count

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

std::atomic<size_t> Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::count = sizeof...(Sndrs)

Definition at line 77 of file when_all.hpp.

◆ node

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

node_t Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::node

Definition at line 76 of file when_all.hpp.

◆ root

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

root_t Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::root

Todo: The root node is stored to avoid reference counting incurred by https://github.com/kokkos/kokkos/blob/1945b637c3fab027fe90208753e8b2ec236302d4/core/src/Kokkos_Graph.hpp#L100.

Definition at line 74 of file when_all.hpp.

◆ state

template<Kokkos::ExecutionSpace Exec, stdexec::receiver Rcvr, stdexec::sender... Sndrs>

state_t Kokkos::Execution::GraphImpl::WhenAllOpState< Exec, Rcvr, Sndrs >::state

Definition at line 72 of file when_all.hpp.

The documentation for this struct was generated from the following file:

/__w/kokkos-execution/kokkos-execution/kokkos-execution/graph/when_all.hpp

Classes

Public Types

Public Member Functions

Public Attributes

Static Public Attributes

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ base_t

◆ children_opstates_t

◆ execution_space

◆ node_t

◆ operation_state_concept

◆ root_t

◆ state_t

Constructor & Destructor Documentation

◆ WhenAllOpState()

Member Function Documentation

◆ complete()

◆ get_env()

◆ query() [1/2]

◆ query() [2/2]

◆ start() [1/2]

◆ start() [2/2]

◆ submit() [1/2]

◆ submit() [2/2]

◆ submit_graph()

Member Data Documentation

◆ as_one

◆ children_opstates

◆ count

◆ node

◆ root

◆ state