diff options
Diffstat (limited to 'base/run_loop.h')
-rw-r--r-- | base/run_loop.h | 262 |
1 files changed, 227 insertions, 35 deletions
diff --git a/base/run_loop.h b/base/run_loop.h index 077d097ba9..2582a69f1d 100644 --- a/base/run_loop.h +++ b/base/run_loop.h @@ -5,11 +5,17 @@ #ifndef BASE_RUN_LOOP_H_ #define BASE_RUN_LOOP_H_ +#include <utility> +#include <vector> + #include "base/base_export.h" #include "base/callback.h" +#include "base/containers/stack.h" #include "base/macros.h" +#include "base/memory/ref_counted.h" #include "base/memory/weak_ptr.h" -#include "base/message_loop/message_loop.h" +#include "base/observer_list.h" +#include "base/sequence_checker.h" #include "base/threading/thread_checker.h" #include "build/build_config.h" @@ -22,41 +28,78 @@ class MessagePumpForUI; class MessagePumpUIApplication; #endif -// Helper class to Run a nested MessageLoop. Please do not use nested -// MessageLoops in production code! If you must, use this class instead of -// calling MessageLoop::Run/Quit directly. RunLoop::Run can only be called once +class SingleThreadTaskRunner; + +// Helper class to run the RunLoop::Delegate associated with the current thread. +// A RunLoop::Delegate must have been bound to this thread (ref. +// RunLoop::RegisterDelegateForCurrentThread()) prior to using any of RunLoop's +// member and static methods unless explicitly indicated otherwise (e.g. +// IsRunning/IsNestedOnCurrentThread()). RunLoop::Run can only be called once // per RunLoop lifetime. Create a RunLoop on the stack and call Run/Quit to run -// a nested MessageLoop. +// a nested RunLoop but please do not use nested loops in production code! class BASE_EXPORT RunLoop { public: - RunLoop(); + // The type of RunLoop: a kDefault RunLoop at the top-level (non-nested) will + // process system and application tasks assigned to its Delegate. When nested + // however a kDefault RunLoop will only process system tasks while a + // kNestableTasksAllowed RunLoop will continue to process application tasks + // even if nested. + // + // This is relevant in the case of recursive RunLoops. Some unwanted run loops + // may occur when using common controls or printer functions. By default, + // recursive task processing is disabled. + // + // In general, nestable RunLoops are to be avoided. They are dangerous and + // difficult to get right, so please use with extreme caution. + // + // A specific example where this makes a difference is: + // - The thread is running a RunLoop. + // - It receives a task #1 and executes it. + // - The task #1 implicitly starts a RunLoop, like a MessageBox in the unit + // test. This can also be StartDoc or GetSaveFileName. + // - The thread receives a task #2 before or while in this second RunLoop. + // - With a kNestableTasksAllowed RunLoop, the task #2 will run right away. + // Otherwise, it will get executed right after task #1 completes in the main + // RunLoop. + enum class Type { + kDefault, + kNestableTasksAllowed, + }; + + RunLoop(Type type = Type::kDefault); ~RunLoop(); - // Run the current MessageLoop. This blocks until Quit is called. Before + // Run the current RunLoop::Delegate. This blocks until Quit is called. Before // calling Run, be sure to grab the QuitClosure in order to stop the - // MessageLoop asynchronously. MessageLoop::QuitWhenIdle and QuitNow will also - // trigger a return from Run, but those are deprecated. + // RunLoop::Delegate asynchronously. void Run(); - // Run the current MessageLoop until it doesn't find any tasks or messages in - // the queue (it goes idle). WARNING: This may never return! Only use this - // when repeating tasks such as animated web pages have been shut down. + // Run the current RunLoop::Delegate until it doesn't find any tasks or + // messages in its queue (it goes idle). WARNING: This may never return! Only + // use this when repeating tasks such as animated web pages have been shut + // down. void RunUntilIdle(); - bool running() const { return running_; } + bool running() const { + DCHECK_CALLED_ON_VALID_SEQUENCE(sequence_checker_); + return running_; + } // Quit() quits an earlier call to Run() immediately. QuitWhenIdle() quits an // earlier call to Run() when there aren't any tasks or messages in the queue. // - // There can be other nested RunLoops servicing the same task queue - // (MessageLoop); Quitting one RunLoop has no bearing on the others. Quit() - // and QuitWhenIdle() can be called before, during or after Run(). If called - // before Run(), Run() will return immediately when called. Calling Quit() or - // QuitWhenIdle() after the RunLoop has already finished running has no - // effect. + // These methods are thread-safe but note that Quit() is best-effort when + // called from another thread (will quit soon but tasks that were already + // queued on this RunLoop will get to run first). + // + // There can be other nested RunLoops servicing the same task queue. Quitting + // one RunLoop has no bearing on the others. Quit() and QuitWhenIdle() can be + // called before, during or after Run(). If called before Run(), Run() will + // return immediately when called. Calling Quit() or QuitWhenIdle() after the + // RunLoop has already finished running has no effect. // // WARNING: You must NEVER assume that a call to Quit() or QuitWhenIdle() will - // terminate the targetted message loop. If a nested message loop continues + // terminate the targetted message loop. If a nested RunLoop continues // running, the target may NEVER terminate. It is very easy to livelock (run // forever) in such a case. void Quit(); @@ -65,6 +108,10 @@ class BASE_EXPORT RunLoop { // Convenience methods to get a closure that safely calls Quit() or // QuitWhenIdle() (has no effect if the RunLoop instance is gone). // + // The resulting Closure is thread-safe (note however that invoking the + // QuitClosure() from another thread than this RunLoop's will result in an + // asynchronous rather than immediate Quit()). + // // Example: // RunLoop run_loop; // PostTask(run_loop.QuitClosure()); @@ -72,16 +119,145 @@ class BASE_EXPORT RunLoop { base::Closure QuitClosure(); base::Closure QuitWhenIdleClosure(); + // Returns true if there is an active RunLoop on this thread. + // Safe to call before RegisterDelegateForCurrentThread(). + static bool IsRunningOnCurrentThread(); + + // Returns true if there is an active RunLoop on this thread and it's nested + // within another active RunLoop. + // Safe to call before RegisterDelegateForCurrentThread(). + static bool IsNestedOnCurrentThread(); + + // A NestingObserver is notified when a nested RunLoop begins and ends. + class BASE_EXPORT NestingObserver { + public: + // Notified before a nested loop starts running work on the current thread. + virtual void OnBeginNestedRunLoop() = 0; + // Notified after a nested loop is done running work on the current thread. + virtual void OnExitNestedRunLoop() {} + + protected: + virtual ~NestingObserver() = default; + }; + + static void AddNestingObserverOnCurrentThread(NestingObserver* observer); + static void RemoveNestingObserverOnCurrentThread(NestingObserver* observer); + + // A RunLoop::Delegate is a generic interface that allows RunLoop to be + // separate from the underlying implementation of the message loop for this + // thread. It holds private state used by RunLoops on its associated thread. + // One and only one RunLoop::Delegate must be registered on a given thread + // via RunLoop::RegisterDelegateForCurrentThread() before RunLoop instances + // and RunLoop static methods can be used on it. + class BASE_EXPORT Delegate { + public: + Delegate(); + virtual ~Delegate(); + + // Used by RunLoop to inform its Delegate to Run/Quit. Implementations are + // expected to keep on running synchronously from the Run() call until the + // eventual matching Quit() call. Upon receiving a Quit() call it should + // return from the Run() call as soon as possible without executing + // remaining tasks/messages. Run() calls can nest in which case each Quit() + // call should result in the topmost active Run() call returning. The only + // other trigger for Run() to return is the + // |should_quit_when_idle_callback_| which the Delegate should probe before + // sleeping when it becomes idle. |application_tasks_allowed| is true if + // this is the first Run() call on the stack or it was made from a nested + // RunLoop of Type::kNestableTasksAllowed (otherwise this Run() level should + // only process system tasks). + virtual void Run(bool application_tasks_allowed) = 0; + virtual void Quit() = 0; + + // Invoked right before a RunLoop enters a nested Run() call on this + // Delegate iff this RunLoop is of type kNestableTasksAllowed. The Delegate + // should ensure that the upcoming Run() call will result in processing + // application tasks queued ahead of it without further probing. e.g. + // message pumps on some platforms, like Mac, need an explicit request to + // process application tasks when nested, otherwise they'll only wait for + // system messages. + virtual void EnsureWorkScheduled() = 0; + + protected: + // Returns the result of this Delegate's |should_quit_when_idle_callback_|. + // "protected" so it can be invoked only by the Delegate itself. + bool ShouldQuitWhenIdle(); + + private: + // While the state is owned by the Delegate subclass, only RunLoop can use + // it. + friend class RunLoop; + + // A vector-based stack is more memory efficient than the default + // deque-based stack as the active RunLoop stack isn't expected to ever + // have more than a few entries. + using RunLoopStack = base::stack<RunLoop*, std::vector<RunLoop*>>; + + RunLoopStack active_run_loops_; + ObserverList<RunLoop::NestingObserver> nesting_observers_; + +#if DCHECK_IS_ON() + bool allow_running_for_testing_ = true; +#endif + + // True once this Delegate is bound to a thread via + // RegisterDelegateForCurrentThread(). + bool bound_ = false; + + // Thread-affine per its use of TLS. + THREAD_CHECKER(bound_thread_checker_); + + DISALLOW_COPY_AND_ASSIGN(Delegate); + }; + + // Registers |delegate| on the current thread. Must be called once and only + // once per thread before using RunLoop methods on it. |delegate| is from then + // on forever bound to that thread (including its destruction). + static void RegisterDelegateForCurrentThread(Delegate* delegate); + + // Quits the active RunLoop (when idle) -- there must be one. These were + // introduced as prefered temporary replacements to the long deprecated + // MessageLoop::Quit(WhenIdle)(Closure) methods. Callers should properly plumb + // a reference to the appropriate RunLoop instance (or its QuitClosure) + // instead of using these in order to link Run()/Quit() to a single RunLoop + // instance and increase readability. + static void QuitCurrentDeprecated(); + static void QuitCurrentWhenIdleDeprecated(); + static Closure QuitCurrentWhenIdleClosureDeprecated(); + + // Run() will DCHECK if called while there's a ScopedDisallowRunningForTesting + // in scope on its thread. This is useful to add safety to some test + // constructs which allow multiple task runners to share the main thread in + // unit tests. While the main thread can be shared by multiple runners to + // deterministically fake multi threading, there can still only be a single + // RunLoop::Delegate per thread and RunLoop::Run() should only be invoked from + // it (or it would result in incorrectly driving TaskRunner A while in + // TaskRunner B's context). + class BASE_EXPORT ScopedDisallowRunningForTesting { + public: + ScopedDisallowRunningForTesting(); + ~ScopedDisallowRunningForTesting(); + + private: +#if DCHECK_IS_ON() + Delegate* current_delegate_; + const bool previous_run_allowance_; +#endif // DCHECK_IS_ON() + + DISALLOW_COPY_AND_ASSIGN(ScopedDisallowRunningForTesting); + }; + private: - friend class MessageLoop; + FRIEND_TEST_ALL_PREFIXES(MessageLoopTypedTest, RunLoopQuitOrderAfter); + #if defined(OS_ANDROID) - // Android doesn't support the blocking MessageLoop::Run, so it calls + // Android doesn't support the blocking RunLoop::Run, so it calls // BeforeRun and AfterRun directly. friend class base::MessagePumpForUI; #endif #if defined(OS_IOS) - // iOS doesn't support the blocking MessageLoop::Run, so it calls + // iOS doesn't support the blocking RunLoop::Run, so it calls // BeforeRun directly. friend class base::MessagePumpUIApplication; #endif @@ -90,23 +266,39 @@ class BASE_EXPORT RunLoop { bool BeforeRun(); void AfterRun(); - MessageLoop* loop_; + // A copy of RunLoop::Delegate for the thread driven by tis RunLoop for quick + // access without using TLS (also allows access to state from another sequence + // during Run(), ref. |sequence_checker_| below). + Delegate* delegate_; - // Parent RunLoop or NULL if this is the top-most RunLoop. - RunLoop* previous_run_loop_; + const Type type_; + +#if DCHECK_IS_ON() + bool run_called_ = false; +#endif - // Used to count how many nested Run() invocations are on the stack. - int run_depth_; + bool quit_called_ = false; + bool running_ = false; + // Used to record that QuitWhenIdle() was called on this RunLoop, meaning that + // the Delegate should quit Run() once it becomes idle (it's responsible for + // probing this state via ShouldQuitWhenIdle()). This state is stored here + // rather than pushed to Delegate to support nested RunLoops. + bool quit_when_idle_received_ = false; - bool run_called_; - bool quit_called_; - bool running_; + // True if use of QuitCurrent*Deprecated() is allowed. Taking a Quit*Closure() + // from a RunLoop implicitly sets this to false, so QuitCurrent*Deprecated() + // cannot be used while that RunLoop is being Run(). + bool allow_quit_current_deprecated_ = true; - // Used to record that QuitWhenIdle() was called on the MessageLoop, meaning - // that we should quit Run once it becomes idle. - bool quit_when_idle_received_; + // RunLoop is not thread-safe. Its state/methods, unless marked as such, may + // not be accessed from any other sequence than the thread it was constructed + // on. Exception: RunLoop can be safely accessed from one other sequence (or + // single parallel task) during Run() -- e.g. to Quit() without having to + // plumb ThreatTaskRunnerHandle::Get() throughout a test to repost QuitClosure + // to origin thread. + SEQUENCE_CHECKER(sequence_checker_); - base::ThreadChecker thread_checker_; + const scoped_refptr<SingleThreadTaskRunner> origin_task_runner_; // WeakPtrFactory for QuitClosure safety. base::WeakPtrFactory<RunLoop> weak_factory_; |