1 // Copyright 2013 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_MESSAGE_LOOP_MESSAGE_LOOP_H_
6 #define BASE_MESSAGE_LOOP_MESSAGE_LOOP_H_
11 #include "base/base_export.h"
12 #include "base/basictypes.h"
13 #include "base/callback_forward.h"
14 #include "base/debug/task_annotator.h"
15 #include "base/location.h"
16 #include "base/memory/ref_counted.h"
17 #include "base/memory/scoped_ptr.h"
18 #include "base/message_loop/incoming_task_queue.h"
19 #include "base/message_loop/message_loop_proxy.h"
20 #include "base/message_loop/message_loop_proxy_impl.h"
21 #include "base/message_loop/message_pump.h"
22 #include "base/message_loop/timer_slack.h"
23 #include "base/observer_list.h"
24 #include "base/pending_task.h"
25 #include "base/sequenced_task_runner_helpers.h"
26 #include "base/synchronization/lock.h"
27 #include "base/time/time.h"
28 #include "base/tracking_info.h"
30 // TODO(sky): these includes should not be necessary. Nuke them.
32 #include "base/message_loop/message_pump_win.h"
34 #include "base/message_loop/message_pump_io_ios.h"
35 #elif defined(OS_POSIX)
36 #include "base/message_loop/message_pump_libevent.h"
43 class ThreadTaskRunnerHandle
;
46 // A MessageLoop is used to process events for a particular thread. There is
47 // at most one MessageLoop instance per thread.
49 // Events include at a minimum Task instances submitted to PostTask and its
50 // variants. Depending on the type of message pump used by the MessageLoop
51 // other events such as UI messages may be processed. On Windows APC calls (as
52 // time permits) and signals sent to a registered set of HANDLEs may also be
55 // NOTE: Unless otherwise specified, a MessageLoop's methods may only be called
56 // on the thread where the MessageLoop's Run method executes.
58 // NOTE: MessageLoop has task reentrancy protection. This means that if a
59 // task is being processed, a second task cannot start until the first task is
60 // finished. Reentrancy can happen when processing a task, and an inner
61 // message pump is created. That inner pump then processes native messages
62 // which could implicitly start an inner task. Inner message pumps are created
63 // with dialogs (DialogBox), common dialogs (GetOpenFileName), OLE functions
64 // (DoDragDrop), printer functions (StartDoc) and *many* others.
66 // Sample workaround when inner task processing is needed:
69 // MessageLoop::ScopedNestableTaskAllower allow(MessageLoop::current());
70 // hr = DoDragDrop(...); // Implicitly runs a modal message loop.
72 // // Process |hr| (the result returned by DoDragDrop()).
74 // Please be SURE your task is reentrant (nestable) and all global variables
75 // are stable and accessible before calling SetNestableTasksAllowed(true).
77 class BASE_EXPORT MessageLoop
: public MessagePump::Delegate
{
79 // A MessageLoop has a particular type, which indicates the set of
80 // asynchronous events it may process in addition to tasks and timers.
83 // This type of ML only supports tasks and timers.
86 // This type of ML also supports native UI events (e.g., Windows messages).
87 // See also MessageLoopForUI.
90 // This type of ML also supports asynchronous IO. See also
94 // This type of ML is backed by a Java message handler which is responsible
95 // for running the tasks added to the ML. This is only for use on Android.
96 // TYPE_JAVA behaves in essence like TYPE_UI, except during construction
97 // where it does not use the main thread specific pump factory.
100 // MessagePump was supplied to constructor.
107 #if defined(OS_ANDROID)
109 #endif // defined(OS_ANDROID)
112 // Normally, it is not necessary to instantiate a MessageLoop. Instead, it
113 // is typical to make use of the current thread's MessageLoop instance.
114 explicit MessageLoop(Type type
= TYPE_DEFAULT
);
115 // Creates a TYPE_CUSTOM MessageLoop with the supplied MessagePump, which must
117 explicit MessageLoop(scoped_ptr
<base::MessagePump
> pump
);
118 ~MessageLoop() override
;
120 // Returns the MessageLoop object for the current thread, or null if none.
121 static MessageLoop
* current();
123 static void EnableHistogrammer(bool enable_histogrammer
);
125 typedef scoped_ptr
<MessagePump
> (MessagePumpFactory
)();
126 // Uses the given base::MessagePumpForUIFactory to override the default
127 // MessagePump implementation for 'TYPE_UI'. Returns true if the factory
128 // was successfully registered.
129 static bool InitMessagePumpForUIFactory(MessagePumpFactory
* factory
);
131 // Creates the default MessagePump based on |type|. Caller owns return
133 static scoped_ptr
<MessagePump
> CreateMessagePumpForType(Type type
);
134 // A DestructionObserver is notified when the current MessageLoop is being
135 // destroyed. These observers are notified prior to MessageLoop::current()
136 // being changed to return NULL. This gives interested parties the chance to
137 // do final cleanup that depends on the MessageLoop.
139 // NOTE: Any tasks posted to the MessageLoop during this notification will
140 // not be run. Instead, they will be deleted.
142 class BASE_EXPORT DestructionObserver
{
144 virtual void WillDestroyCurrentMessageLoop() = 0;
147 virtual ~DestructionObserver();
150 // Add a DestructionObserver, which will start receiving notifications
152 void AddDestructionObserver(DestructionObserver
* destruction_observer
);
154 // Remove a DestructionObserver. It is safe to call this method while a
155 // DestructionObserver is receiving a notification callback.
156 void RemoveDestructionObserver(DestructionObserver
* destruction_observer
);
158 // The "PostTask" family of methods call the task's Run method asynchronously
159 // from within a message loop at some point in the future.
161 // With the PostTask variant, tasks are invoked in FIFO order, inter-mixed
162 // with normal UI or IO event processing. With the PostDelayedTask variant,
163 // tasks are called after at least approximately 'delay_ms' have elapsed.
165 // The NonNestable variants work similarly except that they promise never to
166 // dispatch the task from a nested invocation of MessageLoop::Run. Instead,
167 // such tasks get deferred until the top-most MessageLoop::Run is executing.
169 // The MessageLoop takes ownership of the Task, and deletes it after it has
172 // PostTask(from_here, task) is equivalent to
173 // PostDelayedTask(from_here, task, 0).
175 // NOTE: These methods may be called on any thread. The Task will be invoked
176 // on the thread that executes MessageLoop::Run().
177 void PostTask(const tracked_objects::Location
& from_here
,
178 const Closure
& task
);
180 void PostDelayedTask(const tracked_objects::Location
& from_here
,
184 void PostNonNestableTask(const tracked_objects::Location
& from_here
,
185 const Closure
& task
);
187 void PostNonNestableDelayedTask(const tracked_objects::Location
& from_here
,
191 // A variant on PostTask that deletes the given object. This is useful
192 // if the object needs to live until the next run of the MessageLoop (for
193 // example, deleting a RenderProcessHost from within an IPC callback is not
196 // NOTE: This method may be called on any thread. The object will be deleted
197 // on the thread that executes MessageLoop::Run().
199 void DeleteSoon(const tracked_objects::Location
& from_here
, const T
* object
) {
200 base::subtle::DeleteHelperInternal
<T
, void>::DeleteViaSequencedTaskRunner(
201 this, from_here
, object
);
204 // A variant on PostTask that releases the given reference counted object
205 // (by calling its Release method). This is useful if the object needs to
206 // live until the next run of the MessageLoop, or if the object needs to be
207 // released on a particular thread.
209 // A common pattern is to manually increment the object's reference count
210 // (AddRef), clear the pointer, then issue a ReleaseSoon. The reference count
211 // is incremented manually to ensure clearing the pointer does not trigger a
212 // delete and to account for the upcoming decrement (ReleaseSoon). For
215 // scoped_refptr<Foo> foo = ...
217 // Foo* raw_foo = foo.get();
219 // message_loop->ReleaseSoon(raw_foo);
221 // NOTE: This method may be called on any thread. The object will be
222 // released (and thus possibly deleted) on the thread that executes
223 // MessageLoop::Run(). If this is not the same as the thread that calls
224 // ReleaseSoon(FROM_HERE, ), then T MUST inherit from
225 // RefCountedThreadSafe<T>!
227 void ReleaseSoon(const tracked_objects::Location
& from_here
,
229 base::subtle::ReleaseHelperInternal
<T
, void>::ReleaseViaSequencedTaskRunner(
230 this, from_here
, object
);
233 // Deprecated: use RunLoop instead.
234 // Run the message loop.
237 // Deprecated: use RunLoop instead.
238 // Process all pending tasks, windows messages, etc., but don't wait/sleep.
239 // Return as soon as all items that can be run are taken care of.
242 // TODO(jbates) remove this. crbug.com/131220. See QuitWhenIdle().
243 void Quit() { QuitWhenIdle(); }
245 // Deprecated: use RunLoop instead.
247 // Signals the Run method to return when it becomes idle. It will continue to
248 // process pending messages and future messages as long as they are enqueued.
249 // Warning: if the MessageLoop remains busy, it may never quit. Only use this
250 // Quit method when looping procedures (such as web pages) have been shut
253 // This method may only be called on the same thread that called Run, and Run
254 // must still be on the call stack.
256 // Use QuitClosure variants if you need to Quit another thread's MessageLoop,
257 // but note that doing so is fairly dangerous if the target thread makes
258 // nested calls to MessageLoop::Run. The problem being that you won't know
259 // which nested run loop you are quitting, so be careful!
262 // Deprecated: use RunLoop instead.
264 // This method is a variant of Quit, that does not wait for pending messages
265 // to be processed before returning from Run.
268 // TODO(jbates) remove this. crbug.com/131220. See QuitWhenIdleClosure().
269 static Closure
QuitClosure() { return QuitWhenIdleClosure(); }
271 // Deprecated: use RunLoop instead.
272 // Construct a Closure that will call QuitWhenIdle(). Useful to schedule an
273 // arbitrary MessageLoop to QuitWhenIdle.
274 static Closure
QuitWhenIdleClosure();
276 // Set the timer slack for this message loop.
277 void SetTimerSlack(TimerSlack timer_slack
) {
278 pump_
->SetTimerSlack(timer_slack
);
281 // Returns true if this loop is |type|. This allows subclasses (especially
282 // those in tests) to specialize how they are identified.
283 virtual bool IsType(Type type
) const;
285 // Returns the type passed to the constructor.
286 Type
type() const { return type_
; }
288 // Optional call to connect the thread name with this loop.
289 void set_thread_name(const std::string
& thread_name
) {
290 DCHECK(thread_name_
.empty()) << "Should not rename this thread!";
291 thread_name_
= thread_name
;
293 const std::string
& thread_name() const { return thread_name_
; }
295 // Gets the message loop proxy associated with this message loop.
297 // NOTE: Deprecated; prefer task_runner() and the TaskRunner interfaces
298 scoped_refptr
<MessageLoopProxy
> message_loop_proxy() {
299 return message_loop_proxy_
;
302 // Gets the TaskRunner associated with this message loop.
303 scoped_refptr
<SingleThreadTaskRunner
> task_runner() {
304 return message_loop_proxy_
;
307 // Enables or disables the recursive task processing. This happens in the case
308 // of recursive message loops. Some unwanted message loop may occurs when
309 // using common controls or printer functions. By default, recursive task
310 // processing is disabled.
312 // Please utilize |ScopedNestableTaskAllower| instead of calling these methods
313 // directly. In general nestable message loops are to be avoided. They are
314 // dangerous and difficult to get right, so please use with extreme caution.
316 // The specific case where tasks get queued is:
317 // - The thread is running a message loop.
318 // - It receives a task #1 and execute it.
319 // - The task #1 implicitly start a message loop, like a MessageBox in the
320 // unit test. This can also be StartDoc or GetSaveFileName.
321 // - The thread receives a task #2 before or while in this second message
323 // - With NestableTasksAllowed set to true, the task #2 will run right away.
324 // Otherwise, it will get executed right after task #1 completes at "thread
325 // message loop level".
326 void SetNestableTasksAllowed(bool allowed
);
327 bool NestableTasksAllowed() const;
329 // Enables nestable tasks on |loop| while in scope.
330 class ScopedNestableTaskAllower
{
332 explicit ScopedNestableTaskAllower(MessageLoop
* loop
)
334 old_state_(loop_
->NestableTasksAllowed()) {
335 loop_
->SetNestableTasksAllowed(true);
337 ~ScopedNestableTaskAllower() {
338 loop_
->SetNestableTasksAllowed(old_state_
);
346 // Returns true if we are currently running a nested message loop.
349 // A TaskObserver is an object that receives task notifications from the
352 // NOTE: A TaskObserver implementation should be extremely fast!
353 class BASE_EXPORT TaskObserver
{
357 // This method is called before processing a task.
358 virtual void WillProcessTask(const PendingTask
& pending_task
) = 0;
360 // This method is called after processing a task.
361 virtual void DidProcessTask(const PendingTask
& pending_task
) = 0;
364 virtual ~TaskObserver();
367 // These functions can only be called on the same thread that |this| is
369 void AddTaskObserver(TaskObserver
* task_observer
);
370 void RemoveTaskObserver(TaskObserver
* task_observer
);
373 void set_os_modal_loop(bool os_modal_loop
) {
374 os_modal_loop_
= os_modal_loop
;
377 bool os_modal_loop() const {
378 return os_modal_loop_
;
382 // Can only be called from the thread that owns the MessageLoop.
383 bool is_running() const;
385 // Returns true if the message loop has high resolution timers enabled.
386 // Provided for testing.
387 bool HasHighResolutionTasks();
389 // Returns true if the message loop is "idle". Provided for testing.
390 bool IsIdleForTesting();
392 // Wakes up the message pump. Can be called on any thread. The caller is
393 // responsible for synchronizing ScheduleWork() calls.
394 void ScheduleWork(bool was_empty
);
396 // Returns the TaskAnnotator which is used to add debug information to posted
398 debug::TaskAnnotator
* task_annotator() { return &task_annotator_
; }
400 // Runs the specified PendingTask.
401 void RunTask(const PendingTask
& pending_task
);
403 //----------------------------------------------------------------------------
405 scoped_ptr
<MessagePump
> pump_
;
408 friend class RunLoop
;
410 // Configures various members for the two constructors.
413 // Invokes the actual run loop using the message pump.
416 // Called to process any delayed non-nestable tasks.
417 bool ProcessNextDelayedNonNestableTask();
419 // Calls RunTask or queues the pending_task on the deferred task list if it
420 // cannot be run right now. Returns true if the task was run.
421 bool DeferOrRunPendingTask(const PendingTask
& pending_task
);
423 // Adds the pending task to delayed_work_queue_.
424 void AddToDelayedWorkQueue(const PendingTask
& pending_task
);
426 // Delete tasks that haven't run yet without running them. Used in the
427 // destructor to make sure all the task's destructors get called. Returns
428 // true if some work was done.
429 bool DeletePendingTasks();
431 // Loads tasks from the incoming queue to |work_queue_| if the latter is
433 void ReloadWorkQueue();
435 // Start recording histogram info about events and action IF it was enabled
436 // and IF the statistics recorder can accept a registration of our histogram.
437 void StartHistogrammer();
439 // Add occurrence of event to our histogram, so that we can see what is being
440 // done in a specific MessageLoop instance (i.e., specific thread).
441 // If message_histogram_ is NULL, this is a no-op.
442 void HistogramEvent(int event
);
444 // MessagePump::Delegate methods:
445 bool DoWork() override
;
446 bool DoDelayedWork(TimeTicks
* next_delayed_work_time
) override
;
447 bool DoIdleWork() override
;
451 // A list of tasks that need to be processed by this instance. Note that
452 // this queue is only accessed (push/pop) by our current thread.
453 TaskQueue work_queue_
;
455 // How many high resolution tasks are in the pending task queue. This value
456 // increases by N every time we call ReloadWorkQueue() and decreases by 1
457 // every time we call RunTask() if the task needs a high resolution timer.
458 int pending_high_res_tasks_
;
459 // Tracks if we have requested high resolution timers. Its only use is to
460 // turn off the high resolution timer upon loop destruction.
461 bool in_high_res_mode_
;
463 // Contains delayed tasks, sorted by their 'delayed_run_time' property.
464 DelayedTaskQueue delayed_work_queue_
;
466 // A recent snapshot of Time::Now(), used to check delayed_work_queue_.
467 TimeTicks recent_time_
;
469 // A queue of non-nestable tasks that we had to defer because when it came
470 // time to execute them we were in a nested message loop. They will execute
471 // once we're out of nested message loops.
472 TaskQueue deferred_non_nestable_work_queue_
;
474 ObserverList
<DestructionObserver
> destruction_observers_
;
476 // A recursion block that prevents accidentally running additional tasks when
477 // insider a (accidentally induced?) nested message pump.
478 bool nestable_tasks_allowed_
;
481 // Should be set to true before calling Windows APIs like TrackPopupMenu, etc
482 // which enter a modal message loop.
486 std::string thread_name_
;
487 // A profiling histogram showing the counts of various messages and events.
488 HistogramBase
* message_histogram_
;
492 ObserverList
<TaskObserver
> task_observers_
;
494 debug::TaskAnnotator task_annotator_
;
496 scoped_refptr
<internal::IncomingTaskQueue
> incoming_task_queue_
;
498 // The message loop proxy associated with this message loop.
499 scoped_refptr
<internal::MessageLoopProxyImpl
> message_loop_proxy_
;
500 scoped_ptr
<ThreadTaskRunnerHandle
> thread_task_runner_handle_
;
502 template <class T
, class R
> friend class base::subtle::DeleteHelperInternal
;
503 template <class T
, class R
> friend class base::subtle::ReleaseHelperInternal
;
505 void DeleteSoonInternal(const tracked_objects::Location
& from_here
,
506 void(*deleter
)(const void*),
508 void ReleaseSoonInternal(const tracked_objects::Location
& from_here
,
509 void(*releaser
)(const void*),
512 DISALLOW_COPY_AND_ASSIGN(MessageLoop
);
515 #if !defined(OS_NACL)
517 //-----------------------------------------------------------------------------
518 // MessageLoopForUI extends MessageLoop with methods that are particular to a
519 // MessageLoop instantiated with TYPE_UI.
521 // This class is typically used like so:
522 // MessageLoopForUI::current()->...call some method...
524 class BASE_EXPORT MessageLoopForUI
: public MessageLoop
{
526 MessageLoopForUI() : MessageLoop(TYPE_UI
) {
529 // Returns the MessageLoopForUI of the current thread.
530 static MessageLoopForUI
* current() {
531 MessageLoop
* loop
= MessageLoop::current();
533 DCHECK_EQ(MessageLoop::TYPE_UI
, loop
->type());
534 return static_cast<MessageLoopForUI
*>(loop
);
537 static bool IsCurrent() {
538 MessageLoop
* loop
= MessageLoop::current();
539 return loop
&& loop
->type() == MessageLoop::TYPE_UI
;
543 // On iOS, the main message loop cannot be Run(). Instead call Attach(),
544 // which connects this MessageLoop to the UI thread's CFRunLoop and allows
545 // PostTask() to work.
549 #if defined(OS_ANDROID)
550 // On Android, the UI message loop is handled by Java side. So Run() should
551 // never be called. Instead use Start(), which will forward all the native UI
552 // events to the Java message loop.
556 #if defined(USE_OZONE) || (defined(USE_X11) && !defined(USE_GLIB))
557 // Please see MessagePumpLibevent for definition.
558 bool WatchFileDescriptor(
561 MessagePumpLibevent::Mode mode
,
562 MessagePumpLibevent::FileDescriptorWatcher
* controller
,
563 MessagePumpLibevent::Watcher
* delegate
);
567 // Do not add any member variables to MessageLoopForUI! This is important b/c
568 // MessageLoopForUI is often allocated via MessageLoop(TYPE_UI). Any extra
569 // data that you need should be stored on the MessageLoop's pump_ instance.
570 COMPILE_ASSERT(sizeof(MessageLoop
) == sizeof(MessageLoopForUI
),
571 MessageLoopForUI_should_not_have_extra_member_variables
);
573 #endif // !defined(OS_NACL)
575 //-----------------------------------------------------------------------------
576 // MessageLoopForIO extends MessageLoop with methods that are particular to a
577 // MessageLoop instantiated with TYPE_IO.
579 // This class is typically used like so:
580 // MessageLoopForIO::current()->...call some method...
582 class BASE_EXPORT MessageLoopForIO
: public MessageLoop
{
584 MessageLoopForIO() : MessageLoop(TYPE_IO
) {
587 // Returns the MessageLoopForIO of the current thread.
588 static MessageLoopForIO
* current() {
589 MessageLoop
* loop
= MessageLoop::current();
590 DCHECK_EQ(MessageLoop::TYPE_IO
, loop
->type());
591 return static_cast<MessageLoopForIO
*>(loop
);
594 static bool IsCurrent() {
595 MessageLoop
* loop
= MessageLoop::current();
596 return loop
&& loop
->type() == MessageLoop::TYPE_IO
;
599 #if !defined(OS_NACL_SFI)
602 typedef MessagePumpForIO::IOHandler IOHandler
;
603 typedef MessagePumpForIO::IOContext IOContext
;
604 typedef MessagePumpForIO::IOObserver IOObserver
;
605 #elif defined(OS_IOS)
606 typedef MessagePumpIOSForIO::Watcher Watcher
;
607 typedef MessagePumpIOSForIO::FileDescriptorWatcher
608 FileDescriptorWatcher
;
609 typedef MessagePumpIOSForIO::IOObserver IOObserver
;
612 WATCH_READ
= MessagePumpIOSForIO::WATCH_READ
,
613 WATCH_WRITE
= MessagePumpIOSForIO::WATCH_WRITE
,
614 WATCH_READ_WRITE
= MessagePumpIOSForIO::WATCH_READ_WRITE
616 #elif defined(OS_POSIX)
617 typedef MessagePumpLibevent::Watcher Watcher
;
618 typedef MessagePumpLibevent::FileDescriptorWatcher
619 FileDescriptorWatcher
;
620 typedef MessagePumpLibevent::IOObserver IOObserver
;
623 WATCH_READ
= MessagePumpLibevent::WATCH_READ
,
624 WATCH_WRITE
= MessagePumpLibevent::WATCH_WRITE
,
625 WATCH_READ_WRITE
= MessagePumpLibevent::WATCH_READ_WRITE
629 void AddIOObserver(IOObserver
* io_observer
);
630 void RemoveIOObserver(IOObserver
* io_observer
);
633 // Please see MessagePumpWin for definitions of these methods.
634 void RegisterIOHandler(HANDLE file
, IOHandler
* handler
);
635 bool RegisterJobObject(HANDLE job
, IOHandler
* handler
);
636 bool WaitForIOCompletion(DWORD timeout
, IOHandler
* filter
);
637 #elif defined(OS_POSIX)
638 // Please see MessagePumpIOSForIO/MessagePumpLibevent for definition.
639 bool WatchFileDescriptor(int fd
,
642 FileDescriptorWatcher
*controller
,
644 #endif // defined(OS_IOS) || defined(OS_POSIX)
645 #endif // !defined(OS_NACL_SFI)
648 // Do not add any member variables to MessageLoopForIO! This is important b/c
649 // MessageLoopForIO is often allocated via MessageLoop(TYPE_IO). Any extra
650 // data that you need should be stored on the MessageLoop's pump_ instance.
651 COMPILE_ASSERT(sizeof(MessageLoop
) == sizeof(MessageLoopForIO
),
652 MessageLoopForIO_should_not_have_extra_member_variables
);
656 #endif // BASE_MESSAGE_LOOP_MESSAGE_LOOP_H_