blob: 3e957a1daece0e63b6f85b64759790f97cd1283e [file] [log] [blame]
Jordan Baylesb0c191e2019-03-26 15:49:57 -07001// 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 Baylesa26582d2019-07-10 14:44:58 -07005#include "platform/impl/task_runner.h"
Jordan Baylesb0c191e2019-03-26 15:49:57 -07006
Ryan Keanea973b512019-07-29 15:50:39 -07007#include <thread>
8
Jordan Baylesb0c191e2019-03-26 15:49:57 -07009#include "platform/api/logging.h"
10
11namespace openscreen {
12namespace platform {
btolschc92ba2f2019-04-10 11:46:01 -070013
btolschd94fe622019-05-09 14:21:40 -070014TaskRunnerImpl::TaskRunnerImpl(platform::ClockNowFunctionPtr now_function,
15 TaskWaiter* event_waiter,
16 Clock::duration waiter_timeout)
17 : now_function_(now_function),
18 is_running_(false),
19 task_waiter_(event_waiter),
20 waiter_timeout_(waiter_timeout) {}
Jordan Baylesb0c191e2019-03-26 15:49:57 -070021
Jordan Baylesa8e96772019-04-08 10:53:54 -070022TaskRunnerImpl::~TaskRunnerImpl() = default;
Jordan Baylesb0c191e2019-03-26 15:49:57 -070023
Yuri Wiitalab929b832019-06-05 17:13:15 -070024void TaskRunnerImpl::PostPackagedTask(Task task) {
Jordan Baylesb0c191e2019-03-26 15:49:57 -070025 std::lock_guard<std::mutex> lock(task_mutex_);
Ryan Keaneefab2ed2019-07-22 12:36:53 -070026 tasks_.emplace_back(std::move(task));
btolschd94fe622019-05-09 14:21:40 -070027 if (task_waiter_) {
28 task_waiter_->OnTaskPosted();
29 } else {
30 run_loop_wakeup_.notify_one();
31 }
Jordan Baylesb0c191e2019-03-26 15:49:57 -070032}
33
Yuri Wiitalab929b832019-06-05 17:13:15 -070034void TaskRunnerImpl::PostPackagedTaskWithDelay(Task task,
35 Clock::duration delay) {
Jordan Baylesb0c191e2019-03-26 15:49:57 -070036 std::lock_guard<std::mutex> lock(task_mutex_);
Yuri Wiitalab929b832019-06-05 17:13:15 -070037 delayed_tasks_.emplace(
38 std::make_pair(now_function_() + delay, std::move(task)));
btolschd94fe622019-05-09 14:21:40 -070039 if (task_waiter_) {
40 task_waiter_->OnTaskPosted();
41 } else {
42 run_loop_wakeup_.notify_one();
43 }
Jordan Baylesb0c191e2019-03-26 15:49:57 -070044}
45
Max Yakimakhabf567dc2019-09-20 13:37:04 -070046bool TaskRunnerImpl::IsRunningOnTaskRunner() {
47 return task_runner_thread_id_ == std::this_thread::get_id();
48}
49
Jordan Baylesb0c191e2019-03-26 15:49:57 -070050void TaskRunnerImpl::RunUntilStopped() {
Max Yakimakhabf567dc2019-09-20 13:37:04 -070051 task_runner_thread_id_ = std::this_thread::get_id();
Jordan Baylesb0c191e2019-03-26 15:49:57 -070052 const bool was_running = is_running_.exchange(true);
53 OSP_CHECK(!was_running);
54
55 RunTasksUntilStopped();
56}
57
58void TaskRunnerImpl::RequestStopSoon() {
59 const bool was_running = is_running_.exchange(false);
60
61 if (was_running) {
Jordan Bayles5d72bc22019-04-09 13:33:52 -070062 OSP_DVLOG << "Requesting stop...";
btolschd94fe622019-05-09 14:21:40 -070063 if (task_waiter_) {
64 task_waiter_->OnTaskPosted();
65 } else {
66 std::lock_guard<std::mutex> lock(task_mutex_);
67 run_loop_wakeup_.notify_one();
68 }
Jordan Baylesb0c191e2019-03-26 15:49:57 -070069 }
70}
71
72void TaskRunnerImpl::RunUntilIdleForTesting() {
73 ScheduleDelayedTasks();
74 RunCurrentTasksForTesting();
75}
76
77void TaskRunnerImpl::RunCurrentTasksForTesting() {
Jordan Baylesa8e96772019-04-08 10:53:54 -070078 {
79 // Unlike in the RunCurrentTasksBlocking method, here we just immediately
80 // take the lock and drain the tasks_ queue. This allows tests to avoid
81 // having to do any multithreading to interact with the queue.
82 std::unique_lock<std::mutex> lock(task_mutex_);
Yuri Wiitalab929b832019-06-05 17:13:15 -070083 OSP_DCHECK(running_tasks_.empty());
84 running_tasks_.swap(tasks_);
Jordan Baylesa8e96772019-04-08 10:53:54 -070085 }
Jordan Baylesb0c191e2019-03-26 15:49:57 -070086
Ryan Keaneefab2ed2019-07-22 12:36:53 -070087 for (TaskWithMetadata& task : running_tasks_) {
Yuri Wiitalab929b832019-06-05 17:13:15 -070088 // Move the task to the stack so that its bound state is freed immediately
89 // after being run.
90 std::move(task)();
Jordan Baylesb0c191e2019-03-26 15:49:57 -070091 }
Yuri Wiitalab929b832019-06-05 17:13:15 -070092 running_tasks_.clear();
Jordan Baylesb0c191e2019-03-26 15:49:57 -070093}
94
95void TaskRunnerImpl::RunCurrentTasksBlocking() {
Jordan Baylesa8e96772019-04-08 10:53:54 -070096 {
97 // Wait for the lock. If there are no current tasks, we will wait until
98 // a delayed task is ready or a task gets added to the queue.
99 auto lock = WaitForWorkAndAcquireLock();
100 if (!lock) {
101 return;
102 }
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700103
Yuri Wiitalab929b832019-06-05 17:13:15 -0700104 OSP_DCHECK(running_tasks_.empty());
105 running_tasks_.swap(tasks_);
Jordan Baylesa8e96772019-04-08 10:53:54 -0700106 }
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700107
Yuri Wiitalab929b832019-06-05 17:13:15 -0700108 OSP_DVLOG << "Running " << running_tasks_.size() << " tasks...";
Max Yakimakha371bc2b2019-09-04 10:49:17 -0700109 for (TaskWithMetadata& running_task : running_tasks_) {
Yuri Wiitalab929b832019-06-05 17:13:15 -0700110 // Move the task to the stack so that its bound state is freed immediately
111 // after being run.
Max Yakimakha371bc2b2019-09-04 10:49:17 -0700112 TaskWithMetadata task = std::move(running_task);
113 task();
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700114 }
Yuri Wiitalab929b832019-06-05 17:13:15 -0700115 running_tasks_.clear();
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700116}
117
118void TaskRunnerImpl::RunTasksUntilStopped() {
119 while (is_running_) {
120 ScheduleDelayedTasks();
121 RunCurrentTasksBlocking();
122 }
Max Yakimakhabf567dc2019-09-20 13:37:04 -0700123 task_runner_thread_id_ = std::thread::id();
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700124}
125
126void TaskRunnerImpl::ScheduleDelayedTasks() {
127 std::lock_guard<std::mutex> lock(task_mutex_);
128
129 // Getting the time can be expensive on some platforms, so only get it once.
130 const auto current_time = now_function_();
Yuri Wiitalab929b832019-06-05 17:13:15 -0700131 const auto end_of_range = delayed_tasks_.upper_bound(current_time);
132 for (auto it = delayed_tasks_.begin(); it != end_of_range; ++it) {
133 tasks_.push_back(std::move(it->second));
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700134 }
Yuri Wiitalab929b832019-06-05 17:13:15 -0700135 delayed_tasks_.erase(delayed_tasks_.begin(), end_of_range);
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700136}
137
Jordan Bayles5d72bc22019-04-09 13:33:52 -0700138bool TaskRunnerImpl::ShouldWakeUpRunLoop() {
139 if (!is_running_) {
140 return true;
141 }
142
143 if (!tasks_.empty()) {
144 return true;
145 }
146
147 return !delayed_tasks_.empty() &&
Yuri Wiitalab929b832019-06-05 17:13:15 -0700148 (delayed_tasks_.begin()->first <= now_function_());
Jordan Bayles5d72bc22019-04-09 13:33:52 -0700149}
150
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700151std::unique_lock<std::mutex> TaskRunnerImpl::WaitForWorkAndAcquireLock() {
Jordan Baylesa8e96772019-04-08 10:53:54 -0700152 // These checks are redundant, as they are a subset of predicates in the
153 // below wait predicate. However, this is more readable and a slight
154 // optimization, as we don't need to take a lock if we aren't running.
155 if (!is_running_) {
btolsch4051e722019-06-07 16:15:17 -0700156 OSP_DVLOG << "TaskRunnerImpl not running. Returning empty lock.";
Jordan Baylesa8e96772019-04-08 10:53:54 -0700157 return {};
158 }
159
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700160 std::unique_lock<std::mutex> lock(task_mutex_);
Jordan Baylesa8e96772019-04-08 10:53:54 -0700161 if (!tasks_.empty()) {
btolsch4051e722019-06-07 16:15:17 -0700162 OSP_DVLOG << "TaskRunnerImpl lock acquired.";
Jordan Baylesa8e96772019-04-08 10:53:54 -0700163 return lock;
164 }
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700165
btolschd94fe622019-05-09 14:21:40 -0700166 if (task_waiter_) {
167 do {
168 Clock::duration timeout = waiter_timeout_;
169 if (!delayed_tasks_.empty()) {
170 Clock::duration next_task_delta =
Yuri Wiitalab929b832019-06-05 17:13:15 -0700171 delayed_tasks_.begin()->first - now_function_();
btolschd94fe622019-05-09 14:21:40 -0700172 if (next_task_delta < timeout) {
173 timeout = next_task_delta;
174 }
175 }
176 lock.unlock();
177 task_waiter_->WaitForTaskToBePosted(timeout);
178 lock.lock();
179 } while (!ShouldWakeUpRunLoop());
Jordan Bayles5d72bc22019-04-09 13:33:52 -0700180 } else {
btolschd94fe622019-05-09 14:21:40 -0700181 // Pass a wait predicate to avoid lost or spurious wakeups.
btolschd94fe622019-05-09 14:21:40 -0700182 if (!delayed_tasks_.empty()) {
183 // We don't have any work to do currently, but have some in the
184 // pipe.
btolsch61045d12019-05-09 16:33:58 -0700185 const auto wait_predicate = [this] { return ShouldWakeUpRunLoop(); };
btolschd94fe622019-05-09 14:21:40 -0700186 OSP_DVLOG << "TaskRunner waiting for lock until delayed task ready...";
Yuri Wiitalab929b832019-06-05 17:13:15 -0700187 run_loop_wakeup_.wait_for(lock,
188 delayed_tasks_.begin()->first - now_function_(),
189 wait_predicate);
btolschd94fe622019-05-09 14:21:40 -0700190 } else {
191 // We don't have any work queued.
btolsch61045d12019-05-09 16:33:58 -0700192 const auto wait_predicate = [this] {
193 return !delayed_tasks_.empty() || ShouldWakeUpRunLoop();
194 };
btolsch4051e722019-06-07 16:15:17 -0700195 OSP_DVLOG << "TaskRunnerImpl waiting for lock...";
btolschd94fe622019-05-09 14:21:40 -0700196 run_loop_wakeup_.wait(lock, wait_predicate);
197 }
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700198 }
199
btolsch4051e722019-06-07 16:15:17 -0700200 OSP_DVLOG << "TaskRunnerImpl lock acquired.";
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700201 return lock;
202}
203} // namespace platform
204} // namespace openscreen