1 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
5 #ifndef BASE_THREADING_SEQUENCED_WORKER_POOL_H_
6 #define BASE_THREADING_SEQUENCED_WORKER_POOL_H_
11 #include "base/base_export.h"
12 #include "base/basictypes.h"
13 #include "base/callback_forward.h"
14 #include "base/memory/ref_counted.h"
15 #include "base/memory/scoped_ptr.h"
16 #include "base/single_thread_task_runner.h"
17 #include "base/task_runner.h"
19 namespace tracked_objects
{
21 } // namespace tracked_objects
25 class SingleThreadTaskRunner
;
27 template <class T
> class DeleteHelper
;
29 class SequencedTaskRunner
;
31 // A worker thread pool that enforces ordering between sets of tasks. It also
32 // allows you to specify what should happen to your tasks on shutdown.
34 // To enforce ordering, get a unique sequence token from the pool and post all
35 // tasks you want to order with the token. All tasks with the same token are
36 // guaranteed to execute serially, though not necessarily on the same thread.
39 // - No two tasks with the same token will run at the same time.
41 // - Given two tasks T1 and T2 with the same token such that T2 will
42 // run after T1, then T2 will start after T1 is destroyed.
44 // - If T2 will run after T1, then all memory changes in T1 and T1's
45 // destruction will be visible to T2.
48 // SequencedWorkerPool::SequenceToken token = pool.GetSequenceToken();
49 // pool.PostSequencedWorkerTask(token, SequencedWorkerPool::SKIP_ON_SHUTDOWN,
50 // FROM_HERE, base::Bind(...));
51 // pool.PostSequencedWorkerTask(token, SequencedWorkerPool::SKIP_ON_SHUTDOWN,
52 // FROM_HERE, base::Bind(...));
54 // You can make named sequence tokens to make it easier to share a token
55 // across different components.
57 // You can also post tasks to the pool without ordering using PostWorkerTask.
58 // These will be executed in an unspecified order. The order of execution
59 // between tasks with different sequence tokens is also unspecified.
61 // This class may be leaked on shutdown to facilitate fast shutdown. The
62 // expected usage, however, is to call Shutdown(), which correctly accounts
63 // for CONTINUE_ON_SHUTDOWN behavior and is required for BLOCK_SHUTDOWN
66 // Implementation note: This does not use a base::WorkerPool since that does
67 // not enforce shutdown semantics or allow us to specify how many worker
68 // threads to run. For the typical use case of random background work, we don't
69 // necessarily want to be super aggressive about creating threads.
71 // Note that SequencedWorkerPool is RefCountedThreadSafe (inherited
74 // Test-only code should wrap this in a base::SequencedWorkerPoolOwner to avoid
75 // memory leaks. See http://crbug.com/273800
76 class BASE_EXPORT SequencedWorkerPool
: public TaskRunner
{
78 // Defines what should happen to a task posted to the worker pool on
81 // Tasks posted with this mode which have not run at shutdown will be
82 // deleted rather than run, and any tasks with this mode running at
83 // shutdown will be ignored (the worker thread will not be joined).
85 // This option provides a nice way to post stuff you don't want blocking
86 // shutdown. For example, you might be doing a slow DNS lookup and if it's
87 // blocked on the OS, you may not want to stop shutdown, since the result
88 // doesn't really matter at that point.
90 // However, you need to be very careful what you do in your callback when
91 // you use this option. Since the thread will continue to run until the OS
92 // terminates the process, the app can be in the process of tearing down
93 // when you're running. This means any singletons or global objects you
94 // use may suddenly become invalid out from under you. For this reason,
95 // it's best to use this only for slow but simple operations like the DNS
99 // Tasks posted with this mode that have not started executing at
100 // shutdown will be deleted rather than executed. However, any tasks that
101 // have already begun executing when shutdown is called will be allowed
102 // to continue, and will block shutdown until completion.
104 // Note: Because Shutdown() may block while these tasks are executing,
105 // care must be taken to ensure that they do not block on the thread that
106 // called Shutdown(), as this may lead to deadlock.
109 // Tasks posted with this mode will block shutdown until they're
110 // executed. Since this can have significant performance implications,
113 // Generally, this should be used only for user data, for example, a task
114 // writing a preference file.
116 // If a task is posted during shutdown, it will not get run since the
117 // workers may already be stopped. In this case, the post operation will
118 // fail (return false) and the task will be deleted.
122 // Opaque identifier that defines sequencing of tasks posted to the worker
124 class SequenceToken
{
126 SequenceToken() : id_(0) {}
129 bool Equals(const SequenceToken
& other
) const {
130 return id_
== other
.id_
;
133 // Returns false if current thread is executing an unsequenced task.
134 bool IsValid() const {
139 friend class SequencedWorkerPool
;
141 explicit SequenceToken(int id
) : id_(id
) {}
146 // Allows tests to perform certain actions.
147 class TestingObserver
{
149 virtual ~TestingObserver() {}
150 virtual void OnHasWork() = 0;
151 virtual void WillWaitForShutdown() = 0;
152 virtual void OnDestruct() = 0;
155 // Gets the SequencedToken of the current thread.
156 // If current thread is not a SequencedWorkerPool worker thread or is running
157 // an unsequenced task, returns an invalid SequenceToken.
158 static SequenceToken
GetSequenceTokenForCurrentThread();
160 // When constructing a SequencedWorkerPool, there must be a
161 // MessageLoop on the current thread unless you plan to deliberately
164 // Pass the maximum number of threads (they will be lazily created as needed)
165 // and a prefix for the thread name to aid in debugging.
166 SequencedWorkerPool(size_t max_threads
,
167 const std::string
& thread_name_prefix
);
169 // Like above, but with |observer| for testing. Does not take
170 // ownership of |observer|.
171 SequencedWorkerPool(size_t max_threads
,
172 const std::string
& thread_name_prefix
,
173 TestingObserver
* observer
);
175 // Returns a unique token that can be used to sequence tasks posted to
176 // PostSequencedWorkerTask(). Valid tokens are always nonzero.
177 SequenceToken
GetSequenceToken();
179 // Returns the sequence token associated with the given name. Calling this
180 // function multiple times with the same string will always produce the
181 // same sequence token. If the name has not been used before, a new token
183 SequenceToken
GetNamedSequenceToken(const std::string
& name
);
185 // Returns a SequencedTaskRunner wrapper which posts to this
186 // SequencedWorkerPool using the given sequence token. Tasks with nonzero
187 // delay are posted with SKIP_ON_SHUTDOWN behavior and tasks with zero delay
188 // are posted with BLOCK_SHUTDOWN behavior.
189 scoped_refptr
<SequencedTaskRunner
> GetSequencedTaskRunner(
190 SequenceToken token
);
192 // Returns a SequencedTaskRunner wrapper which posts to this
193 // SequencedWorkerPool using the given sequence token. Tasks with nonzero
194 // delay are posted with SKIP_ON_SHUTDOWN behavior and tasks with zero delay
195 // are posted with the given shutdown behavior.
196 scoped_refptr
<SequencedTaskRunner
> GetSequencedTaskRunnerWithShutdownBehavior(
198 WorkerShutdown shutdown_behavior
);
200 // Returns a TaskRunner wrapper which posts to this SequencedWorkerPool using
201 // the given shutdown behavior. Tasks with nonzero delay are posted with
202 // SKIP_ON_SHUTDOWN behavior and tasks with zero delay are posted with the
203 // given shutdown behavior.
204 scoped_refptr
<TaskRunner
> GetTaskRunnerWithShutdownBehavior(
205 WorkerShutdown shutdown_behavior
);
207 // Posts the given task for execution in the worker pool. Tasks posted with
208 // this function will execute in an unspecified order on a background thread.
209 // Returns true if the task was posted. If your tasks have ordering
210 // requirements, see PostSequencedWorkerTask().
212 // This class will attempt to delete tasks that aren't run
213 // (non-block-shutdown semantics) but can't guarantee that this happens. If
214 // all worker threads are busy running CONTINUE_ON_SHUTDOWN tasks, there
215 // will be no workers available to delete these tasks. And there may be
216 // tasks with the same sequence token behind those CONTINUE_ON_SHUTDOWN
217 // tasks. Deleting those tasks before the previous one has completed could
218 // cause nondeterministic crashes because the task could be keeping some
219 // objects alive which do work in their destructor, which could voilate the
220 // assumptions of the running task.
222 // The task will be guaranteed to run to completion before shutdown
223 // (BLOCK_SHUTDOWN semantics).
225 // Returns true if the task was posted successfully. This may fail during
226 // shutdown regardless of the specified ShutdownBehavior.
227 bool PostWorkerTask(const tracked_objects::Location
& from_here
,
228 const Closure
& task
);
230 // Same as PostWorkerTask but allows a delay to be specified (although doing
231 // so changes the shutdown behavior). The task will be run after the given
232 // delay has elapsed.
234 // If the delay is nonzero, the task won't be guaranteed to run to completion
235 // before shutdown (SKIP_ON_SHUTDOWN semantics) to avoid shutdown hangs.
236 // If the delay is zero, this behaves exactly like PostWorkerTask, i.e. the
237 // task will be guaranteed to run to completion before shutdown
238 // (BLOCK_SHUTDOWN semantics).
239 bool PostDelayedWorkerTask(const tracked_objects::Location
& from_here
,
243 // Same as PostWorkerTask but allows specification of the shutdown behavior.
244 bool PostWorkerTaskWithShutdownBehavior(
245 const tracked_objects::Location
& from_here
,
247 WorkerShutdown shutdown_behavior
);
249 // Like PostWorkerTask above, but provides sequencing semantics. This means
250 // that tasks posted with the same sequence token (see GetSequenceToken())
251 // are guaranteed to execute in order. This is useful in cases where you're
252 // doing operations that may depend on previous ones, like appending to a
255 // The task will be guaranteed to run to completion before shutdown
256 // (BLOCK_SHUTDOWN semantics).
258 // Returns true if the task was posted successfully. This may fail during
259 // shutdown regardless of the specified ShutdownBehavior.
260 bool PostSequencedWorkerTask(SequenceToken sequence_token
,
261 const tracked_objects::Location
& from_here
,
262 const Closure
& task
);
264 // Like PostSequencedWorkerTask above, but allows you to specify a named
265 // token, which saves an extra call to GetNamedSequenceToken.
266 bool PostNamedSequencedWorkerTask(const std::string
& token_name
,
267 const tracked_objects::Location
& from_here
,
268 const Closure
& task
);
270 // Same as PostSequencedWorkerTask but allows a delay to be specified
271 // (although doing so changes the shutdown behavior). The task will be run
272 // after the given delay has elapsed.
274 // If the delay is nonzero, the task won't be guaranteed to run to completion
275 // before shutdown (SKIP_ON_SHUTDOWN semantics) to avoid shutdown hangs.
276 // If the delay is zero, this behaves exactly like PostSequencedWorkerTask,
277 // i.e. the task will be guaranteed to run to completion before shutdown
278 // (BLOCK_SHUTDOWN semantics).
279 bool PostDelayedSequencedWorkerTask(
280 SequenceToken sequence_token
,
281 const tracked_objects::Location
& from_here
,
285 // Same as PostSequencedWorkerTask but allows specification of the shutdown
287 bool PostSequencedWorkerTaskWithShutdownBehavior(
288 SequenceToken sequence_token
,
289 const tracked_objects::Location
& from_here
,
291 WorkerShutdown shutdown_behavior
);
293 // TaskRunner implementation. Forwards to PostDelayedWorkerTask().
294 bool PostDelayedTask(const tracked_objects::Location
& from_here
,
296 TimeDelta delay
) override
;
297 bool RunsTasksOnCurrentThread() const override
;
299 // Returns true if the current thread is processing a task with the given
301 bool IsRunningSequenceOnCurrentThread(SequenceToken sequence_token
) const;
303 // Blocks until all pending tasks are complete. This should only be called in
304 // unit tests when you want to validate something that should have happened.
305 // This will not flush delayed tasks; delayed tasks get deleted.
307 // Note that calling this will not prevent other threads from posting work to
308 // the queue while the calling thread is waiting on Flush(). In this case,
309 // Flush will return only when there's no more work in the queue. Normally,
310 // this doesn't come up since in a test, all the work is being posted from
312 void FlushForTesting();
314 // Spuriously signal that there is work to be done.
315 void SignalHasWorkForTesting();
317 // Implements the worker pool shutdown. This should be called during app
318 // shutdown, and will discard/join with appropriate tasks before returning.
319 // After this call, subsequent calls to post tasks will fail.
321 // Must be called from the same thread this object was constructed on.
322 void Shutdown() { Shutdown(0); }
324 // A variant that allows an arbitrary number of new blocking tasks to be
325 // posted during shutdown. The tasks cannot be posted within the execution
326 // context of tasks whose shutdown behavior is not BLOCKING_SHUTDOWN. Once
327 // the limit is reached, subsequent calls to post task fail in all cases.
328 // Must be called from the same thread this object was constructed on.
329 void Shutdown(int max_new_blocking_tasks_after_shutdown
);
331 // Check if Shutdown was called for given threading pool. This method is used
332 // for aborting time consuming operation to avoid blocking shutdown.
334 // Can be called from any thread.
335 bool IsShutdownInProgress();
338 ~SequencedWorkerPool() override
;
340 void OnDestruct() const override
;
343 friend class RefCountedThreadSafe
<SequencedWorkerPool
>;
344 friend class DeleteHelper
<SequencedWorkerPool
>;
349 const scoped_refptr
<SingleThreadTaskRunner
> constructor_task_runner_
;
351 // Avoid pulling in too many headers by putting (almost) everything
353 const scoped_ptr
<Inner
> inner_
;
355 DISALLOW_COPY_AND_ASSIGN(SequencedWorkerPool
);
360 #endif // BASE_THREADING_SEQUENCED_WORKER_POOL_H_