| 1 | 
 // <stop_token> -*- C++ -*- | 
 
 
 
 
 
 | 2 | 
  | 
 
 
 
 
 
 | 3 | 
 // Copyright (C) 2019-2021 Free Software Foundation, Inc. | 
 
 
 
 
 
 | 4 | 
 // | 
 
 
 
 
 
 | 5 | 
 // This file is part of the GNU ISO C++ Library.  This library is free | 
 
 
 
 
 
 | 6 | 
 // software; you can redistribute it and/or modify it under the | 
 
 
 
 
 
 | 7 | 
 // terms of the GNU General Public License as published by the | 
 
 
 
 
 
 | 8 | 
 // Free Software Foundation; either version 3, or (at your option) | 
 
 
 
 
 
 | 9 | 
 // any later version. | 
 
 
 
 
 
 | 10 | 
  | 
 
 
 
 
 
 | 11 | 
 // This library is distributed in the hope that it will be useful, | 
 
 
 
 
 
 | 12 | 
 // but WITHOUT ANY WARRANTY; without even the implied warranty of | 
 
 
 
 
 
 | 13 | 
 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
 
 
 
 
 
 | 14 | 
 // GNU General Public License for more details. | 
 
 
 
 
 
 | 15 | 
  | 
 
 
 
 
 
 | 16 | 
 // Under Section 7 of GPL version 3, you are granted additional | 
 
 
 
 
 
 | 17 | 
 // permissions described in the GCC Runtime Library Exception, version | 
 
 
 
 
 
 | 18 | 
 // 3.1, as published by the Free Software Foundation. | 
 
 
 
 
 
 | 19 | 
  | 
 
 
 
 
 
 | 20 | 
 // You should have received a copy of the GNU General Public License and | 
 
 
 
 
 
 | 21 | 
 // a copy of the GCC Runtime Library Exception along with this program; | 
 
 
 
 
 
 | 22 | 
 // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see | 
 
 
 
 
 
 | 23 | 
 // <http://www.gnu.org/licenses/>. | 
 
 
 
 
 
 | 24 | 
  | 
 
 
 
 
 
 | 25 | 
 /** @file include/stop_token | 
 
 
 
 
 
 | 26 | 
  *  This is a Standard C++ Library header. | 
 
 
 
 
 
 | 27 | 
  */ | 
 
 
 
 
 
 | 28 | 
  | 
 
 
 
 
 
 | 29 | 
 #ifndef _GLIBCXX_STOP_TOKEN | 
 
 
 
 
 
 | 30 | 
 #define _GLIBCXX_STOP_TOKEN | 
 
 
 
 
 
 | 31 | 
  | 
 
 
 
 
 
 | 32 | 
 #if __cplusplus > 201703L | 
 
 
 
 
 
 | 33 | 
  | 
 
 
 
 
 
 | 34 | 
 #include <atomic> | 
 
 
 
 
 
 | 35 | 
 #include <bits/std_thread.h> | 
 
 
 
 
 
 | 36 | 
  | 
 
 
 
 
 
 | 37 | 
 #include <semaphore> | 
 
 
 
 
 
 | 38 | 
  | 
 
 
 
 
 
 | 39 | 
 #define __cpp_lib_jthread 201911L | 
 
 
 
 
 
 | 40 | 
  | 
 
 
 
 
 
 | 41 | 
 namespace std _GLIBCXX_VISIBILITY(default) | 
 
 
 
 
 
 | 42 | 
 { | 
 
 
 
 
 
 | 43 | 
 _GLIBCXX_BEGIN_NAMESPACE_VERSION | 
 
 
 
 
 
 | 44 | 
  | 
 
 
 
 
 
 | 45 | 
   /// Tag type indicating a stop_source should have no shared-stop-state. | 
 
 
 
 
 
 | 46 | 
   struct nostopstate_t { explicit nostopstate_t() = default; }; | 
 
 
 
 
 
 | 47 | 
   inline constexpr nostopstate_t nostopstate{}; | 
 
 
 
 
 
 | 48 | 
  | 
 
 
 
 
 
 | 49 | 
   class stop_source; | 
 
 
 
 
 
 | 50 | 
  | 
 
 
 
 
 
 | 51 | 
   /// Allow testing whether a stop request has been made on a `stop_source`. | 
 
 
 
 
 
 | 52 | 
   class stop_token | 
 
 
 
 
 
 | 53 | 
   { | 
 
 
 
 
 
 | 54 | 
   public: | 
 
 
 
 
 
 | 55 | 
     stop_token() noexcept = default; | 
 
 
 
 
 
 | 56 | 
  | 
 
 
 
 
 
 | 57 | 
     stop_token(const stop_token&) noexcept = default; | 
 
 
 
 
 
 | 58 | 
     stop_token(stop_token&&) noexcept = default; | 
 
 
 
 
 
 | 59 | 
  | 
 
 
 
 
 
 | 60 | 
     ~stop_token() = default; | 
 
 
 
 
 
 | 61 | 
  | 
 
 
 
 
 
 | 62 | 
     stop_token& | 
 
 
 
 
 
 | 63 | 
     operator=(const stop_token&) noexcept = default; | 
 
 
 
 
 
 | 64 | 
  | 
 
 
 
 
 
 | 65 | 
     stop_token& | 
 
 
 
 
 
 | 66 | 
     operator=(stop_token&&) noexcept = default; | 
 
 
 
 
 
 | 67 | 
  | 
 
 
 
 
 
 | 68 | 
     [[nodiscard]] | 
 
 
 
 
 
 | 69 | 
     bool | 
 
 
 
 
 
 | 70 | 
     stop_possible() const noexcept | 
 
 
 
 
 
 | 71 | 
     { | 
 
 
 
 
 
 | 72 | 
       return static_cast<bool>(_M_state) && _M_state->_M_stop_possible(); | 
 
 
 
 
 
 | 73 | 
     } | 
 
 
 
 
 
 | 74 | 
  | 
 
 
 
 
 
 | 75 | 
     [[nodiscard]] | 
 
 
 
 
 
 | 76 | 
     bool | 
 
 
 
 
 
 | 77 | 
     stop_requested() const noexcept | 
 
 
 
 
 
 | 78 | 
     { | 
 
 
 
 
 
 | 79 | 
       return static_cast<bool>(_M_state) && _M_state->_M_stop_requested(); | 
 
 
 
 
 
 | 80 | 
     } | 
 
 
 
 
 
 | 81 | 
  | 
 
 
 
 
 
 | 82 | 
     void | 
 
 
 
 
 
 | 83 | 
     swap(stop_token& __rhs) noexcept | 
 
 
 
 
 
 | 84 | 
     { _M_state.swap(__rhs._M_state); } | 
 
 
 
 
 
 | 85 | 
  | 
 
 
 
 
 
 | 86 | 
     [[nodiscard]] | 
 
 
 
 
 
 | 87 | 
     friend bool | 
 
 
 
 
 
 | 88 | 
     operator==(const stop_token& __a, const stop_token& __b) | 
 
 
 
 
 
 | 89 | 
     { return __a._M_state == __b._M_state; } | 
 
 
 
 
 
 | 90 | 
  | 
 
 
 
 
 
 | 91 | 
     friend void | 
 
 
 
 
 
 | 92 | 
     swap(stop_token& __lhs, stop_token& __rhs) noexcept | 
 
 
 
 
 
 | 93 | 
     { __lhs.swap(__rhs); } | 
 
 
 
 
 
 | 94 | 
  | 
 
 
 
 
 
 | 95 | 
   private: | 
 
 
 
 
 
 | 96 | 
     friend class stop_source; | 
 
 
 
 
 
 | 97 | 
     template<typename _Callback> | 
 
 
 
 
 
 | 98 | 
       friend class stop_callback; | 
 
 
 
 
 
 | 99 | 
  | 
 
 
 
 
 
 | 100 | 
     static void | 
 
 
 
 
 
 | 101 | 
     _S_yield() noexcept | 
 
 
 
 
 
 | 102 | 
     { | 
 
 
 
 
 
 | 103 | 
 #if defined __i386__ || defined __x86_64__ | 
 
 
 
 
 
 | 104 | 
       __builtin_ia32_pause(); | 
 
 
 
 
 
 | 105 | 
 #endif | 
 
 
 
 
 
 | 106 | 
       this_thread::yield(); | 
 
 
 
 
 
 | 107 | 
     } | 
 
 
 
 
 
 | 108 | 
  | 
 
 
 
 
 
 | 109 | 
 #ifndef __cpp_lib_semaphore | 
 
 
 
 
 
 | 110 | 
     struct binary_semaphore | 
 
 
 
 
 
 | 111 | 
     { | 
 
 
 
 
 
 | 112 | 
       explicit binary_semaphore(int __d) : _M_counter(__d > 0) { } | 
 
 
 
 
 
 | 113 | 
  | 
 
 
 
 
 
 | 114 | 
       void release() { _M_counter.fetch_add(1, memory_order::release); } | 
 
 
 
 
 
 | 115 | 
  | 
 
 
 
 
 
 | 116 | 
       void acquire() | 
 
 
 
 
 
 | 117 | 
       { | 
 
 
 
 
 
 | 118 | 
         int __old = 1; | 
 
 
 
 
 
 | 119 | 
         while (!_M_counter.compare_exchange_weak(__old, 0, | 
 
 
 
 
 
 | 120 | 
                                                  memory_order::acquire, | 
 
 
 
 
 
 | 121 | 
                                                  memory_order::relaxed)) | 
 
 
 
 
 
 | 122 | 
           { | 
 
 
 
 
 
 | 123 | 
             __old = 1; | 
 
 
 
 
 
 | 124 | 
             _S_yield(); | 
 
 
 
 
 
 | 125 | 
           } | 
 
 
 
 
 
 | 126 | 
       } | 
 
 
 
 
 
 | 127 | 
  | 
 
 
 
 
 
 | 128 | 
       atomic<int> _M_counter; | 
 
 
 
 
 
 | 129 | 
     }; | 
 
 
 
 
 
 | 130 | 
 #endif | 
 
 
 
 
 
 | 131 | 
  | 
 
 
 
 
 
 | 132 | 
     struct _Stop_cb | 
 
 
 
 
 
 | 133 | 
     { | 
 
 
 
 
 
 | 134 | 
       using __cb_type = void(_Stop_cb*) noexcept; | 
 
 
 
 
 
 | 135 | 
       __cb_type* _M_callback; | 
 
 
 
 
 
 | 136 | 
       _Stop_cb* _M_prev = nullptr; | 
 
 
 
 
 
 | 137 | 
       _Stop_cb* _M_next = nullptr; | 
 
 
 
 
 
 | 138 | 
       bool* _M_destroyed = nullptr; | 
 
 
 
 
 
 | 139 | 
       binary_semaphore _M_done{0}; | 
 
 
 
 
 
 | 140 | 
  | 
 
 
 
 
 
 | 141 | 
       [[__gnu__::__nonnull__]] | 
 
 
 
 
 
 | 142 | 
       explicit | 
 
 
 
 
 
 | 143 | 
       _Stop_cb(__cb_type* __cb) | 
 
 
 
 
 
 | 144 | 
       : _M_callback(__cb) | 
 
 
 
 
 
 | 145 | 
       { } | 
 
 
 
 
 
 | 146 | 
  | 
 
 
 
 
 
 | 147 | 
       void _M_run() noexcept { _M_callback(this); } | 
 
 
 
 
 
 | 148 | 
     }; | 
 
 
 
 
 
 | 149 | 
  | 
 
 
 
 
 
 | 150 | 
     struct _Stop_state_t | 
 
 
 
 
 
 | 151 | 
     { | 
 
 
 
 
 
 | 152 | 
       using value_type = uint32_t; | 
 
 
 
 
 
 | 153 | 
       static constexpr value_type _S_stop_requested_bit = 1; | 
 
 
 
 
 
 | 154 | 
       static constexpr value_type _S_locked_bit = 2; | 
 
 
 
 
 
 | 155 | 
       static constexpr value_type _S_ssrc_counter_inc = 4; | 
 
 
 
 
 
 | 156 | 
  | 
 
 
 
 
 
 | 157 | 
       std::atomic<value_type> _M_owners{1}; | 
 
 
 
 
 
 | 158 | 
       std::atomic<value_type> _M_value{_S_ssrc_counter_inc}; | 
 
 
 
 
 
 | 159 | 
       _Stop_cb* _M_head = nullptr; | 
 
 
 
 
 
 | 160 | 
       std::thread::id _M_requester; | 
 
 
 
 
 
 | 161 | 
  | 
 
 
 
 
 
 | 162 | 
       _Stop_state_t() = default; | 
 
 
 
 
 
 | 163 | 
  | 
 
 
 
 
 
 | 164 | 
       bool | 
 
 
 
 
 
 | 165 | 
       _M_stop_possible() noexcept | 
 
 
 
 
 
 | 166 | 
       { | 
 
 
 
 
 
 | 167 | 
         // true if a stop request has already been made or there are still | 
 
 
 
 
 
 | 168 | 
         // stop_source objects that would allow one to be made. | 
 
 
 
 
 
 | 169 | 
         return _M_value.load(memory_order::acquire) & ~_S_locked_bit; | 
 
 
 
 
 
 | 170 | 
       } | 
 
 
 
 
 
 | 171 | 
  | 
 
 
 
 
 
 | 172 | 
       bool | 
 
 
 
 
 
 | 173 | 
       _M_stop_requested() noexcept | 
 
 
 
 
 
 | 174 | 
       { | 
 
 
 
 
 
 | 175 | 
         return _M_value.load(memory_order::acquire) & _S_stop_requested_bit; | 
 
 
 
 
 
 | 176 | 
       } | 
 
 
 
 
 
 | 177 | 
  | 
 
 
 
 
 
 | 178 | 
       void | 
 
 
 
 
 
 | 179 | 
       _M_add_owner() noexcept | 
 
 
 
 
 
 | 180 | 
       { | 
 
 
 
 
 
 | 181 | 
         _M_owners.fetch_add(1, memory_order::relaxed); | 
 
 
 
 
 
 | 182 | 
       } | 
 
 
 
 
 
 | 183 | 
  | 
 
 
 
 
 
 | 184 | 
       void | 
 
 
 
 
 
 | 185 | 
       _M_release_ownership() noexcept | 
 
 
 
 
 
 | 186 | 
       { | 
 
 
 
 
 
 | 187 | 
         if (_M_owners.fetch_sub(1, memory_order::acq_rel) == 1) | 
 
 
 
 
 
 | 188 | 
           delete this; | 
 
 
 
 
 
 | 189 | 
       } | 
 
 
 
 
 
 | 190 | 
  | 
 
 
 
 
 
 | 191 | 
       void | 
 
 
 
 
 
 | 192 | 
       _M_add_ssrc() noexcept | 
 
 
 
 
 
 | 193 | 
       { | 
 
 
 
 
 
 | 194 | 
         _M_value.fetch_add(_S_ssrc_counter_inc, memory_order::relaxed); | 
 
 
 
 
 
 | 195 | 
       } | 
 
 
 
 
 
 | 196 | 
  | 
 
 
 
 
 
 | 197 | 
       void | 
 
 
 
 
 
 | 198 | 
       _M_sub_ssrc() noexcept | 
 
 
 
 
 
 | 199 | 
       { | 
 
 
 
 
 
 | 200 | 
         _M_value.fetch_sub(_S_ssrc_counter_inc, memory_order::release); | 
 
 
 
 
 
 | 201 | 
       } | 
 
 
 
 
 
 | 202 | 
  | 
 
 
 
 
 
 | 203 | 
       // Obtain lock. | 
 
 
 
 
 
 | 204 | 
       void | 
 
 
 
 
 
 | 205 | 
       _M_lock() noexcept | 
 
 
 
 
 
 | 206 | 
       { | 
 
 
 
 
 
 | 207 | 
         // Can use relaxed loads to get the current value. | 
 
 
 
 
 
 | 208 | 
         // The successful call to _M_try_lock is an acquire operation. | 
 
 
 
 
 
 | 209 | 
         auto __old = _M_value.load(memory_order::relaxed); | 
 
 
 
 
 
 | 210 | 
         while (!_M_try_lock(__old, memory_order::relaxed)) | 
 
 
 
 
 
 | 211 | 
           { } | 
 
 
 
 
 
 | 212 | 
       } | 
 
 
 
 
 
 | 213 | 
  | 
 
 
 
 
 
 | 214 | 
       // Precondition: calling thread holds the lock. | 
 
 
 
 
 
 | 215 | 
       void | 
 
 
 
 
 
 | 216 | 
       _M_unlock() noexcept | 
 
 
 
 
 
 | 217 | 
       { | 
 
 
 
 
 
 | 218 | 
         _M_value.fetch_sub(_S_locked_bit, memory_order::release); | 
 
 
 
 
 
 | 219 | 
       } | 
 
 
 
 
 
 | 220 | 
  | 
 
 
 
 
 
 | 221 | 
       bool | 
 
 
 
 
 
 | 222 | 
       _M_request_stop() noexcept | 
 
 
 
 
 
 | 223 | 
       { | 
 
 
 
 
 
 | 224 | 
         // obtain lock and set stop_requested bit | 
 
 
 
 
 
 | 225 | 
         auto __old = _M_value.load(memory_order::acquire); | 
 
 
 
 
 
 | 226 | 
         do | 
 
 
 
 
 
 | 227 | 
           { | 
 
 
 
 
 
 | 228 | 
             if (__old & _S_stop_requested_bit) // stop request already made | 
 
 
 
 
 
 | 229 | 
               return false; | 
 
 
 
 
 
 | 230 | 
           } | 
 
 
 
 
 
 | 231 | 
         while (!_M_try_lock_and_stop(__old)); | 
 
 
 
 
 
 | 232 | 
  | 
 
 
 
 
 
 | 233 | 
         _M_requester = this_thread::get_id(); | 
 
 
 
 
 
 | 234 | 
  | 
 
 
 
 
 
 | 235 | 
         while (_M_head) | 
 
 
 
 
 
 | 236 | 
           { | 
 
 
 
 
 
 | 237 | 
             bool __last_cb; | 
 
 
 
 
 
 | 238 | 
             _Stop_cb* __cb = _M_head; | 
 
 
 
 
 
 | 239 | 
             _M_head = _M_head->_M_next; | 
 
 
 
 
 
 | 240 | 
             if (_M_head) | 
 
 
 
 
 
 | 241 | 
               { | 
 
 
 
 
 
 | 242 | 
                 _M_head->_M_prev = nullptr; | 
 
 
 
 
 
 | 243 | 
                 __last_cb = false; | 
 
 
 
 
 
 | 244 | 
               } | 
 
 
 
 
 
 | 245 | 
             else | 
 
 
 
 
 
 | 246 | 
               __last_cb = true; | 
 
 
 
 
 
 | 247 | 
  | 
 
 
 
 
 
 | 248 | 
             // Allow other callbacks to be unregistered while __cb runs. | 
 
 
 
 
 
 | 249 | 
             _M_unlock(); | 
 
 
 
 
 
 | 250 | 
  | 
 
 
 
 
 
 | 251 | 
             bool __destroyed = false; | 
 
 
 
 
 
 | 252 | 
             __cb->_M_destroyed = &__destroyed; | 
 
 
 
 
 
 | 253 | 
  | 
 
 
 
 
 
 | 254 | 
             // run callback | 
 
 
 
 
 
 | 255 | 
             __cb->_M_run(); | 
 
 
 
 
 
 | 256 | 
  | 
 
 
 
 
 
 | 257 | 
             if (!__destroyed) | 
 
 
 
 
 
 | 258 | 
               { | 
 
 
 
 
 
 | 259 | 
                 __cb->_M_destroyed = nullptr; | 
 
 
 
 
 
 | 260 | 
  | 
 
 
 
 
 
 | 261 | 
                 // synchronize with destructor of stop_callback that owns *__cb | 
 
 
 
 
 
 | 262 | 
                 if (!__gnu_cxx::__is_single_threaded()) | 
 
 
 
 
 
 | 263 | 
                   __cb->_M_done.release(); | 
 
 
 
 
 
 | 264 | 
               } | 
 
 
 
 
 
 | 265 | 
  | 
 
 
 
 
 
 | 266 | 
             // Avoid relocking if we already know there are no more callbacks. | 
 
 
 
 
 
 | 267 | 
             if (__last_cb) | 
 
 
 
 
 
 | 268 | 
               return true; | 
 
 
 
 
 
 | 269 | 
  | 
 
 
 
 
 
 | 270 | 
             _M_lock(); | 
 
 
 
 
 
 | 271 | 
           } | 
 
 
 
 
 
 | 272 | 
  | 
 
 
 
 
 
 | 273 | 
         _M_unlock(); | 
 
 
 
 
 
 | 274 | 
         return true; | 
 
 
 
 
 
 | 275 | 
       } | 
 
 
 
 
 
 | 276 | 
  | 
 
 
 
 
 
 | 277 | 
       [[__gnu__::__nonnull__]] | 
 
 
 
 
 
 | 278 | 
       bool | 
 
 
 
 
 
 | 279 | 
       _M_register_callback(_Stop_cb* __cb) noexcept | 
 
 
 
 
 
 | 280 | 
       { | 
 
 
 
 
 
 | 281 | 
         auto __old = _M_value.load(memory_order::acquire); | 
 
 
 
 
 
 | 282 | 
         do | 
 
 
 
 
 
 | 283 | 
           { | 
 
 
 
 
 
 | 284 | 
             if (__old & _S_stop_requested_bit) // stop request already made | 
 
 
 
 
 
 | 285 | 
               { | 
 
 
 
 
 
 | 286 | 
                 __cb->_M_run(); // run synchronously | 
 
 
 
 
 
 | 287 | 
                 return false; | 
 
 
 
 
 
 | 288 | 
               } | 
 
 
 
 
 
 | 289 | 
  | 
 
 
 
 
 
 | 290 | 
             if (__old < _S_ssrc_counter_inc) // no stop_source owns *this | 
 
 
 
 
 
 | 291 | 
               // No need to register callback if no stop request can be made. | 
 
 
 
 
 
 | 292 | 
               // Returning false also means the stop_callback does not share | 
 
 
 
 
 
 | 293 | 
               // ownership of this state, but that's not observable. | 
 
 
 
 
 
 | 294 | 
               return false; | 
 
 
 
 
 
 | 295 | 
           } | 
 
 
 
 
 
 | 296 | 
         while (!_M_try_lock(__old)); | 
 
 
 
 
 
 | 297 | 
  | 
 
 
 
 
 
 | 298 | 
         __cb->_M_next = _M_head; | 
 
 
 
 
 
 | 299 | 
         if (_M_head) | 
 
 
 
 
 
 | 300 | 
           { | 
 
 
 
 
 
 | 301 | 
             _M_head->_M_prev = __cb; | 
 
 
 
 
 
 | 302 | 
           } | 
 
 
 
 
 
 | 303 | 
         _M_head = __cb; | 
 
 
 
 
 
 | 304 | 
         _M_unlock(); | 
 
 
 
 
 
 | 305 | 
         return true; | 
 
 
 
 
 
 | 306 | 
       } | 
 
 
 
 
 
 | 307 | 
  | 
 
 
 
 
 
 | 308 | 
       // Called by ~stop_callback just before destroying *__cb. | 
 
 
 
 
 
 | 309 | 
       [[__gnu__::__nonnull__]] | 
 
 
 
 
 
 | 310 | 
       void | 
 
 
 
 
 
 | 311 | 
       _M_remove_callback(_Stop_cb* __cb) | 
 
 
 
 
 
 | 312 | 
       { | 
 
 
 
 
 
 | 313 | 
         _M_lock(); | 
 
 
 
 
 
 | 314 | 
  | 
 
 
 
 
 
 | 315 | 
         if (__cb == _M_head) | 
 
 
 
 
 
 | 316 | 
           { | 
 
 
 
 
 
 | 317 | 
             _M_head = _M_head->_M_next; | 
 
 
 
 
 
 | 318 | 
             if (_M_head) | 
 
 
 
 
 
 | 319 | 
               _M_head->_M_prev = nullptr; | 
 
 
 
 
 
 | 320 | 
             _M_unlock(); | 
 
 
 
 
 
 | 321 | 
             return; | 
 
 
 
 
 
 | 322 | 
           } | 
 
 
 
 
 
 | 323 | 
         else if (__cb->_M_prev) | 
 
 
 
 
 
 | 324 | 
           { | 
 
 
 
 
 
 | 325 | 
             __cb->_M_prev->_M_next = __cb->_M_next; | 
 
 
 
 
 
 | 326 | 
             if (__cb->_M_next) | 
 
 
 
 
 
 | 327 | 
               __cb->_M_next->_M_prev = __cb->_M_prev; | 
 
 
 
 
 
 | 328 | 
             _M_unlock(); | 
 
 
 
 
 
 | 329 | 
             return; | 
 
 
 
 
 
 | 330 | 
           } | 
 
 
 
 
 
 | 331 | 
  | 
 
 
 
 
 
 | 332 | 
         _M_unlock(); | 
 
 
 
 
 
 | 333 | 
  | 
 
 
 
 
 
 | 334 | 
         // Callback is not in the list, so must have been removed by a call to | 
 
 
 
 
 
 | 335 | 
         // _M_request_stop. | 
 
 
 
 
 
 | 336 | 
  | 
 
 
 
 
 
 | 337 | 
         // Despite appearances there is no data race on _M_requester. The only | 
 
 
 
 
 
 | 338 | 
         // write to it happens before the callback is removed from the list, | 
 
 
 
 
 
 | 339 | 
         // and removing it from the list happens before this read. | 
 
 
 
 
 
 | 340 | 
         if (!(_M_requester == this_thread::get_id())) | 
 
 
 
 
 
 | 341 | 
           { | 
 
 
 
 
 
 | 342 | 
             // Synchronize with completion of callback. | 
 
 
 
 
 
 | 343 | 
             __cb->_M_done.acquire(); | 
 
 
 
 
 
 | 344 | 
             // Safe for ~stop_callback to destroy *__cb now. | 
 
 
 
 
 
 | 345 | 
             return; | 
 
 
 
 
 
 | 346 | 
           } | 
 
 
 
 
 
 | 347 | 
  | 
 
 
 
 
 
 | 348 | 
         if (__cb->_M_destroyed) | 
 
 
 
 
 
 | 349 | 
           *__cb->_M_destroyed = true; | 
 
 
 
 
 
 | 350 | 
       } | 
 
 
 
 
 
 | 351 | 
  | 
 
 
 
 
 
 | 352 | 
       // Try to obtain the lock. | 
 
 
 
 
 
 | 353 | 
       // Returns true if the lock is acquired (with memory order acquire). | 
 
 
 
 
 
 | 354 | 
       // Otherwise, sets __curval = _M_value.load(__failure) and returns false. | 
 
 
 
 
 
 | 355 | 
       // Might fail spuriously, so must be called in a loop. | 
 
 
 
 
 
 | 356 | 
       bool | 
 
 
 
 
 
 | 357 | 
       _M_try_lock(value_type& __curval, | 
 
 
 
 
 
 | 358 | 
                   memory_order __failure = memory_order::acquire) noexcept | 
 
 
 
 
 
 | 359 | 
       { | 
 
 
 
 
 
 | 360 | 
         return _M_do_try_lock(__curval, 0, memory_order::acquire, __failure); | 
 
 
 
 
 
 | 361 | 
       } | 
 
 
 
 
 
 | 362 | 
  | 
 
 
 
 
 
 | 363 | 
       // Try to obtain the lock to make a stop request. | 
 
 
 
 
 
 | 364 | 
       // Returns true if the lock is acquired and the _S_stop_requested_bit is | 
 
 
 
 
 
 | 365 | 
       // set (with memory order acq_rel so that other threads see the request). | 
 
 
 
 
 
 | 366 | 
       // Otherwise, sets __curval = _M_value.load(memory_order::acquire) and | 
 
 
 
 
 
 | 367 | 
       // returns false. | 
 
 
 
 
 
 | 368 | 
       // Might fail spuriously, so must be called in a loop. | 
 
 
 
 
 
 | 369 | 
       bool | 
 
 
 
 
 
 | 370 | 
       _M_try_lock_and_stop(value_type& __curval) noexcept | 
 
 
 
 
 
 | 371 | 
       { | 
 
 
 
 
 
 | 372 | 
         return _M_do_try_lock(__curval, _S_stop_requested_bit, | 
 
 
 
 
 
 | 373 | 
                               memory_order::acq_rel, memory_order::acquire); | 
 
 
 
 
 
 | 374 | 
       } | 
 
 
 
 
 
 | 375 | 
  | 
 
 
 
 
 
 | 376 | 
       bool | 
 
 
 
 
 
 | 377 | 
       _M_do_try_lock(value_type& __curval, value_type __newbits, | 
 
 
 
 
 
 | 378 | 
                      memory_order __success, memory_order __failure) noexcept | 
 
 
 
 
 
 | 379 | 
       { | 
 
 
 
 
 
 | 380 | 
         if (__curval & _S_locked_bit) | 
 
 
 
 
 
 | 381 | 
           { | 
 
 
 
 
 
 | 382 | 
             _S_yield(); | 
 
 
 
 
 
 | 383 | 
             __curval = _M_value.load(__failure); | 
 
 
 
 
 
 | 384 | 
             return false; | 
 
 
 
 
 
 | 385 | 
           } | 
 
 
 
 
 
 | 386 | 
         __newbits |= _S_locked_bit; | 
 
 
 
 
 
 | 387 | 
         return _M_value.compare_exchange_weak(__curval, __curval | __newbits, | 
 
 
 
 
 
 | 388 | 
                                               __success, __failure); | 
 
 
 
 
 
 | 389 | 
       } | 
 
 
 
 
 
 | 390 | 
     }; | 
 
 
 
 
 
 | 391 | 
  | 
 
 
 
 
 
 | 392 | 
     struct _Stop_state_ref | 
 
 
 
 
 
 | 393 | 
     { | 
 
 
 
 
 
 | 394 | 
       _Stop_state_ref() = default; | 
 
 
 
 
 
 | 395 | 
  | 
 
 
 
 
 
 | 396 | 
       explicit | 
 
 
 
 
 
 | 397 | 
       _Stop_state_ref(const stop_source&) | 
 
 
 
 
 
 | 398 | 
       : _M_ptr(new _Stop_state_t()) | 
 
 
 
 
 
 | 399 | 
       { } | 
 
 
 
 
 
 | 400 | 
  | 
 
 
 
 
 
 | 401 | 
       _Stop_state_ref(const _Stop_state_ref& __other) noexcept | 
 
 
 
 
 
 | 402 | 
       : _M_ptr(__other._M_ptr) | 
 
 
 
 
 
 | 403 | 
       { | 
 
 
 
 
 
 | 404 | 
         if (_M_ptr) | 
 
 
 
 
 
 | 405 | 
           _M_ptr->_M_add_owner(); | 
 
 
 
 
 
 | 406 | 
       } | 
 
 
 
 
 
 | 407 | 
  | 
 
 
 
 
 
 | 408 | 
       _Stop_state_ref(_Stop_state_ref&& __other) noexcept | 
 
 
 
 
 
 | 409 | 
       : _M_ptr(__other._M_ptr) | 
 
 
 
 
 
 | 410 | 
       { | 
 
 
 
 
 
 | 411 | 
         __other._M_ptr = nullptr; | 
 
 
 
 
 
 | 412 | 
       } | 
 
 
 
 
 
 | 413 | 
  | 
 
 
 
 
 
 | 414 | 
       _Stop_state_ref& | 
 
 
 
 
 
 | 415 | 
       operator=(const _Stop_state_ref& __other) noexcept | 
 
 
 
 
 
 | 416 | 
       { | 
 
 
 
 
 
 | 417 | 
         if (auto __ptr = __other._M_ptr; __ptr != _M_ptr) | 
 
 
 
 
 
 | 418 | 
           { | 
 
 
 
 
 
 | 419 | 
             if (__ptr) | 
 
 
 
 
 
 | 420 | 
               __ptr->_M_add_owner(); | 
 
 
 
 
 
 | 421 | 
             if (_M_ptr) | 
 
 
 
 
 
 | 422 | 
               _M_ptr->_M_release_ownership(); | 
 
 
 
 
 
 | 423 | 
             _M_ptr = __ptr; | 
 
 
 
 
 
 | 424 | 
           } | 
 
 
 
 
 
 | 425 | 
         return *this; | 
 
 
 
 
 
 | 426 | 
       } | 
 
 
 
 
 
 | 427 | 
  | 
 
 
 
 
 
 | 428 | 
       _Stop_state_ref& | 
 
 
 
 
 
 | 429 | 
       operator=(_Stop_state_ref&& __other) noexcept | 
 
 
 
 
 
 | 430 | 
       { | 
 
 
 
 
 
 | 431 | 
         _Stop_state_ref(std::move(__other)).swap(*this); | 
 
 
 
 
 
 | 432 | 
         return *this; | 
 
 
 
 
 
 | 433 | 
       } | 
 
 
 
 
 
 | 434 | 
  | 
 
 
 
 
 
 | 435 | 
       ~_Stop_state_ref() | 
 
 
 
 
 
 | 436 | 
       { | 
 
 
 
 
 
 | 437 | 
         if (_M_ptr) | 
 
 
 
 
 
 | 438 | 
           _M_ptr->_M_release_ownership(); | 
 
 
 
 
 
 | 439 | 
       } | 
 
 
 
 
 
 | 440 | 
  | 
 
 
 
 
 
 | 441 | 
       void | 
 
 
 
 
 
 | 442 | 
       swap(_Stop_state_ref& __other) noexcept | 
 
 
 
 
 
 | 443 | 
       { std::swap(_M_ptr, __other._M_ptr); } | 
 
 
 
 
 
 | 444 | 
  | 
 
 
 
 
 
 | 445 | 
       explicit operator bool() const noexcept { return _M_ptr != nullptr; } | 
 
 
 
 
 
 | 446 | 
  | 
 
 
 
 
 
 | 447 | 
       _Stop_state_t* operator->() const noexcept { return _M_ptr; } | 
 
 
 
 
 
 | 448 | 
  | 
 
 
 
 
 
 | 449 | 
 #if __cpp_impl_three_way_comparison >= 201907L | 
 
 
 
 
 
 | 450 | 
       friend bool | 
 
 
 
 
 
 | 451 | 
       operator==(const _Stop_state_ref&, const _Stop_state_ref&) = default; | 
 
 
 
 
 
 | 452 | 
 #else | 
 
 
 
 
 
 | 453 | 
       friend bool | 
 
 
 
 
 
 | 454 | 
       operator==(const _Stop_state_ref& __lhs, const _Stop_state_ref& __rhs) | 
 
 
 
 
 
 | 455 | 
       noexcept | 
 
 
 
 
 
 | 456 | 
       { return __lhs._M_ptr == __rhs._M_ptr; } | 
 
 
 
 
 
 | 457 | 
  | 
 
 
 
 
 
 | 458 | 
       friend bool | 
 
 
 
 
 
 | 459 | 
       operator!=(const _Stop_state_ref& __lhs, const _Stop_state_ref& __rhs) | 
 
 
 
 
 
 | 460 | 
       noexcept | 
 
 
 
 
 
 | 461 | 
       { return __lhs._M_ptr != __rhs._M_ptr; } | 
 
 
 
 
 
 | 462 | 
 #endif | 
 
 
 
 
 
 | 463 | 
  | 
 
 
 
 
 
 | 464 | 
     private: | 
 
 
 
 
 
 | 465 | 
       _Stop_state_t* _M_ptr = nullptr; | 
 
 
 
 
 
 | 466 | 
     }; | 
 
 
 
 
 
 | 467 | 
  | 
 
 
 
 
 
 | 468 | 
     _Stop_state_ref _M_state; | 
 
 
 
 
 
 | 469 | 
  | 
 
 
 
 
 
 | 470 | 
     explicit | 
 
 
 
 
 
 | 471 | 
     stop_token(const _Stop_state_ref& __state) noexcept | 
 
 
 
 
 
 | 472 | 
     : _M_state{__state} | 
 
 
 
 
 
 | 473 | 
     { } | 
 
 
 
 
 
 | 474 | 
   }; | 
 
 
 
 
 
 | 475 | 
  | 
 
 
 
 
 
 | 476 | 
   /// A type that allows a stop request to be made. | 
 
 
 
 
 
 | 477 | 
   class stop_source | 
 
 
 
 
 
 | 478 | 
   { | 
 
 
 
 
 
 | 479 | 
   public: | 
 
 
 
 
 
 | 480 | 
     stop_source() : _M_state(*this) | 
 
 
 
 
 
 | 481 | 
     { } | 
 
 
 
 
 
 | 482 | 
  | 
 
 
 
 
 
 | 483 | 
     explicit stop_source(std::nostopstate_t) noexcept | 
 
 
 
 
 
 | 484 | 
     { } | 
 
 
 
 
 
 | 485 | 
  | 
 
 
 
 
 
 | 486 | 
     stop_source(const stop_source& __other) noexcept | 
 
 
 
 
 
 | 487 | 
     : _M_state(__other._M_state) | 
 
 
 
 
 
 | 488 | 
     { | 
 
 
 
 
 
 | 489 | 
       if (_M_state) | 
 
 
 
 
 
 | 490 | 
         _M_state->_M_add_ssrc(); | 
 
 
 
 
 
 | 491 | 
     } | 
 
 
 
 
 
 | 492 | 
  | 
 
 
 
 
 
 | 493 | 
     stop_source(stop_source&&) noexcept = default; | 
 
 
 
 
 
 | 494 | 
  | 
 
 
 
 
 
 | 495 | 
     stop_source& | 
 
 
 
 
 
 | 496 | 
     operator=(const stop_source& __other) noexcept | 
 
 
 
 
 
 | 497 | 
     { | 
 
 
 
 
 
 | 498 | 
       if (_M_state != __other._M_state) | 
 
 
 
 
 
 | 499 | 
         { | 
 
 
 
 
 
 | 500 | 
           stop_source __sink(std::move(*this)); | 
 
 
 
 
 
 | 501 | 
           _M_state = __other._M_state; | 
 
 
 
 
 
 | 502 | 
           if (_M_state) | 
 
 
 
 
 
 | 503 | 
             _M_state->_M_add_ssrc(); | 
 
 
 
 
 
 | 504 | 
         } | 
 
 
 
 
 
 | 505 | 
       return *this; | 
 
 
 
 
 
 | 506 | 
     } | 
 
 
 
 
 
 | 507 | 
  | 
 
 
 
 
 
 | 508 | 
     stop_source& | 
 
 
 
 
 
 | 509 | 
     operator=(stop_source&&) noexcept = default; | 
 
 
 
 
 
 | 510 | 
  | 
 
 
 
 
 
 | 511 | 
     ~stop_source() | 
 
 
 
 
 
 | 512 | 
     { | 
 
 
 
 
 
 | 513 | 
       if (_M_state) | 
 
 
 
 
 
 | 514 | 
         _M_state->_M_sub_ssrc(); | 
 
 
 
 
 
 | 515 | 
     } | 
 
 
 
 
 
 | 516 | 
  | 
 
 
 
 
 
 | 517 | 
     [[nodiscard]] | 
 
 
 
 
 
 | 518 | 
     bool | 
 
 
 
 
 
 | 519 | 
     stop_possible() const noexcept | 
 
 
 
 
 
 | 520 | 
     { | 
 
 
 
 
 
 | 521 | 
       return static_cast<bool>(_M_state); | 
 
 
 
 
 
 | 522 | 
     } | 
 
 
 
 
 
 | 523 | 
  | 
 
 
 
 
 
 | 524 | 
     [[nodiscard]] | 
 
 
 
 
 
 | 525 | 
     bool | 
 
 
 
 
 
 | 526 | 
     stop_requested() const noexcept | 
 
 
 
 
 
 | 527 | 
     { | 
 
 
 
 
 
 | 528 | 
       return static_cast<bool>(_M_state) && _M_state->_M_stop_requested(); | 
 
 
 
 
 
 | 529 | 
     } | 
 
 
 
 
 
 | 530 | 
  | 
 
 
 
 
 
 | 531 | 
     bool | 
 
 
 
 
 
 | 532 | 
     request_stop() const noexcept | 
 
 
 
 
 
 | 533 | 
     { | 
 
 
 
 
 
 | 534 | 
       if (stop_possible()) | 
 
 
 
 
 
 | 535 | 
         return _M_state->_M_request_stop(); | 
 
 
 
 
 
 | 536 | 
       return false; | 
 
 
 
 
 
 | 537 | 
     } | 
 
 
 
 
 
 | 538 | 
  | 
 
 
 
 
 
 | 539 | 
     [[nodiscard]] | 
 
 
 
 
 
 | 540 | 
     stop_token | 
 
 
 
 
 
 | 541 | 
     get_token() const noexcept | 
 
 
 
 
 
 | 542 | 
     { | 
 
 
 
 
 
 | 543 | 
       return stop_token{_M_state}; | 
 
 
 
 
 
 | 544 | 
     } | 
 
 
 
 
 
 | 545 | 
  | 
 
 
 
 
 
 | 546 | 
     void | 
 
 
 
 
 
 | 547 | 
     swap(stop_source& __other) noexcept | 
 
 
 
 
 
 | 548 | 
     { | 
 
 
 
 
 
 | 549 | 
       _M_state.swap(__other._M_state); | 
 
 
 
 
 
 | 550 | 
     } | 
 
 
 
 
 
 | 551 | 
  | 
 
 
 
 
 
 | 552 | 
     [[nodiscard]] | 
 
 
 
 
 
 | 553 | 
     friend bool | 
 
 
 
 
 
 | 554 | 
     operator==(const stop_source& __a, const stop_source& __b) noexcept | 
 
 
 
 
 
 | 555 | 
     { | 
 
 
 
 
 
 | 556 | 
       return __a._M_state == __b._M_state; | 
 
 
 
 
 
 | 557 | 
     } | 
 
 
 
 
 
 | 558 | 
  | 
 
 
 
 
 
 | 559 | 
     friend void | 
 
 
 
 
 
 | 560 | 
     swap(stop_source& __lhs, stop_source& __rhs) noexcept | 
 
 
 
 
 
 | 561 | 
     { | 
 
 
 
 
 
 | 562 | 
       __lhs.swap(__rhs); | 
 
 
 
 
 
 | 563 | 
     } | 
 
 
 
 
 
 | 564 | 
  | 
 
 
 
 
 
 | 565 | 
   private: | 
 
 
 
 
 
 | 566 | 
     stop_token::_Stop_state_ref _M_state; | 
 
 
 
 
 
 | 567 | 
   }; | 
 
 
 
 
 
 | 568 | 
  | 
 
 
 
 
 
 | 569 | 
   /// A wrapper for callbacks to be run when a stop request is made. | 
 
 
 
 
 
 | 570 | 
   template<typename _Callback> | 
 
 
 
 
 
 | 571 | 
     class [[nodiscard]] stop_callback | 
 
 
 
 
 
 | 572 | 
     { | 
 
 
 
 
 
 | 573 | 
       static_assert(is_nothrow_destructible_v<_Callback>); | 
 
 
 
 
 
 | 574 | 
       static_assert(is_invocable_v<_Callback>); | 
 
 
 
 
 
 | 575 | 
  | 
 
 
 
 
 
 | 576 | 
     public: | 
 
 
 
 
 
 | 577 | 
       using callback_type = _Callback; | 
 
 
 
 
 
 | 578 | 
  | 
 
 
 
 
 
 | 579 | 
       template<typename _Cb, | 
 
 
 
 
 
 | 580 | 
                enable_if_t<is_constructible_v<_Callback, _Cb>, int> = 0> | 
 
 
 
 
 
 | 581 | 
         explicit | 
 
 
 
 
 
 | 582 | 
         stop_callback(const stop_token& __token, _Cb&& __cb) | 
 
 
 
 
 
 | 583 | 
         noexcept(is_nothrow_constructible_v<_Callback, _Cb>) | 
 
 
 
 
 
 | 584 | 
         : _M_cb(std::forward<_Cb>(__cb)) | 
 
 
 
 
 
 | 585 | 
         { | 
 
 
 
 
 
 | 586 | 
           if (auto __state = __token._M_state) | 
 
 
 
 
 
 | 587 | 
             { | 
 
 
 
 
 
 | 588 | 
               if (__state->_M_register_callback(&_M_cb)) | 
 
 
 
 
 
 | 589 | 
                 _M_state.swap(__state); | 
 
 
 
 
 
 | 590 | 
             } | 
 
 
 
 
 
 | 591 | 
         } | 
 
 
 
 
 
 | 592 | 
  | 
 
 
 
 
 
 | 593 | 
       template<typename _Cb, | 
 
 
 
 
 
 | 594 | 
                enable_if_t<is_constructible_v<_Callback, _Cb>, int> = 0> | 
 
 
 
 
 
 | 595 | 
         explicit | 
 
 
 
 
 
 | 596 | 
         stop_callback(stop_token&& __token, _Cb&& __cb) | 
 
 
 
 
 
 | 597 | 
         noexcept(is_nothrow_constructible_v<_Callback, _Cb>) | 
 
 
 
 
 
 | 598 | 
         : _M_cb(std::forward<_Cb>(__cb)) | 
 
 
 
 
 
 | 599 | 
         { | 
 
 
 
 
 
 | 600 | 
           if (auto& __state = __token._M_state) | 
 
 
 
 
 
 | 601 | 
             { | 
 
 
 
 
 
 | 602 | 
               if (__state->_M_register_callback(&_M_cb)) | 
 
 
 
 
 
 | 603 | 
                 _M_state.swap(__state); | 
 
 
 
 
 
 | 604 | 
             } | 
 
 
 
 
 
 | 605 | 
         } | 
 
 
 
 
 
 | 606 | 
  | 
 
 
 
 
 
 | 607 | 
       ~stop_callback() | 
 
 
 
 
 
 | 608 | 
       { | 
 
 
 
 
 
 | 609 | 
         if (_M_state) | 
 
 
 
 
 
 | 610 | 
           { | 
 
 
 
 
 
 | 611 | 
             _M_state->_M_remove_callback(&_M_cb); | 
 
 
 
 
 
 | 612 | 
           } | 
 
 
 
 
 
 | 613 | 
       } | 
 
 
 
 
 
 | 614 | 
  | 
 
 
 
 
 
 | 615 | 
       stop_callback(const stop_callback&) = delete; | 
 
 
 
 
 
 | 616 | 
       stop_callback& operator=(const stop_callback&) = delete; | 
 
 
 
 
 
 | 617 | 
       stop_callback(stop_callback&&) = delete; | 
 
 
 
 
 
 | 618 | 
       stop_callback& operator=(stop_callback&&) = delete; | 
 
 
 
 
 
 | 619 | 
  | 
 
 
 
 
 
 | 620 | 
     private: | 
 
 
 
 
 
 | 621 | 
       struct _Cb_impl : stop_token::_Stop_cb | 
 
 
 
 
 
 | 622 | 
       { | 
 
 
 
 
 
 | 623 | 
         template<typename _Cb> | 
 
 
 
 
 
 | 624 | 
           explicit | 
 
 
 
 
 
 | 625 | 
           _Cb_impl(_Cb&& __cb) | 
 
 
 
 
 
 | 626 | 
           : _Stop_cb(&_S_execute), | 
 
 
 
 
 
 | 627 | 
             _M_cb(std::forward<_Cb>(__cb)) | 
 
 
 
 
 
 | 628 | 
           { } | 
 
 
 
 
 
 | 629 | 
  | 
 
 
 
 
 
 | 630 | 
         _Callback _M_cb; | 
 
 
 
 
 
 | 631 | 
  | 
 
 
 
 
 
 | 632 | 
         [[__gnu__::__nonnull__]] | 
 
 
 
 
 
 | 633 | 
         static void | 
 
 
 
 
 
 | 634 | 
         _S_execute(_Stop_cb* __that) noexcept | 
 
 
 
 
 
 | 635 | 
         { | 
 
 
 
 
 
 | 636 | 
           _Callback& __cb = static_cast<_Cb_impl*>(__that)->_M_cb; | 
 
 
 
 
 
 | 637 | 
           std::forward<_Callback>(__cb)(); | 
 
 
 
 
 
 | 638 | 
         } | 
 
 
 
 
 
 | 639 | 
       }; | 
 
 
 
 
 
 | 640 | 
  | 
 
 
 
 
 
 | 641 | 
       _Cb_impl _M_cb; | 
 
 
 
 
 
 | 642 | 
       stop_token::_Stop_state_ref _M_state; | 
 
 
 
 
 
 | 643 | 
     }; | 
 
 
 
 
 
 | 644 | 
  | 
 
 
 
 
 
 | 645 | 
   template<typename _Callback> | 
 
 
 
 
 
 | 646 | 
     stop_callback(stop_token, _Callback) -> stop_callback<_Callback>; | 
 
 
 
 
 
 | 647 | 
  | 
 
 
 
 
 
 | 648 | 
 _GLIBCXX_END_NAMESPACE_VERSION | 
 
 
 
 
 
 | 649 | 
 } // namespace | 
 
 
 
 
 
 | 650 | 
 #endif // __cplusplus > 201703L | 
 
 
 
 
 
 | 651 | 
 #endif // _GLIBCXX_STOP_TOKEN |