This encapsulates the storing and checking of the thread ID into a class
type, so that the macro _GLIBCXX_HAS_GTHREADS is only checked in one
place. The code doing the checks just calls member functions of the new
type, without caring whether that really does any work or not.

libstdc++-v3/ChangeLog:

        * include/std/stop_token (_Stop_state_t::_M_requester): Define
        new struct with members to store and check the thread ID.
        (_Stop_state_t::_M_request_stop()): Use _M_requester._M_set().
        (_Stop_state_t::_M_remove_callback(_Stop_cb*)): Use
        _M_requester._M_is_current_thread().

Tested powerpc64le-linux. Committed to trunk.

commit 43f9e5aff06f1ca2296fdbd3141fe90ec0be1912
Author: Jonathan Wakely <jwak...@redhat.com>
Date:   Wed Nov 11 09:28:50 2020

    libstdc++: Use helper type for checking thread ID
    
    This encapsulates the storing and checking of the thread ID into a class
    type, so that the macro _GLIBCXX_HAS_GTHREADS is only checked in one
    place. The code doing the checks just calls member functions of the new
    type, without caring whether that really does any work or not.
    
    libstdc++-v3/ChangeLog:
    
            * include/std/stop_token (_Stop_state_t::_M_requester): Define
            new struct with members to store and check the thread ID.
            (_Stop_state_t::_M_request_stop()): Use _M_requester._M_set().
            (_Stop_state_t::_M_remove_callback(_Stop_cb*)): Use
            _M_requester._M_is_current_thread().

diff --git a/libstdc++-v3/include/std/stop_token 
b/libstdc++-v3/include/std/stop_token
index ccec6fab15cf..7cd01c9713ee 100644
--- a/libstdc++-v3/include/std/stop_token
+++ b/libstdc++-v3/include/std/stop_token
@@ -162,9 +162,18 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
       std::atomic<value_type> _M_owners{1};
       std::atomic<value_type> _M_value{_S_ssrc_counter_inc};
       _Stop_cb* _M_head = nullptr;
+      struct
+      {
 #ifdef _GLIBCXX_HAS_GTHREADS
-      __gthread_t _M_requester;
+       __gthread_t _M_id;
+       void _M_set() { _M_id = __gthread_self(); }
+       bool _M_is_current_thread() const
+       { return __gthread_equal(_M_id, __gthread_self()); }
+#else
+       void _M_set() { }
+       constexpr bool _M_is_current_thread() const { return true; }
 #endif
+      } _M_requester;
 
       _Stop_state_t() = default;
 
@@ -237,9 +246,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
          }
        while (!_M_try_lock_and_stop(__old));
 
-#ifdef _GLIBCXX_HAS_GTHREADS
-       _M_requester = __gthread_self();
-#endif
+       _M_requester._M_set();
 
        while (_M_head)
          {
@@ -343,18 +350,17 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
        // Callback is not in the list, so must have been removed by a call to
        // _M_request_stop.
 
-#ifdef _GLIBCXX_HAS_GTHREADS
        // Despite appearances there is no data race on _M_requester. The only
        // write to it happens before the callback is removed from the list,
        // and removing it from the list happens before this read.
-       if (!__gthread_equal(_M_requester, __gthread_self()))
+       if (!_M_requester._M_is_current_thread())
          {
            // Synchronize with completion of callback.
            __cb->_M_done.acquire();
            // Safe for ~stop_callback to destroy *__cb now.
            return;
          }
-#endif
+
        if (__cb->_M_destroyed)
          *__cb->_M_destroyed = true;
       }

Reply via email to