reactive_socket_recv_op.hpp 6.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197
  1. //
  2. // detail/reactive_socket_recv_op.hpp
  3. // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  4. //
  5. // Copyright (c) 2003-2023 Christopher M. Kohlhoff (chris at kohlhoff dot com)
  6. //
  7. // Distributed under the Boost Software License, Version 1.0. (See accompanying
  8. // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  9. //
  10. #ifndef ASIO_DETAIL_REACTIVE_SOCKET_RECV_OP_HPP
  11. #define ASIO_DETAIL_REACTIVE_SOCKET_RECV_OP_HPP
  12. #if defined(_MSC_VER) && (_MSC_VER >= 1200)
  13. # pragma once
  14. #endif // defined(_MSC_VER) && (_MSC_VER >= 1200)
  15. #include "asio/detail/config.hpp"
  16. #include "asio/detail/bind_handler.hpp"
  17. #include "asio/detail/buffer_sequence_adapter.hpp"
  18. #include "asio/detail/fenced_block.hpp"
  19. #include "asio/detail/handler_alloc_helpers.hpp"
  20. #include "asio/detail/handler_work.hpp"
  21. #include "asio/detail/memory.hpp"
  22. #include "asio/detail/reactor_op.hpp"
  23. #include "asio/detail/socket_ops.hpp"
  24. #include "asio/detail/push_options.hpp"
  25. namespace asio {
  26. namespace detail {
  27. template <typename MutableBufferSequence>
  28. class reactive_socket_recv_op_base : public reactor_op
  29. {
  30. public:
  31. reactive_socket_recv_op_base(const asio::error_code& success_ec,
  32. socket_type socket, socket_ops::state_type state,
  33. const MutableBufferSequence& buffers,
  34. socket_base::message_flags flags, func_type complete_func)
  35. : reactor_op(success_ec,
  36. &reactive_socket_recv_op_base::do_perform, complete_func),
  37. socket_(socket),
  38. state_(state),
  39. buffers_(buffers),
  40. flags_(flags)
  41. {
  42. }
  43. static status do_perform(reactor_op* base)
  44. {
  45. ASIO_ASSUME(base != 0);
  46. reactive_socket_recv_op_base* o(
  47. static_cast<reactive_socket_recv_op_base*>(base));
  48. typedef buffer_sequence_adapter<asio::mutable_buffer,
  49. MutableBufferSequence> bufs_type;
  50. status result;
  51. if (bufs_type::is_single_buffer)
  52. {
  53. result = socket_ops::non_blocking_recv1(o->socket_,
  54. bufs_type::first(o->buffers_).data(),
  55. bufs_type::first(o->buffers_).size(), o->flags_,
  56. (o->state_ & socket_ops::stream_oriented) != 0,
  57. o->ec_, o->bytes_transferred_) ? done : not_done;
  58. }
  59. else
  60. {
  61. bufs_type bufs(o->buffers_);
  62. result = socket_ops::non_blocking_recv(o->socket_,
  63. bufs.buffers(), bufs.count(), o->flags_,
  64. (o->state_ & socket_ops::stream_oriented) != 0,
  65. o->ec_, o->bytes_transferred_) ? done : not_done;
  66. }
  67. if (result == done)
  68. if ((o->state_ & socket_ops::stream_oriented) != 0)
  69. if (o->bytes_transferred_ == 0)
  70. result = done_and_exhausted;
  71. ASIO_HANDLER_REACTOR_OPERATION((*o, "non_blocking_recv",
  72. o->ec_, o->bytes_transferred_));
  73. return result;
  74. }
  75. private:
  76. socket_type socket_;
  77. socket_ops::state_type state_;
  78. MutableBufferSequence buffers_;
  79. socket_base::message_flags flags_;
  80. };
  81. template <typename MutableBufferSequence, typename Handler, typename IoExecutor>
  82. class reactive_socket_recv_op :
  83. public reactive_socket_recv_op_base<MutableBufferSequence>
  84. {
  85. public:
  86. typedef Handler handler_type;
  87. typedef IoExecutor io_executor_type;
  88. ASIO_DEFINE_HANDLER_PTR(reactive_socket_recv_op);
  89. reactive_socket_recv_op(const asio::error_code& success_ec,
  90. socket_type socket, socket_ops::state_type state,
  91. const MutableBufferSequence& buffers, socket_base::message_flags flags,
  92. Handler& handler, const IoExecutor& io_ex)
  93. : reactive_socket_recv_op_base<MutableBufferSequence>(success_ec, socket,
  94. state, buffers, flags, &reactive_socket_recv_op::do_complete),
  95. handler_(static_cast<Handler&&>(handler)),
  96. work_(handler_, io_ex)
  97. {
  98. }
  99. static void do_complete(void* owner, operation* base,
  100. const asio::error_code& /*ec*/,
  101. std::size_t /*bytes_transferred*/)
  102. {
  103. // Take ownership of the handler object.
  104. ASIO_ASSUME(base != 0);
  105. reactive_socket_recv_op* o(static_cast<reactive_socket_recv_op*>(base));
  106. ptr p = { asio::detail::addressof(o->handler_), o, o };
  107. ASIO_HANDLER_COMPLETION((*o));
  108. // Take ownership of the operation's outstanding work.
  109. handler_work<Handler, IoExecutor> w(
  110. static_cast<handler_work<Handler, IoExecutor>&&>(
  111. o->work_));
  112. ASIO_ERROR_LOCATION(o->ec_);
  113. // Make a copy of the handler so that the memory can be deallocated before
  114. // the upcall is made. Even if we're not about to make an upcall, a
  115. // sub-object of the handler may be the true owner of the memory associated
  116. // with the handler. Consequently, a local copy of the handler is required
  117. // to ensure that any owning sub-object remains valid until after we have
  118. // deallocated the memory here.
  119. detail::binder2<Handler, asio::error_code, std::size_t>
  120. handler(o->handler_, o->ec_, o->bytes_transferred_);
  121. p.h = asio::detail::addressof(handler.handler_);
  122. p.reset();
  123. // Make the upcall if required.
  124. if (owner)
  125. {
  126. fenced_block b(fenced_block::half);
  127. ASIO_HANDLER_INVOCATION_BEGIN((handler.arg1_, handler.arg2_));
  128. w.complete(handler, handler.handler_);
  129. ASIO_HANDLER_INVOCATION_END;
  130. }
  131. }
  132. static void do_immediate(operation* base, bool, const void* io_ex)
  133. {
  134. // Take ownership of the handler object.
  135. ASIO_ASSUME(base != 0);
  136. reactive_socket_recv_op* o(static_cast<reactive_socket_recv_op*>(base));
  137. ptr p = { asio::detail::addressof(o->handler_), o, o };
  138. ASIO_HANDLER_COMPLETION((*o));
  139. // Take ownership of the operation's outstanding work.
  140. immediate_handler_work<Handler, IoExecutor> w(
  141. static_cast<handler_work<Handler, IoExecutor>&&>(
  142. o->work_));
  143. ASIO_ERROR_LOCATION(o->ec_);
  144. // Make a copy of the handler so that the memory can be deallocated before
  145. // the upcall is made. Even if we're not about to make an upcall, a
  146. // sub-object of the handler may be the true owner of the memory associated
  147. // with the handler. Consequently, a local copy of the handler is required
  148. // to ensure that any owning sub-object remains valid until after we have
  149. // deallocated the memory here.
  150. detail::binder2<Handler, asio::error_code, std::size_t>
  151. handler(o->handler_, o->ec_, o->bytes_transferred_);
  152. p.h = asio::detail::addressof(handler.handler_);
  153. p.reset();
  154. ASIO_HANDLER_INVOCATION_BEGIN((handler.arg1_, handler.arg2_));
  155. w.complete(handler, handler.handler_, io_ex);
  156. ASIO_HANDLER_INVOCATION_END;
  157. }
  158. private:
  159. Handler handler_;
  160. handler_work<Handler, IoExecutor> work_;
  161. };
  162. } // namespace detail
  163. } // namespace asio
  164. #include "asio/detail/pop_options.hpp"
  165. #endif // ASIO_DETAIL_REACTIVE_SOCKET_RECV_OP_HPP