You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
286 lines
8.4 KiB
286 lines
8.4 KiB
// |
|
// strand.hpp |
|
// ~~~~~~~~~~ |
|
// |
|
// Copyright (c) 2003-2018 Christopher M. Kohlhoff (chris at kohlhoff dot com) |
|
// |
|
// Distributed under the Boost Software License, Version 1.0. (See accompanying |
|
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
|
// |
|
|
|
#ifndef ASIO_STRAND_HPP |
|
#define ASIO_STRAND_HPP |
|
|
|
#if defined(_MSC_VER) && (_MSC_VER >= 1200) |
|
# pragma once |
|
#endif // defined(_MSC_VER) && (_MSC_VER >= 1200) |
|
|
|
#include "asio/detail/config.hpp" |
|
#include "asio/detail/strand_executor_service.hpp" |
|
#include "asio/detail/type_traits.hpp" |
|
|
|
#include "asio/detail/push_options.hpp" |
|
|
|
namespace asio { |
|
|
|
/// Provides serialised function invocation for any executor type. |
|
template <typename Executor> |
|
class strand |
|
{ |
|
public: |
|
/// The type of the underlying executor. |
|
typedef Executor inner_executor_type; |
|
|
|
/// Default constructor. |
|
/** |
|
* This constructor is only valid if the underlying executor type is default |
|
* constructible. |
|
*/ |
|
strand() |
|
: executor_(), |
|
impl_(use_service<detail::strand_executor_service>( |
|
executor_.context()).create_implementation()) |
|
{ |
|
} |
|
|
|
/// Construct a strand for the specified executor. |
|
explicit strand(const Executor& e) |
|
: executor_(e), |
|
impl_(use_service<detail::strand_executor_service>( |
|
executor_.context()).create_implementation()) |
|
{ |
|
} |
|
|
|
/// Copy constructor. |
|
strand(const strand& other) ASIO_NOEXCEPT |
|
: executor_(other.executor_), |
|
impl_(other.impl_) |
|
{ |
|
} |
|
|
|
/// Converting constructor. |
|
/** |
|
* This constructor is only valid if the @c OtherExecutor type is convertible |
|
* to @c Executor. |
|
*/ |
|
template <class OtherExecutor> |
|
strand( |
|
const strand<OtherExecutor>& other) ASIO_NOEXCEPT |
|
: executor_(other.executor_), |
|
impl_(other.impl_) |
|
{ |
|
} |
|
|
|
/// Assignment operator. |
|
strand& operator=(const strand& other) ASIO_NOEXCEPT |
|
{ |
|
executor_ = other.executor_; |
|
impl_ = other.impl_; |
|
return *this; |
|
} |
|
|
|
/// Converting assignment operator. |
|
/** |
|
* This assignment operator is only valid if the @c OtherExecutor type is |
|
* convertible to @c Executor. |
|
*/ |
|
template <class OtherExecutor> |
|
strand& operator=( |
|
const strand<OtherExecutor>& other) ASIO_NOEXCEPT |
|
{ |
|
executor_ = other.executor_; |
|
impl_ = other.impl_; |
|
return *this; |
|
} |
|
|
|
#if defined(ASIO_HAS_MOVE) || defined(GENERATING_DOCUMENTATION) |
|
/// Move constructor. |
|
strand(strand&& other) ASIO_NOEXCEPT |
|
: executor_(ASIO_MOVE_CAST(Executor)(other.executor_)), |
|
impl_(ASIO_MOVE_CAST(implementation_type)(other.impl_)) |
|
{ |
|
} |
|
|
|
/// Converting move constructor. |
|
/** |
|
* This constructor is only valid if the @c OtherExecutor type is convertible |
|
* to @c Executor. |
|
*/ |
|
template <class OtherExecutor> |
|
strand(strand<OtherExecutor>&& other) ASIO_NOEXCEPT |
|
: executor_(ASIO_MOVE_CAST(OtherExecutor)(other)), |
|
impl_(ASIO_MOVE_CAST(implementation_type)(other.impl_)) |
|
{ |
|
} |
|
|
|
/// Move assignment operator. |
|
strand& operator=(strand&& other) ASIO_NOEXCEPT |
|
{ |
|
executor_ = ASIO_MOVE_CAST(Executor)(other); |
|
impl_ = ASIO_MOVE_CAST(implementation_type)(other.impl_); |
|
return *this; |
|
} |
|
|
|
/// Converting move assignment operator. |
|
/** |
|
* This assignment operator is only valid if the @c OtherExecutor type is |
|
* convertible to @c Executor. |
|
*/ |
|
template <class OtherExecutor> |
|
strand& operator=( |
|
const strand<OtherExecutor>&& other) ASIO_NOEXCEPT |
|
{ |
|
executor_ = ASIO_MOVE_CAST(OtherExecutor)(other); |
|
impl_ = ASIO_MOVE_CAST(implementation_type)(other.impl_); |
|
return *this; |
|
} |
|
#endif // defined(ASIO_HAS_MOVE) || defined(GENERATING_DOCUMENTATION) |
|
|
|
/// Destructor. |
|
~strand() |
|
{ |
|
} |
|
|
|
/// Obtain the underlying executor. |
|
inner_executor_type get_inner_executor() const ASIO_NOEXCEPT |
|
{ |
|
return executor_; |
|
} |
|
|
|
/// Obtain the underlying execution context. |
|
execution_context& context() const ASIO_NOEXCEPT |
|
{ |
|
return executor_.context(); |
|
} |
|
|
|
/// Inform the strand that it has some outstanding work to do. |
|
/** |
|
* The strand delegates this call to its underlying executor. |
|
*/ |
|
void on_work_started() const ASIO_NOEXCEPT |
|
{ |
|
executor_.on_work_started(); |
|
} |
|
|
|
/// Inform the strand that some work is no longer outstanding. |
|
/** |
|
* The strand delegates this call to its underlying executor. |
|
*/ |
|
void on_work_finished() const ASIO_NOEXCEPT |
|
{ |
|
executor_.on_work_finished(); |
|
} |
|
|
|
/// Request the strand to invoke the given function object. |
|
/** |
|
* This function is used to ask the strand to execute the given function |
|
* object on its underlying executor. The function object will be executed |
|
* inside this function if the strand is not otherwise busy and if the |
|
* underlying executor's @c dispatch() function is also able to execute the |
|
* function before returning. |
|
* |
|
* @param f The function object to be called. The executor will make |
|
* a copy of the handler object as required. The function signature of the |
|
* function object must be: @code void function(); @endcode |
|
* |
|
* @param a An allocator that may be used by the executor to allocate the |
|
* internal storage needed for function invocation. |
|
*/ |
|
template <typename Function, typename Allocator> |
|
void dispatch(ASIO_MOVE_ARG(Function) f, const Allocator& a) const |
|
{ |
|
detail::strand_executor_service::dispatch(impl_, |
|
executor_, ASIO_MOVE_CAST(Function)(f), a); |
|
} |
|
|
|
/// Request the strand to invoke the given function object. |
|
/** |
|
* This function is used to ask the executor to execute the given function |
|
* object. The function object will never be executed inside this function. |
|
* Instead, it will be scheduled by the underlying executor's defer function. |
|
* |
|
* @param f The function object to be called. The executor will make |
|
* a copy of the handler object as required. The function signature of the |
|
* function object must be: @code void function(); @endcode |
|
* |
|
* @param a An allocator that may be used by the executor to allocate the |
|
* internal storage needed for function invocation. |
|
*/ |
|
template <typename Function, typename Allocator> |
|
void post(ASIO_MOVE_ARG(Function) f, const Allocator& a) const |
|
{ |
|
detail::strand_executor_service::post(impl_, |
|
executor_, ASIO_MOVE_CAST(Function)(f), a); |
|
} |
|
|
|
/// Request the strand to invoke the given function object. |
|
/** |
|
* This function is used to ask the executor to execute the given function |
|
* object. The function object will never be executed inside this function. |
|
* Instead, it will be scheduled by the underlying executor's defer function. |
|
* |
|
* @param f The function object to be called. The executor will make |
|
* a copy of the handler object as required. The function signature of the |
|
* function object must be: @code void function(); @endcode |
|
* |
|
* @param a An allocator that may be used by the executor to allocate the |
|
* internal storage needed for function invocation. |
|
*/ |
|
template <typename Function, typename Allocator> |
|
void defer(ASIO_MOVE_ARG(Function) f, const Allocator& a) const |
|
{ |
|
detail::strand_executor_service::defer(impl_, |
|
executor_, ASIO_MOVE_CAST(Function)(f), a); |
|
} |
|
|
|
/// Determine whether the strand is running in the current thread. |
|
/** |
|
* @return @c true if the current thread is executing a function that was |
|
* submitted to the strand using post(), dispatch() or defer(). Otherwise |
|
* returns @c false. |
|
*/ |
|
bool running_in_this_thread() const ASIO_NOEXCEPT |
|
{ |
|
return detail::strand_executor_service::running_in_this_thread(impl_); |
|
} |
|
|
|
/// Compare two strands for equality. |
|
/** |
|
* Two strands are equal if they refer to the same ordered, non-concurrent |
|
* state. |
|
*/ |
|
friend bool operator==(const strand& a, const strand& b) ASIO_NOEXCEPT |
|
{ |
|
return a.impl_ == b.impl_; |
|
} |
|
|
|
/// Compare two strands for inequality. |
|
/** |
|
* Two strands are equal if they refer to the same ordered, non-concurrent |
|
* state. |
|
*/ |
|
friend bool operator!=(const strand& a, const strand& b) ASIO_NOEXCEPT |
|
{ |
|
return a.impl_ != b.impl_; |
|
} |
|
|
|
private: |
|
Executor executor_; |
|
typedef detail::strand_executor_service::implementation_type |
|
implementation_type; |
|
implementation_type impl_; |
|
}; |
|
|
|
} // namespace asio |
|
|
|
#include "asio/detail/pop_options.hpp" |
|
|
|
// If both io_context.hpp and strand.hpp have been included, automatically |
|
// include the header file needed for the io_context::strand class. |
|
#if !defined(ASIO_NO_EXTENSIONS) |
|
# if defined(ASIO_IO_CONTEXT_HPP) |
|
# include "asio/io_context_strand.hpp" |
|
# endif // defined(ASIO_IO_CONTEXT_HPP) |
|
#endif // !defined(ASIO_NO_EXTENSIONS) |
|
|
|
#endif // ASIO_STRAND_HPP
|
|
|