Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 1 | // Copyright 2019 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. |
| 4 | |
Jordan Bayles | a26582d | 2019-07-10 14:44:58 -0700 | [diff] [blame] | 5 | #ifndef PLATFORM_IMPL_TASK_RUNNER_H_ |
| 6 | #define PLATFORM_IMPL_TASK_RUNNER_H_ |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 7 | |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 8 | #include <condition_variable> // NOLINT |
Yuri Wiitala | b929b83 | 2019-06-05 17:13:15 -0700 | [diff] [blame] | 9 | #include <map> |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 10 | #include <memory> |
Ryan Keane | a973b51 | 2019-07-29 15:50:39 -0700 | [diff] [blame] | 11 | #include <mutex> // NOLINT |
Max Yakimakha | bf567dc | 2019-09-20 13:37:04 -0700 | [diff] [blame] | 12 | #include <thread> |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 13 | #include <utility> |
| 14 | #include <vector> |
| 15 | |
| 16 | #include "absl/base/thread_annotations.h" |
| 17 | #include "absl/types/optional.h" |
Ryan Keane | 230920e | 2019-08-29 13:21:40 -0700 | [diff] [blame] | 18 | #include "platform/api/task_runner.h" |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 19 | #include "platform/api/time.h" |
Ryan Keane | efab2ed | 2019-07-22 12:36:53 -0700 | [diff] [blame] | 20 | #include "platform/api/trace_logging.h" |
Jordan Bayles | a26582d | 2019-07-10 14:44:58 -0700 | [diff] [blame] | 21 | #include "platform/base/error.h" |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 22 | |
| 23 | namespace openscreen { |
| 24 | namespace platform { |
| 25 | |
btolsch | 4051e72 | 2019-06-07 16:15:17 -0700 | [diff] [blame] | 26 | class TaskRunnerImpl final : public TaskRunner { |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 27 | public: |
btolsch | 4051e72 | 2019-06-07 16:15:17 -0700 | [diff] [blame] | 28 | using Task = TaskRunner::Task; |
| 29 | |
btolsch | d94fe62 | 2019-05-09 14:21:40 -0700 | [diff] [blame] | 30 | class TaskWaiter { |
| 31 | public: |
| 32 | virtual ~TaskWaiter() = default; |
| 33 | |
| 34 | // These calls should be thread-safe. The absolute minimum is that |
| 35 | // OnTaskPosted must be safe to call from another thread while this is |
| 36 | // inside WaitForTaskToBePosted. NOTE: There may be spurious wakeups from |
| 37 | // WaitForTaskToBePosted depending on whether the specific implementation |
| 38 | // chooses to clear queued WakeUps before entering WaitForTaskToBePosted. |
| 39 | |
| 40 | // Blocks until some event occurs, which means new tasks may have been |
| 41 | // posted. Wait may only block up to |timeout| where 0 means don't block at |
| 42 | // all (not block forever). |
| 43 | virtual Error WaitForTaskToBePosted(Clock::duration timeout) = 0; |
| 44 | |
| 45 | // If a WaitForTaskToBePosted call is currently blocking, unblock it |
| 46 | // immediately. |
| 47 | virtual void OnTaskPosted() = 0; |
| 48 | }; |
| 49 | |
| 50 | explicit TaskRunnerImpl( |
| 51 | platform::ClockNowFunctionPtr now_function, |
| 52 | TaskWaiter* event_waiter = nullptr, |
| 53 | Clock::duration waiter_timeout = std::chrono::milliseconds(100)); |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 54 | |
| 55 | // TaskRunner overrides |
Yuri Wiitala | b929b83 | 2019-06-05 17:13:15 -0700 | [diff] [blame] | 56 | ~TaskRunnerImpl() final; |
| 57 | void PostPackagedTask(Task task) final; |
| 58 | void PostPackagedTaskWithDelay(Task task, Clock::duration delay) final; |
Max Yakimakha | bf567dc | 2019-09-20 13:37:04 -0700 | [diff] [blame] | 59 | bool IsRunningOnTaskRunner() final; |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 60 | |
Yuri Wiitala | c05ada2 | 2019-09-24 14:25:19 -0700 | [diff] [blame] | 61 | // Blocks the current thread, executing tasks from the queue with the desired |
| 62 | // timing; and does not return until some time after RequestStopSoon() is |
| 63 | // called. |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 64 | void RunUntilStopped(); |
Jordan Bayles | a8e9677 | 2019-04-08 10:53:54 -0700 | [diff] [blame] | 65 | |
Yuri Wiitala | c05ada2 | 2019-09-24 14:25:19 -0700 | [diff] [blame] | 66 | // Thread-safe method for requesting the TaskRunner to stop running after all |
| 67 | // non-delayed tasks in the queue have run. This behavior allows final |
| 68 | // clean-up tasks to be executed before the TaskRunner stops. |
| 69 | // |
| 70 | // If any non-delayed tasks post additional non-delayed tasks, those will be |
| 71 | // run as well before returning. |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 72 | void RequestStopSoon(); |
| 73 | |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 74 | private: |
Ryan Keane | 1d9c0c4 | 2019-07-29 15:22:19 -0700 | [diff] [blame] | 75 | #ifndef TRACE_FORCE_DISABLE |
Ryan Keane | efab2ed | 2019-07-22 12:36:53 -0700 | [diff] [blame] | 76 | // Wrapper around a Task used to store the TraceId Metadata along with the |
| 77 | // task itself, and to set the current TraceIdHierarchy before executing the |
| 78 | // task. |
| 79 | class TaskWithMetadata { |
| 80 | public: |
Ryan Keane | 1d9c0c4 | 2019-07-29 15:22:19 -0700 | [diff] [blame] | 81 | // NOTE: 'explicit' keyword omitted so that conversion construtor can be |
| 82 | // used. This simplifies switching between 'Task' and 'TaskWithMetadata' |
| 83 | // based on the compilation flag. |
| 84 | TaskWithMetadata(Task task) |
| 85 | : task_(std::move(task)), trace_ids_(TRACE_HIERARCHY){}; |
Ryan Keane | efab2ed | 2019-07-22 12:36:53 -0700 | [diff] [blame] | 86 | |
Ryan Keane | 1d9c0c4 | 2019-07-29 15:22:19 -0700 | [diff] [blame] | 87 | void operator()() { |
| 88 | TRACE_SET_HIERARCHY(trace_ids_); |
| 89 | std::move(task_)(); |
| 90 | } |
Ryan Keane | efab2ed | 2019-07-22 12:36:53 -0700 | [diff] [blame] | 91 | |
| 92 | private: |
| 93 | Task task_; |
| 94 | TraceIdHierarchy trace_ids_; |
| 95 | }; |
Ryan Keane | 1d9c0c4 | 2019-07-29 15:22:19 -0700 | [diff] [blame] | 96 | #else // TRACE_FORCE_DISABLE defined |
| 97 | using TaskWithMetadata = Task; |
| 98 | #endif // TRACE_FORCE_DISABLE |
Ryan Keane | efab2ed | 2019-07-22 12:36:53 -0700 | [diff] [blame] | 99 | |
Yuri Wiitala | c05ada2 | 2019-09-24 14:25:19 -0700 | [diff] [blame] | 100 | // Helper that runs all tasks in |running_tasks_| and then clears it. |
| 101 | void RunRunnableTasks(); |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 102 | |
| 103 | // Look at all tasks in the delayed task queue, then schedule them if the |
| 104 | // minimum delay time has elapsed. |
| 105 | void ScheduleDelayedTasks(); |
| 106 | |
Jordan Bayles | 5d72bc2 | 2019-04-09 13:33:52 -0700 | [diff] [blame] | 107 | // Look at the current state of the TaskRunner and determine if the run loop |
| 108 | // should be woken up |
| 109 | bool ShouldWakeUpRunLoop(); |
| 110 | |
Yuri Wiitala | 71a84bc | 2019-09-25 12:00:23 -0700 | [diff] [blame^] | 111 | // Transfers all ready-to-run tasks from |tasks_| to |running_tasks_|. If |
| 112 | // there are no ready-to-run tasks, and |is_running_| is true, this method |
| 113 | // will block waiting for new tasks. Returns true if any tasks were |
| 114 | // transferred. |
| 115 | bool GrabMoreRunnableTasks(); |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 116 | |
| 117 | const platform::ClockNowFunctionPtr now_function_; |
| 118 | |
Yuri Wiitala | c05ada2 | 2019-09-24 14:25:19 -0700 | [diff] [blame] | 119 | // Flag that indicates whether the task runner loop should continue. This is |
| 120 | // only meant to be read/written on the thread executing RunUntilStopped(). |
| 121 | bool is_running_; |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 122 | |
Yuri Wiitala | b929b83 | 2019-06-05 17:13:15 -0700 | [diff] [blame] | 123 | // This mutex is used for |tasks_| and |delayed_tasks_|, and also for |
| 124 | // notifying the run loop to wake up when it is waiting for a task to be added |
| 125 | // to the queue in |run_loop_wakeup_|. |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 126 | std::mutex task_mutex_; |
Ryan Keane | efab2ed | 2019-07-22 12:36:53 -0700 | [diff] [blame] | 127 | std::vector<TaskWithMetadata> tasks_ GUARDED_BY(task_mutex_); |
| 128 | std::multimap<Clock::time_point, TaskWithMetadata> delayed_tasks_ |
| 129 | GUARDED_BY(task_mutex_); |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 130 | |
btolsch | d94fe62 | 2019-05-09 14:21:40 -0700 | [diff] [blame] | 131 | // When |task_waiter_| is nullptr, |run_loop_wakeup_| is used for sleeping the |
| 132 | // task runner. Otherwise, |run_loop_wakeup_| isn't used and |task_waiter_| |
| 133 | // is used instead (along with |waiter_timeout_|). |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 134 | std::condition_variable run_loop_wakeup_; |
btolsch | d94fe62 | 2019-05-09 14:21:40 -0700 | [diff] [blame] | 135 | TaskWaiter* const task_waiter_; |
| 136 | Clock::duration waiter_timeout_; |
Yuri Wiitala | b929b83 | 2019-06-05 17:13:15 -0700 | [diff] [blame] | 137 | |
| 138 | // To prevent excessive re-allocation of the underlying array of the |tasks_| |
| 139 | // vector, use an A/B vector-swap mechanism. |running_tasks_| starts out |
| 140 | // empty, and is swapped with |tasks_| when it is time to run the Tasks. |
Ryan Keane | efab2ed | 2019-07-22 12:36:53 -0700 | [diff] [blame] | 141 | std::vector<TaskWithMetadata> running_tasks_; |
Ryan Keane | 32c88d0 | 2019-07-02 18:46:14 -0700 | [diff] [blame] | 142 | |
Max Yakimakha | bf567dc | 2019-09-20 13:37:04 -0700 | [diff] [blame] | 143 | std::thread::id task_runner_thread_id_; |
| 144 | |
Ryan Keane | 32c88d0 | 2019-07-02 18:46:14 -0700 | [diff] [blame] | 145 | OSP_DISALLOW_COPY_AND_ASSIGN(TaskRunnerImpl); |
Jordan Bayles | b0c191e | 2019-03-26 15:49:57 -0700 | [diff] [blame] | 146 | }; |
| 147 | } // namespace platform |
| 148 | } // namespace openscreen |
| 149 | |
Jordan Bayles | a26582d | 2019-07-10 14:44:58 -0700 | [diff] [blame] | 150 | #endif // PLATFORM_IMPL_TASK_RUNNER_H_ |