// <stop_token> -*- C++ -*-

// Copyright (C) 2019 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library.  This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.

// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// Under Section 7 of GPL version 3, you are granted additional
// permissions described in the GCC Runtime Library Exception, version
// 3.1, as published by the Free Software Foundation.

// You should have received a copy of the GNU General Public License and
// a copy of the GCC Runtime Library Exception along with this program;
// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
// <http://www.gnu.org/licenses/>.

/** @file include/stop_token
 *  This is a Standard C++ Library header.
 */

#ifndef _GLIBCXX_STOP_TOKEN
#define _GLIBCXX_STOP_TOKEN

#if __cplusplus > 201703L

#include <atomic>
#include <bits/std_mutex.h>
#include <ext/concurrence.h>
#include <bits/unique_ptr.h>
#include <bits/shared_ptr.h>

#ifdef _GLIBCXX_HAS_GTHREADS
# define __cpp_lib_jthread 201907L
#endif

namespace std _GLIBCXX_VISIBILITY(default)
{
_GLIBCXX_BEGIN_NAMESPACE_VERSION

  /// Tag type indicating a stop_source should have no shared-stop-state.
  struct nostopstate_t { explicit nostopstate_t() = default; };
  inline constexpr nostopstate_t nostopstate{};

  /// Allow testing whether a stop request has been made on a `stop_source`.
  class stop_token
  {
  public:
    stop_token() noexcept = default;

    stop_token(const stop_token& __other) noexcept = default;
    stop_token(stop_token&& __other) noexcept = default;

    ~stop_token() = default;

    stop_token&
    operator=(const stop_token& __rhs) noexcept = default;

    stop_token&
    operator=(stop_token&& __rhs) noexcept = default;

    [[nodiscard]]
    bool
    stop_possible() const noexcept
    {
      return static_cast<bool>(_M_state);
    }

    [[nodiscard]]
    bool
    stop_requested() const noexcept
    {
      return stop_possible() && _M_state->_M_stop_requested();
    }

    void
    swap(stop_token& __rhs) noexcept
    { _M_state.swap(__rhs._M_state); }

    [[nodiscard]]
    friend bool
    operator==(const stop_token& __a, const stop_token& __b)
    {
      return __a._M_state == __b._M_state;
    }

    [[nodiscard]]
    friend bool
    operator!=(const stop_token& __a, const stop_token& __b)
    {
      return __a._M_state != __b._M_state;
    }

    friend void
    swap(stop_token& __lhs, stop_token& __rhs) noexcept
    { __lhs.swap(__rhs); }

  private:
    friend class stop_source;
    template<typename _Callback>
      friend class stop_callback;

    struct _Stop_cb
    {
      void(*_M_callback)(_Stop_cb*);
      _Stop_cb* _M_prev = nullptr;
      _Stop_cb* _M_next = nullptr;

      template<typename _Cb>
	_Stop_cb(_Cb&& __cb)
	: _M_callback(std::forward<_Cb>(__cb))
	{ }

      bool
      _M_linked() const noexcept
      {
        return (_M_prev != nullptr)
          || (_M_next != nullptr);
      }

      static void
      _S_execute(_Stop_cb* __cb) noexcept
      {
        __cb->_M_callback(__cb);
        __cb->_M_prev = __cb->_M_next = nullptr;
      }
    };

    struct _Stop_state_t
    {
      std::atomic<bool> _M_stopped{false};
      _Stop_cb* _M_head = nullptr;
#ifdef _GLIBCXX_HAS_GTHREADS
      std::mutex _M_mtx;
#endif

      _Stop_state_t() = default;

      bool
      _M_stop_requested() noexcept
      {
        return _M_stopped;
      }

      bool
      _M_request_stop()
      {
        bool __stopped = false;
        if (_M_stopped.compare_exchange_strong(__stopped, true))
          {
#ifdef _GLIBCXX_HAS_GTHREADS
            std::lock_guard<std::mutex> __lck{_M_mtx};
#endif
            while (_M_head)
              {
                auto __p = _M_head;
                _M_head = _M_head->_M_next;
                _Stop_cb::_S_execute(__p);
              }
            return true;
          }
        return false;
      }

      bool
      _M_register_callback(_Stop_cb* __cb)
      {
#ifdef _GLIBCXX_HAS_GTHREADS
        std::lock_guard<std::mutex> __lck{_M_mtx};
#endif
        if (_M_stopped)
          return false;

        __cb->_M_next = _M_head;
        if (_M_head)
          {
            _M_head->_M_prev = __cb;
          }
        _M_head = __cb;
        return true;
      }

