• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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