[exec.scope.simple.counting.general]

🔗

namespace std::execution { class simple_counting_scope { public: / [exec.simple.counting.token], token struct token; using assoc-t = association-t<simple_counting_scope>; / exposition only static constexpr size_t max_associations = implementation-defined; / [exec.simple.counting.ctor], constructor and destructor simple_counting_scope() noexcept; simple_counting_scope(simple_counting_scope&&) = delete; ~simple_counting_scope(); / [exec.simple.counting.mem], members token get_token() noexcept; void close() noexcept; sender auto join() noexcept; private: size_t count; / exposition only scope-state-type state; / exposition only assoc-t try-associate() noexcept; / exposition only void disassociate() noexcept; / exposition only template<class State> bool start-join-sender(State& state) noexcept; / exposition only }; }

For purposes of determining the existence of a data race, get_token, close, join, try-associate, disassociate, and start-join-sender behave as atomic operations ([intro.multithread]).

These operations on a single object of type simple_counting_scope appear to occur in a single total order.

33 Execution control library [exec]

33.14 Execution scope utilities [exec.scope]

33.14.2 Counting Scopes [exec.counting.scopes]

33.14.2.2 Simple Counting Scope [exec.scope.simple.counting]

33.14.2.2.1 General [exec.scope.simple.counting.general]