      void
      _M_remove_callback(_Stop_cb* __cb)
      {
#ifdef _GLIBCXX_HAS_GTHREADS
        std::lock_guard<std::mutex> __lck{_M_mtx};
#endif
        if (__cb == _M_head)
          {
            _M_head = _M_head->_M_next;
            if (_M_head)
              {
                _M_head->_M_prev = nullptr;
              }
          }
        else if (!__cb->_M_linked())
          {
            return;
          }
        else
          {
            __cb->_M_prev->_M_next = __cb->_M_next;
            if (__cb->_M_next)
              {
                __cb->_M_next->_M_prev = __cb->_M_prev;
              }
          }
      }
    };

    using _Stop_state = std::shared_ptr<_Stop_state_t>;
    _Stop_state _M_state;

    explicit
    stop_token(const _Stop_state& __state) noexcept
    : _M_state{__state}
    { }
  };

  /// A type that allows a stop request to be made.
  class stop_source
  {
  public:
    stop_source()
      : _M_state(std::make_shared<stop_token::_Stop_state_t>())
    { }

    explicit stop_source(std::nostopstate_t) noexcept
    { }

    stop_source(const stop_source& __other) noexcept
      : _M_state(__other._M_state)
    { }

    stop_source(stop_source&& __other) noexcept
      : _M_state(std::move(__other._M_state))
    { }

    stop_source&
    operator=(const stop_source& __rhs) noexcept
    {
      if (_M_state != __rhs._M_state)
        _M_state = __rhs._M_state;
      return *this;
    }

    stop_source&
    operator=(stop_source&& __rhs) noexcept
    {
      std::swap(_M_state, __rhs._M_state);
      return *this;
    }

    [[nodiscard]]
    bool
    stop_possible() const noexcept
    {
      return static_cast<bool>(_M_state);
    }

    [[nodiscard]]
    bool
    stop_requested() const noexcept
    {
      return stop_possible() && _M_state->_M_stop_requested();
    }

    bool
    request_stop() const noexcept
    {
      if (stop_possible())
        return _M_state->_M_request_stop();
      return false;
    }

    [[nodiscard]]
    stop_token
    get_token() const noexcept
    {
      return stop_token{_M_state};
    }

    void
    swap(stop_source& __other) noexcept
    {
      _M_state.swap(__other._M_state);
    }

    [[nodiscard]]
    friend bool
    operator==(const stop_source& __a, const stop_source& __b) noexcept
    {
      return __a._M_state == __b._M_state;
    }

    [[nodiscard]]
    friend bool
    operator!=(const stop_source& __a, const stop_source& __b) noexcept
    {
      return __a._M_state != __b._M_state;
    }

    friend void
    swap(stop_source& __lhs, stop_source& __rhs) noexcept
    {
      __lhs.swap(__rhs);
    }

  private:
    stop_token::_Stop_state _M_state;
  };

  /// A wrapper for callbacks to be run when a stop request is made.
  template<typename _Callback>
    class [[nodiscard]] stop_callback
      : private stop_token::_Stop_cb
    {
    public:
      using callback_type = _Callback;

      template<typename _Cb,
               enable_if_t<is_constructible_v<_Callback, _Cb>, int> = 0>
        explicit
	stop_callback(const stop_token& __token, _Cb&& __cb)
        noexcept(is_nothrow_constructible_v<_Callback, _Cb>)
        : _Stop_cb(&_S_execute), _M_cb(std::forward<_Cb>(__cb))
        {
	  if (auto __state = __token._M_state)
	    {
	      if (__state->_M_stop_requested())
		_S_execute(this); // ensures std::terminate on throw
	      else if (__state->_M_register_callback(this))
		_M_state.swap(__state);
	    }
        }

      template<typename _Cb,
               enable_if_t<is_constructible_v<_Callback, _Cb>, int> = 0>
        explicit
	stop_callback(stop_token&& __token, _Cb&& __cb)
        noexcept(is_nothrow_constructible_v<_Callback, _Cb>)
        : _Stop_cb(&_S_execute), _M_cb(std::forward<_Cb>(__cb))
	{
	  if (auto& __state = __token._M_state)
	    {
	      if (__state->_M_stop_requested())
		_S_execute(this); // ensures std::terminate on throw
	      else if (__state->_M_register_callback(this))
		_M_state.swap(__state);
	    }
	}

      ~stop_callback()
      {
	if (_M_state)
	  {
	    _M_state->_M_remove_callback(this);
	  }
      }

      stop_callback(const stop_callback&) = delete;
      stop_callback& operator=(const stop_callback&) = delete;
      stop_callback(stop_callback&&) = delete;
      stop_callback& operator=(stop_callback&&) = delete;

    private:
      _Callback _M_cb;
      stop_token::_Stop_state _M_state = nullptr;

      static void
      _S_execute(_Stop_cb* __that) noexcept
      {
	static_cast<stop_callback*>(__that)->_M_cb();
      }
    };

  template<typename _Callback>
    stop_callback(stop_token, _Callback) -> stop_callback<_Callback>;

_GLIBCXX_END_NAMESPACE_VERSION
} // namespace
#endif // __cplusplus > 201703L
#endif // _GLIBCXX_STOP_TOKEN
