1 // 2 // detail/win_iocp_io_context.hpp 3 // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4 // 5 // Copyright (c) 2003-2020 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 11 #ifndef BOOST_ASIO_DETAIL_WIN_IOCP_IO_CONTEXT_HPP 12 #define BOOST_ASIO_DETAIL_WIN_IOCP_IO_CONTEXT_HPP 13 14 #if defined(_MSC_VER) && (_MSC_VER >= 1200) 15 # pragma once 16 #endif // defined(_MSC_VER) && (_MSC_VER >= 1200) 17 18 #include <boost/asio/detail/config.hpp> 19 20 #if defined(BOOST_ASIO_HAS_IOCP) 21 22 #include <boost/asio/detail/limits.hpp> 23 #include <boost/asio/detail/mutex.hpp> 24 #include <boost/asio/detail/op_queue.hpp> 25 #include <boost/asio/detail/scoped_ptr.hpp> 26 #include <boost/asio/detail/socket_types.hpp> 27 #include <boost/asio/detail/thread.hpp> 28 #include <boost/asio/detail/thread_context.hpp> 29 #include <boost/asio/detail/timer_queue_base.hpp> 30 #include <boost/asio/detail/timer_queue_set.hpp> 31 #include <boost/asio/detail/wait_op.hpp> 32 #include <boost/asio/detail/win_iocp_operation.hpp> 33 #include <boost/asio/detail/win_iocp_thread_info.hpp> 34 #include <boost/asio/execution_context.hpp> 35 36 #include <boost/asio/detail/push_options.hpp> 37 38 namespace boost { 39 namespace asio { 40 namespace detail { 41 42 class wait_op; 43 44 class win_iocp_io_context 45 : public execution_context_service_base<win_iocp_io_context>, 46 public thread_context 47 { 48 public: 49 // Constructor. Specifies a concurrency hint that is passed through to the 50 // underlying I/O completion port. 51 BOOST_ASIO_DECL win_iocp_io_context(boost::asio::execution_context& ctx, 52 int concurrency_hint = -1, bool own_thread = true); 53 54 // Destructor. 55 BOOST_ASIO_DECL ~win_iocp_io_context(); 56 57 // Destroy all user-defined handler objects owned by the service. 58 BOOST_ASIO_DECL void shutdown(); 59 60 // Initialise the task. Nothing to do here. init_task()61 void init_task() 62 { 63 } 64 65 // Register a handle with the IO completion port. 66 BOOST_ASIO_DECL boost::system::error_code register_handle( 67 HANDLE handle, boost::system::error_code& ec); 68 69 // Run the event loop until stopped or no more work. 70 BOOST_ASIO_DECL size_t run(boost::system::error_code& ec); 71 72 // Run until stopped or one operation is performed. 73 BOOST_ASIO_DECL size_t run_one(boost::system::error_code& ec); 74 75 // Run until timeout, interrupted, or one operation is performed. 76 BOOST_ASIO_DECL size_t wait_one(long usec, boost::system::error_code& ec); 77 78 // Poll for operations without blocking. 79 BOOST_ASIO_DECL size_t poll(boost::system::error_code& ec); 80 81 // Poll for one operation without blocking. 82 BOOST_ASIO_DECL size_t poll_one(boost::system::error_code& ec); 83 84 // Stop the event processing loop. 85 BOOST_ASIO_DECL void stop(); 86 87 // Determine whether the io_context is stopped. stopped() const88 bool stopped() const 89 { 90 return ::InterlockedExchangeAdd(&stopped_, 0) != 0; 91 } 92 93 // Restart in preparation for a subsequent run invocation. restart()94 void restart() 95 { 96 ::InterlockedExchange(&stopped_, 0); 97 } 98 99 // Notify that some work has started. work_started()100 void work_started() 101 { 102 ::InterlockedIncrement(&outstanding_work_); 103 } 104 105 // Notify that some work has finished. work_finished()106 void work_finished() 107 { 108 if (::InterlockedDecrement(&outstanding_work_) == 0) 109 stop(); 110 } 111 112 // Return whether a handler can be dispatched immediately. can_dispatch()113 bool can_dispatch() 114 { 115 return thread_call_stack::contains(this) != 0; 116 } 117 118 /// Capture the current exception so it can be rethrown from a run function. 119 BOOST_ASIO_DECL void capture_current_exception(); 120 121 // Request invocation of the given operation and return immediately. Assumes 122 // that work_started() has not yet been called for the operation. post_immediate_completion(win_iocp_operation * op,bool)123 void post_immediate_completion(win_iocp_operation* op, bool) 124 { 125 work_started(); 126 post_deferred_completion(op); 127 } 128 129 // Request invocation of the given operation and return immediately. Assumes 130 // that work_started() was previously called for the operation. 131 BOOST_ASIO_DECL void post_deferred_completion(win_iocp_operation* op); 132 133 // Request invocation of the given operation and return immediately. Assumes 134 // that work_started() was previously called for the operations. 135 BOOST_ASIO_DECL void post_deferred_completions( 136 op_queue<win_iocp_operation>& ops); 137 138 // Request invocation of the given operation using the thread-private queue 139 // and return immediately. Assumes that work_started() has not yet been 140 // called for the operation. post_private_immediate_completion(win_iocp_operation * op)141 void post_private_immediate_completion(win_iocp_operation* op) 142 { 143 post_immediate_completion(op, false); 144 } 145 146 // Request invocation of the given operation using the thread-private queue 147 // and return immediately. Assumes that work_started() was previously called 148 // for the operation. post_private_deferred_completion(win_iocp_operation * op)149 void post_private_deferred_completion(win_iocp_operation* op) 150 { 151 post_deferred_completion(op); 152 } 153 154 // Enqueue the given operation following a failed attempt to dispatch the 155 // operation for immediate invocation. do_dispatch(operation * op)156 void do_dispatch(operation* op) 157 { 158 post_immediate_completion(op, false); 159 } 160 161 // Process unfinished operations as part of a shutdown operation. Assumes 162 // that work_started() was previously called for the operations. 163 BOOST_ASIO_DECL void abandon_operations(op_queue<operation>& ops); 164 165 // Called after starting an overlapped I/O operation that did not complete 166 // immediately. The caller must have already called work_started() prior to 167 // starting the operation. 168 BOOST_ASIO_DECL void on_pending(win_iocp_operation* op); 169 170 // Called after starting an overlapped I/O operation that completed 171 // immediately. The caller must have already called work_started() prior to 172 // starting the operation. 173 BOOST_ASIO_DECL void on_completion(win_iocp_operation* op, 174 DWORD last_error = 0, DWORD bytes_transferred = 0); 175 176 // Called after starting an overlapped I/O operation that completed 177 // immediately. The caller must have already called work_started() prior to 178 // starting the operation. 179 BOOST_ASIO_DECL void on_completion(win_iocp_operation* op, 180 const boost::system::error_code& ec, DWORD bytes_transferred = 0); 181 182 // Add a new timer queue to the service. 183 template <typename Time_Traits> 184 void add_timer_queue(timer_queue<Time_Traits>& timer_queue); 185 186 // Remove a timer queue from the service. 187 template <typename Time_Traits> 188 void remove_timer_queue(timer_queue<Time_Traits>& timer_queue); 189 190 // Schedule a new operation in the given timer queue to expire at the 191 // specified absolute time. 192 template <typename Time_Traits> 193 void schedule_timer(timer_queue<Time_Traits>& queue, 194 const typename Time_Traits::time_type& time, 195 typename timer_queue<Time_Traits>::per_timer_data& timer, wait_op* op); 196 197 // Cancel the timer associated with the given token. Returns the number of 198 // handlers that have been posted or dispatched. 199 template <typename Time_Traits> 200 std::size_t cancel_timer(timer_queue<Time_Traits>& queue, 201 typename timer_queue<Time_Traits>::per_timer_data& timer, 202 std::size_t max_cancelled = (std::numeric_limits<std::size_t>::max)()); 203 204 // Move the timer operations associated with the given timer. 205 template <typename Time_Traits> 206 void move_timer(timer_queue<Time_Traits>& queue, 207 typename timer_queue<Time_Traits>::per_timer_data& to, 208 typename timer_queue<Time_Traits>::per_timer_data& from); 209 210 // Get the concurrency hint that was used to initialise the io_context. concurrency_hint() const211 int concurrency_hint() const 212 { 213 return concurrency_hint_; 214 } 215 216 private: 217 #if defined(WINVER) && (WINVER < 0x0500) 218 typedef DWORD dword_ptr_t; 219 typedef ULONG ulong_ptr_t; 220 #else // defined(WINVER) && (WINVER < 0x0500) 221 typedef DWORD_PTR dword_ptr_t; 222 typedef ULONG_PTR ulong_ptr_t; 223 #endif // defined(WINVER) && (WINVER < 0x0500) 224 225 // Dequeues at most one operation from the I/O completion port, and then 226 // executes it. Returns the number of operations that were dequeued (i.e. 227 // either 0 or 1). 228 BOOST_ASIO_DECL size_t do_one(DWORD msec, 229 win_iocp_thread_info& this_thread, boost::system::error_code& ec); 230 231 // Helper to calculate the GetQueuedCompletionStatus timeout. 232 BOOST_ASIO_DECL static DWORD get_gqcs_timeout(); 233 234 // Helper function to add a new timer queue. 235 BOOST_ASIO_DECL void do_add_timer_queue(timer_queue_base& queue); 236 237 // Helper function to remove a timer queue. 238 BOOST_ASIO_DECL void do_remove_timer_queue(timer_queue_base& queue); 239 240 // Called to recalculate and update the timeout. 241 BOOST_ASIO_DECL void update_timeout(); 242 243 // Helper class to call work_finished() on block exit. 244 struct work_finished_on_block_exit; 245 246 // Helper class for managing a HANDLE. 247 struct auto_handle 248 { 249 HANDLE handle; auto_handleboost::asio::detail::win_iocp_io_context::auto_handle250 auto_handle() : handle(0) {} ~auto_handleboost::asio::detail::win_iocp_io_context::auto_handle251 ~auto_handle() { if (handle) ::CloseHandle(handle); } 252 }; 253 254 // The IO completion port used for queueing operations. 255 auto_handle iocp_; 256 257 // The count of unfinished work. 258 long outstanding_work_; 259 260 // Flag to indicate whether the event loop has been stopped. 261 mutable long stopped_; 262 263 // Flag to indicate whether there is an in-flight stop event. Every event 264 // posted using PostQueuedCompletionStatus consumes non-paged pool, so to 265 // avoid exhausting this resouce we limit the number of outstanding events. 266 long stop_event_posted_; 267 268 // Flag to indicate whether the service has been shut down. 269 long shutdown_; 270 271 enum 272 { 273 // Timeout to use with GetQueuedCompletionStatus on older versions of 274 // Windows. Some versions of windows have a "bug" where a call to 275 // GetQueuedCompletionStatus can appear stuck even though there are events 276 // waiting on the queue. Using a timeout helps to work around the issue. 277 default_gqcs_timeout = 500, 278 279 // Maximum waitable timer timeout, in milliseconds. 280 max_timeout_msec = 5 * 60 * 1000, 281 282 // Maximum waitable timer timeout, in microseconds. 283 max_timeout_usec = max_timeout_msec * 1000, 284 285 // Completion key value used to wake up a thread to dispatch timers or 286 // completed operations. 287 wake_for_dispatch = 1, 288 289 // Completion key value to indicate that an operation has posted with the 290 // original last_error and bytes_transferred values stored in the fields of 291 // the OVERLAPPED structure. 292 overlapped_contains_result = 2 293 }; 294 295 // Timeout to use with GetQueuedCompletionStatus. 296 const DWORD gqcs_timeout_; 297 298 // Helper class to run the scheduler in its own thread. 299 struct thread_function; 300 friend struct thread_function; 301 302 // Function object for processing timeouts in a background thread. 303 struct timer_thread_function; 304 friend struct timer_thread_function; 305 306 // Background thread used for processing timeouts. 307 scoped_ptr<thread> timer_thread_; 308 309 // A waitable timer object used for waiting for timeouts. 310 auto_handle waitable_timer_; 311 312 // Non-zero if timers or completed operations need to be dispatched. 313 long dispatch_required_; 314 315 // Mutex for protecting access to the timer queues and completed operations. 316 mutex dispatch_mutex_; 317 318 // The timer queues. 319 timer_queue_set timer_queues_; 320 321 // The operations that are ready to dispatch. 322 op_queue<win_iocp_operation> completed_ops_; 323 324 // The concurrency hint used to initialise the io_context. 325 const int concurrency_hint_; 326 327 // The thread that is running the io_context. 328 scoped_ptr<thread> thread_; 329 }; 330 331 } // namespace detail 332 } // namespace asio 333 } // namespace boost 334 335 #include <boost/asio/detail/pop_options.hpp> 336 337 #include <boost/asio/detail/impl/win_iocp_io_context.hpp> 338 #if defined(BOOST_ASIO_HEADER_ONLY) 339 # include <boost/asio/detail/impl/win_iocp_io_context.ipp> 340 #endif // defined(BOOST_ASIO_HEADER_ONLY) 341 342 #endif // defined(BOOST_ASIO_HAS_IOCP) 343 344 #endif // BOOST_ASIO_DETAIL_WIN_IOCP_IO_CONTEXT_HPP 345