123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295 |
- // Copyright 2016 The Chromium Authors. All rights reserved.
- // Use of this source code is governed by a BSD-style license that can be
- // found in the LICENSE file.
- #ifndef BASE_TASK_THREAD_POOL_TASK_TRACKER_H_
- #define BASE_TASK_THREAD_POOL_TASK_TRACKER_H_
- #include <atomic>
- #include <functional>
- #include <limits>
- #include <memory>
- #include <queue>
- #include "base/atomicops.h"
- #include "base/base_export.h"
- #include "base/callback_forward.h"
- #include "base/macros.h"
- #include "base/metrics/histogram_base.h"
- #include "base/sequence_checker.h"
- #include "base/strings/string_piece.h"
- #include "base/synchronization/waitable_event.h"
- #include "base/task/common/checked_lock.h"
- #include "base/task/common/task_annotator.h"
- #include "base/task/task_traits.h"
- #include "base/task/thread_pool/task.h"
- #include "base/task/thread_pool/task_source.h"
- #include "base/task/thread_pool/tracked_ref.h"
- #include "base/thread_annotations.h"
- namespace base {
- class ConditionVariable;
- namespace internal {
- // Determines which tasks are allowed to run.
- enum class CanRunPolicy {
- // All tasks are allowed to run.
- kAll,
- // Only USER_VISIBLE and USER_BLOCKING tasks are allowed to run.
- kForegroundOnly,
- // No tasks can run.
- kNone,
- };
- // TaskTracker enforces policies that determines whether:
- // - A task can be pushed to a task source (WillPostTask).
- // - A task source can be queued (WillQueueTaskSource).
- // - Tasks for a given priority can run (CanRunPriority).
- // - The next task in a queued task source can run (RunAndPopNextTask).
- // TaskTracker also sets up the environment to run a task (RunAndPopNextTask)
- // and records metrics and trace events. This class is thread-safe.
- class BASE_EXPORT TaskTracker {
- public:
- // |histogram_label| is used to label histograms. No histograms are recorded
- // if it is empty.
- TaskTracker(StringPiece histogram_label);
- virtual ~TaskTracker();
- // Initiates shutdown. Once this is called, only BLOCK_SHUTDOWN tasks will
- // start running (doesn't affect tasks that are already running). This can
- // only be called once.
- void StartShutdown();
- // Synchronously completes shutdown. StartShutdown() must be called first.
- // Returns when:
- // - All SKIP_ON_SHUTDOWN tasks that were already running have completed their
- // execution.
- // - All posted BLOCK_SHUTDOWN tasks have completed their execution.
- // CONTINUE_ON_SHUTDOWN tasks still may be running after Shutdown returns.
- // This can only be called once.
- void CompleteShutdown();
- // Waits until there are no incomplete task sources. May be called in tests
- // to validate that a condition is met after all task sources have run.
- //
- // Does not wait for delayed tasks. Waits for task sources posted from
- // other threads during the call. Returns immediately when shutdown completes.
- void FlushForTesting();
- // Returns and calls |flush_callback| when there are no incomplete undelayed
- // tasks. |flush_callback| may be called back on any thread and should not
- // perform a lot of work. May be used when additional work on the current
- // thread needs to be performed during a flush. Only one
- // FlushAsyncForTesting() may be pending at any given time.
- void FlushAsyncForTesting(OnceClosure flush_callback);
- // Sets the new CanRunPolicy policy, possibly affecting result of
- // CanRunPriority(). The caller must wake up worker as appropriate so that
- // tasks that are allowed to run by the new policy can be scheduled.
- void SetCanRunPolicy(CanRunPolicy can_run_policy);
- // Informs this TaskTracker that |task| with |shutdown_behavior| is about to
- // be pushed to a task source (if non-delayed) or be added to the
- // DelayedTaskManager (if delayed). Returns true if this operation is allowed
- // (the operation should be performed if-and-only-if it is). This method may
- // also modify metadata on |task| if desired.
- bool WillPostTask(Task* task, TaskShutdownBehavior shutdown_behavior);
- // Informs this TaskTracker that |task| that is about to be pushed to a task
- // source with |priority|. Returns true if this operation is allowed (the
- // operation should be performed if-and-only-if it is).
- bool WillPostTaskNow(const Task& task,
- TaskPriority priority) WARN_UNUSED_RESULT;
- // Informs this TaskTracker that |task_source| is about to be queued. Returns
- // a RegisteredTaskSource that should be queued if-and-only-if it evaluates to
- // true.
- RegisteredTaskSource RegisterTaskSource(
- scoped_refptr<TaskSource> task_source);
- // Returns true if a task with |priority| can run under to the current policy.
- bool CanRunPriority(TaskPriority priority) const;
- // Runs the next task in |task_source| unless the current shutdown state
- // prevents that. Then, pops the task from |task_source| (even if it didn't
- // run). Returns |task_source| if non-empty after popping a task from it
- // (which indicates that it should be reenqueued). WillPostTask() must have
- // allowed the task in front of |task_source| to be posted before this is
- // called.
- RegisteredTaskSource RunAndPopNextTask(RegisteredTaskSource task_source);
- // Returns true once shutdown has started (StartShutdown() was called).
- // Note: sequential consistency with the thread calling StartShutdown() isn't
- // guaranteed by this call.
- bool HasShutdownStarted() const;
- // Returns true if shutdown has completed (StartShutdown() was called and
- // no tasks are blocking shutdown).
- bool IsShutdownComplete() const;
- // Records two histograms
- // 1. ThreadPool.[label].HeartbeatLatencyMicroseconds.[suffix]:
- // Now() - posted_time
- // 2. ThreadPool.[label].NumTasksRunWhileQueuing.[suffix]:
- // GetNumTasksRun() - num_tasks_run_when_posted.
- // [label] is the histogram label provided to the constructor.
- // [suffix] is derived from |task_priority|.
- void RecordHeartbeatLatencyAndTasksRunWhileQueuingHistograms(
- TaskPriority task_priority,
- TimeTicks posted_time,
- int num_tasks_run_when_posted) const;
- // Returns the number of tasks run so far
- int GetNumTasksRun() const;
- TrackedRef<TaskTracker> GetTrackedRef() {
- return tracked_ref_factory_.GetTrackedRef();
- }
- // Returns true if there are task sources that haven't completed their
- // execution (still queued or in progress). If it returns false: the side-
- // effects of all completed tasks are guaranteed to be visible to the caller.
- bool HasIncompleteTaskSourcesForTesting() const;
- protected:
- // Runs and deletes |task|. |task| is deleted in the environment where it
- // runs. |task_source| is the task source from which |task| was extracted.
- // |traits| are the traits of |task_source|. An override is expected to call
- // its parent's implementation but is free to perform extra work before and
- // after doing so.
- virtual void RunTask(Task task,
- TaskSource* task_source,
- const TaskTraits& traits);
- private:
- friend class RegisteredTaskSource;
- class State;
- void PerformShutdown();
- // Called before WillPostTask() informs the tracing system that a task has
- // been posted. Updates |num_items_blocking_shutdown_| if necessary and
- // returns true if the current shutdown state allows the task to be posted.
- bool BeforeQueueTaskSource(TaskShutdownBehavior shutdown_behavior);
- // Called before a task with |effective_shutdown_behavior| is run by
- // RunTask(). Updates |num_items_blocking_shutdown_| if necessary and returns
- // true if the current shutdown state allows the task to be run.
- bool BeforeRunTask(TaskShutdownBehavior shutdown_behavior);
- // Called after a task with |effective_shutdown_behavior| has been run by
- // RunTask(). Updates |num_items_blocking_shutdown_| if necessary.
- void AfterRunTask(TaskShutdownBehavior shutdown_behavior);
- // Informs this TaskTracker that |task_source| won't be reenqueued and returns
- // the underlying TaskSource. This is called before destroying a valid
- // RegisteredTaskSource. Updates |num_items_blocking_shutdown_| if necessary.
- scoped_refptr<TaskSource> UnregisterTaskSource(
- scoped_refptr<TaskSource> task_source);
- // Called when an item blocking shutdown finishes after shutdown has started.
- void DecrementNumItemsBlockingShutdown();
- // Decrements the number of incomplete task sources and signals |flush_cv_|
- // if it reaches zero.
- void DecrementNumIncompleteTaskSources();
- // Calls |flush_callback_for_testing_| if one is available in a lock-safe
- // manner.
- void CallFlushCallbackForTesting();
- // Records |Now() - posted_time| to the
- // ThreadPool.TaskLatencyMicroseconds.[label].[priority] histogram.
- void RecordLatencyHistogram(TaskPriority priority,
- TimeTicks posted_time) const;
- void IncrementNumTasksRun();
- // Dummy frames to allow identification of shutdown behavior in a stack trace.
- void RunContinueOnShutdown(Task* task);
- void RunSkipOnShutdown(Task* task);
- void RunBlockShutdown(Task* task);
- void RunTaskWithShutdownBehavior(TaskShutdownBehavior shutdown_behavior,
- Task* task);
- TaskAnnotator task_annotator_;
- // Suffix for histograms recorded by this TaskTracker.
- const std::string histogram_label_;
- // Indicates whether logging information about TaskPriority::BEST_EFFORT tasks
- // was enabled with a command line switch.
- const bool has_log_best_effort_tasks_switch_;
- // Number of tasks blocking shutdown and boolean indicating whether shutdown
- // has started. |shutdown_lock_| should be held to access |shutdown_event_|
- // when this indicates that shutdown has started because State doesn't provide
- // memory barriers. It intentionally trades having to use a Lock on shutdown
- // with not needing memory barriers at runtime.
- const std::unique_ptr<State> state_;
- // Number of task sources that haven't completed their execution. Is
- // decremented with a memory barrier after the last task of a task source
- // runs. Is accessed with an acquire memory barrier in FlushForTesting(). The
- // memory barriers ensure that the memory written by flushed task sources is
- // visible when FlushForTesting() returns.
- std::atomic_int num_incomplete_task_sources_{0};
- // Global policy the determines result of CanRunPriority().
- std::atomic<CanRunPolicy> can_run_policy_;
- // Lock associated with |flush_cv_|. Partially synchronizes access to
- // |num_incomplete_task_sources_|. Full synchronization isn't needed
- // because it's atomic, but synchronization is needed to coordinate waking and
- // sleeping at the right time. Fully synchronizes access to
- // |flush_callback_for_testing_|.
- mutable CheckedLock flush_lock_;
- // Signaled when |num_incomplete_task_sources_| is or reaches zero or when
- // shutdown completes.
- const std::unique_ptr<ConditionVariable> flush_cv_;
- // Invoked if non-null when |num_incomplete_task_sources_| is zero or when
- // shutdown completes.
- OnceClosure flush_callback_for_testing_ GUARDED_BY(flush_lock_);
- // Synchronizes access to shutdown related members below.
- mutable CheckedLock shutdown_lock_;
- // Event instantiated when shutdown starts and signaled when shutdown
- // completes.
- std::unique_ptr<WaitableEvent> shutdown_event_ GUARDED_BY(shutdown_lock_);
- // Counter for number of tasks run so far, used to record tasks run while
- // a task queued to histogram.
- std::atomic_int num_tasks_run_{0};
- // ThreadPool.TaskLatencyMicroseconds.*,
- // ThreadPool.HeartbeatLatencyMicroseconds.*, and
- // ThreadPool.NumTasksRunWhileQueuing.* histograms. The index is a
- // TaskPriority. Intentionally leaked.
- // TODO(scheduler-dev): Consider using STATIC_HISTOGRAM_POINTER_GROUP for
- // these.
- using TaskPriorityType = std::underlying_type<TaskPriority>::type;
- static constexpr TaskPriorityType kNumTaskPriorities =
- static_cast<TaskPriorityType>(TaskPriority::HIGHEST) + 1;
- HistogramBase* const task_latency_histograms_[kNumTaskPriorities];
- HistogramBase* const heartbeat_latency_histograms_[kNumTaskPriorities];
- HistogramBase* const
- num_tasks_run_while_queuing_histograms_[kNumTaskPriorities];
- // Ensures all state (e.g. dangling cleaned up workers) is coalesced before
- // destroying the TaskTracker (e.g. in test environments).
- // Ref. https://crbug.com/827615.
- TrackedRefFactory<TaskTracker> tracked_ref_factory_;
- DISALLOW_COPY_AND_ASSIGN(TaskTracker);
- };
- } // namespace internal
- } // namespace base
- #endif // BASE_TASK_THREAD_POOL_TASK_TRACKER_H_
|