EIC code displayed by LXR master/​include/​c++/​v1/​__cxx03/​__stop_token/​stop_state.h	Source navigation Diff markup Identifier search General search
	Version: master test Revert   Change

File indexing completed on 2026-05-03 08:13:42

 // -*- C++ -*-
 //===----------------------------------------------------------------------===//
 //
 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
 // See https://llvm.org/LICENSE.txt for license information.
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //
 //===----------------------------------------------------------------------===//
 
 #ifndef _LIBCPP___CXX03___STOP_TOKEN_STOP_STATE_H
 #define _LIBCPP___CXX03___STOP_TOKEN_STOP_STATE_H
 
 #include <__cxx03/__assert>
 #include <__cxx03/__config>
 #include <__cxx03/__stop_token/atomic_unique_lock.h>
 #include <__cxx03/__stop_token/intrusive_list_view.h>
 #include <__cxx03/__thread/id.h>
 #include <__cxx03/atomic>
 #include <__cxx03/cstdint>
 
 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
 #  pragma GCC system_header
 #endif
 
 _LIBCPP_BEGIN_NAMESPACE_STD
 
 #if _LIBCPP_STD_VER >= 20 && !defined(_LIBCPP_HAS_NO_THREADS)
 
 struct __stop_callback_base : __intrusive_node_base<__stop_callback_base> {
   using __callback_fn_t = void(__stop_callback_base*) noexcept;
   _LIBCPP_HIDE_FROM_ABI explicit __stop_callback_base(__callback_fn_t* __callback_fn) : __callback_fn_(__callback_fn) {}
 
   _LIBCPP_HIDE_FROM_ABI void __invoke() noexcept { __callback_fn_(this); }
 
   __callback_fn_t* __callback_fn_;
   atomic<bool> __completed_ = false;
   bool* __destroyed_        = nullptr;
 };
 
 class __stop_state {
   static constexpr uint32_t __stop_requested_bit        = 1;
   static constexpr uint32_t __callback_list_locked_bit  = 1 << 1;
   static constexpr uint32_t __stop_source_counter_shift = 2;
 
   // The "stop_source counter" is not used for lifetime reference counting.
   // When the number of stop_source reaches 0, the remaining stop_tokens's
   // stop_possible will return false. We need this counter to track this.
   //
   // The "callback list locked" bit implements the atomic_unique_lock to
   // guard the operations on the callback list
   //
   //       31 - 2          |  1                   |    0           |
   //  stop_source counter  | callback list locked | stop_requested |
   atomic<uint32_t> __state_ = 0;
 
   // Reference count for stop_token + stop_callback + stop_source
   // When the counter reaches zero, the state is destroyed
   // It is used by __intrusive_shared_ptr, but it is stored here for better layout
   atomic<uint32_t> __ref_count_ = 0;
 
   using __state_t            = uint32_t;
   using __callback_list_lock = __atomic_unique_lock<__state_t, __callback_list_locked_bit>;
   using __callback_list      = __intrusive_list_view<__stop_callback_base>;
 
   __callback_list __callback_list_;
   __thread_id __requesting_thread_;
 
 public:
   _LIBCPP_HIDE_FROM_ABI __stop_state() noexcept = default;
 
   _LIBCPP_HIDE_FROM_ABI void __increment_stop_source_counter() noexcept {
     _LIBCPP_ASSERT_UNCATEGORIZED(
         __state_.load(std::memory_order_relaxed) <= static_cast<__state_t>(~(1 << __stop_source_counter_shift)),
         "stop_source's counter reaches the maximum. Incrementing the counter will overflow");
     __state_.fetch_add(1 << __stop_source_counter_shift, std::memory_order_relaxed);
   }
 
   // We are not destroying the object after counter decrements to zero, nor do we have
   // operations depend on the ordering of decrementing the counter. relaxed is enough.
   _LIBCPP_HIDE_FROM_ABI void __decrement_stop_source_counter() noexcept {
     _LIBCPP_ASSERT_UNCATEGORIZED(
         __state_.load(std::memory_order_relaxed) >= static_cast<__state_t>(1 << __stop_source_counter_shift),
         "stop_source's counter is 0. Decrementing the counter will underflow");
     __state_.fetch_sub(1 << __stop_source_counter_shift, std::memory_order_relaxed);
   }
 
   _LIBCPP_HIDE_FROM_ABI bool __stop_requested() const noexcept {
     // acquire because [thread.stoptoken.intro] A call to request_stop that returns true
     // synchronizes with a call to stop_requested on an associated stop_token or stop_source
     // object that returns true.
     // request_stop's compare_exchange_weak has release which syncs with this acquire
     return (__state_.load(std::memory_order_acquire) & __stop_requested_bit) != 0;
   }
 
   _LIBCPP_HIDE_FROM_ABI bool __stop_possible_for_stop_token() const noexcept {
     // [stoptoken.mem] false if "a stop request was not made and there are no associated stop_source objects"
     // Todo: Can this be std::memory_order_relaxed as the standard does not say anything except not to introduce data
     // race?
     __state_t __curent_state = __state_.load(std::memory_order_acquire);
     return ((__curent_state & __stop_requested_bit) != 0) || ((__curent_state >> __stop_source_counter_shift) != 0);
   }
 
   _LIBCPP_AVAILABILITY_SYNC _LIBCPP_HIDE_FROM_ABI bool __request_stop() noexcept {
     auto __cb_list_lock = __try_lock_for_request_stop();
     if (!__cb_list_lock.__owns_lock()) {
       return false;
     }
     __requesting_thread_ = this_thread::get_id();
 
     while (!__callback_list_.__empty()) {
       auto __cb = __callback_list_.__pop_front();
 
       // allow other callbacks to be removed while invoking the current callback
       __cb_list_lock.__unlock();
 
       bool __destroyed   = false;
       __cb->__destroyed_ = &__destroyed;
 
       __cb->__invoke();
 
       // __cb's invoke function could potentially delete itself. We need to check before accessing __cb's member
       if (!__destroyed) {
         // needs to set __destroyed_ pointer to nullptr, otherwise it points to a local variable
         // which is to be destroyed at the end of the loop
         __cb->__destroyed_ = nullptr;
 
         // [stopcallback.cons] If callback is concurrently executing on another thread, then the return
         // from the invocation of callback strongly happens before ([intro.races]) callback is destroyed.
         // this release syncs with the acquire in the remove_callback
         __cb->__completed_.store(true, std::memory_order_release);
         __cb->__completed_.notify_all();
       }
 
       __cb_list_lock.__lock();
     }
 
     return true;
   }
 
   _LIBCPP_AVAILABILITY_SYNC _LIBCPP_HIDE_FROM_ABI bool __add_callback(__stop_callback_base* __cb) noexcept {
     // If it is already stop_requested. Do not try to request it again.
     const auto __give_up_trying_to_lock_condition = [__cb](__state_t __state) {
       if ((__state & __stop_requested_bit) != 0) {
         // already stop requested, synchronously run the callback and no need to lock the list again
         __cb->__invoke();
         return true;
       }
       // no stop source. no need to lock the list to add the callback as it can never be invoked
       return (__state >> __stop_source_counter_shift) == 0;
     };
 
     __callback_list_lock __cb_list_lock(__state_, __give_up_trying_to_lock_condition);
 
     if (!__cb_list_lock.__owns_lock()) {
       return false;
     }
 
     __callback_list_.__push_front(__cb);
 
     return true;
     // unlock here: [thread.stoptoken.intro] Registration of a callback synchronizes with the invocation of
     // that callback.
     // Note: this release sync with the acquire in the request_stop' __try_lock_for_request_stop
   }
 
   // called by the destructor of stop_callback
   _LIBCPP_AVAILABILITY_SYNC _LIBCPP_HIDE_FROM_ABI void __remove_callback(__stop_callback_base* __cb) noexcept {
     __callback_list_lock __cb_list_lock(__state_);
 
     // under below condition, the request_stop call just popped __cb from the list and could execute it now
     bool __potentially_executing_now = __cb->__prev_ == nullptr && !__callback_list_.__is_head(__cb);
 
     if (__potentially_executing_now) {
       auto __requested_thread = __requesting_thread_;
       __cb_list_lock.__unlock();
 
       if (std::this_thread::get_id() != __requested_thread) {
         // [stopcallback.cons] If callback is concurrently executing on another thread, then the return
         // from the invocation of callback strongly happens before ([intro.races]) callback is destroyed.
         __cb->__completed_.wait(false, std::memory_order_acquire);
       } else {
         // The destructor of stop_callback runs on the same thread of the thread that invokes the callback.
         // The callback is potentially invoking its own destuctor. Set the flag to avoid accessing destroyed
         // members on the invoking side
         if (__cb->__destroyed_) {
           *__cb->__destroyed_ = true;
         }
       }
     } else {
       __callback_list_.__remove(__cb);
     }
   }
 
 private:
   _LIBCPP_AVAILABILITY_SYNC _LIBCPP_HIDE_FROM_ABI __callback_list_lock __try_lock_for_request_stop() noexcept {
     // If it is already stop_requested, do not try to request stop or lock the list again.
     const auto __lock_fail_condition = [](__state_t __state) { return (__state & __stop_requested_bit) != 0; };
 
     // set locked and requested bit at the same time
     const auto __after_lock_state = [](__state_t __state) {
       return __state | __callback_list_locked_bit | __stop_requested_bit;
     };
 
     // acq because [thread.stoptoken.intro] Registration of a callback synchronizes with the invocation of that
     //     callback. We are going to invoke the callback after getting the lock, acquire so that we can see the
     //     registration of a callback (and other writes that happens-before the add_callback)
     //     Note: the rel (unlock) in the add_callback syncs with this acq
     // rel because [thread.stoptoken.intro] A call to request_stop that returns true synchronizes with a call
     //     to stop_requested on an associated stop_token or stop_source object that returns true.
     //     We need to make sure that all writes (including user code) before request_stop will be made visible
     //     to the threads that waiting for `stop_requested == true`
     //     Note: this rel syncs with the acq in `stop_requested`
     const auto __locked_ordering = std::memory_order_acq_rel;
 
     return __callback_list_lock(__state_, __lock_fail_condition, __after_lock_state, __locked_ordering);
   }
 
   template <class _Tp>
   friend struct __intrusive_shared_ptr_traits;
 };
 
 template <class _Tp>
 struct __intrusive_shared_ptr_traits;
 
 template <>
 struct __intrusive_shared_ptr_traits<__stop_state> {
   _LIBCPP_HIDE_FROM_ABI static atomic<uint32_t>& __get_atomic_ref_count(__stop_state& __state) {
     return __state.__ref_count_;
   }
 };
 
 #endif // _LIBCPP_STD_VER >= 20 && !defined(_LIBCPP_HAS_NO_THREADS)
 
 _LIBCPP_END_NAMESPACE_STD
 
 #endif // _LIBCPP___CXX03___STOP_TOKEN_STOP_STATE_H

This page was automatically generated by the 2.3.7 LXR engine. The LXR team