1*3f982cf4SFabien Sanglard // Copyright 2019 The Chromium Authors. All rights reserved.
2*3f982cf4SFabien Sanglard // Use of this source code is governed by a BSD-style license that can be
3*3f982cf4SFabien Sanglard // found in the LICENSE file.
4*3f982cf4SFabien Sanglard
5*3f982cf4SFabien Sanglard #include "platform/impl/task_runner.h"
6*3f982cf4SFabien Sanglard
7*3f982cf4SFabien Sanglard #include <csignal>
8*3f982cf4SFabien Sanglard #include <thread>
9*3f982cf4SFabien Sanglard
10*3f982cf4SFabien Sanglard #include "util/osp_logging.h"
11*3f982cf4SFabien Sanglard
12*3f982cf4SFabien Sanglard namespace openscreen {
13*3f982cf4SFabien Sanglard
14*3f982cf4SFabien Sanglard namespace {
15*3f982cf4SFabien Sanglard
16*3f982cf4SFabien Sanglard // This is mutated by the signal handler installed by RunUntilSignaled(), and is
17*3f982cf4SFabien Sanglard // checked by RunUntilStopped().
18*3f982cf4SFabien Sanglard //
19*3f982cf4SFabien Sanglard // Per the C++14 spec, passing visible changes to memory between a signal
20*3f982cf4SFabien Sanglard // handler and a program thread must be done through a volatile variable.
21*3f982cf4SFabien Sanglard volatile enum {
22*3f982cf4SFabien Sanglard kNotRunning,
23*3f982cf4SFabien Sanglard kNotSignaled,
24*3f982cf4SFabien Sanglard kSignaled
25*3f982cf4SFabien Sanglard } g_signal_state = kNotRunning;
26*3f982cf4SFabien Sanglard
OnReceivedSignal(int signal)27*3f982cf4SFabien Sanglard void OnReceivedSignal(int signal) {
28*3f982cf4SFabien Sanglard g_signal_state = kSignaled;
29*3f982cf4SFabien Sanglard }
30*3f982cf4SFabien Sanglard
31*3f982cf4SFabien Sanglard } // namespace
32*3f982cf4SFabien Sanglard
TaskRunnerImpl(ClockNowFunctionPtr now_function,TaskWaiter * event_waiter,Clock::duration waiter_timeout)33*3f982cf4SFabien Sanglard TaskRunnerImpl::TaskRunnerImpl(ClockNowFunctionPtr now_function,
34*3f982cf4SFabien Sanglard TaskWaiter* event_waiter,
35*3f982cf4SFabien Sanglard Clock::duration waiter_timeout)
36*3f982cf4SFabien Sanglard : now_function_(now_function),
37*3f982cf4SFabien Sanglard is_running_(false),
38*3f982cf4SFabien Sanglard task_waiter_(event_waiter),
39*3f982cf4SFabien Sanglard waiter_timeout_(waiter_timeout) {}
40*3f982cf4SFabien Sanglard
~TaskRunnerImpl()41*3f982cf4SFabien Sanglard TaskRunnerImpl::~TaskRunnerImpl() {
42*3f982cf4SFabien Sanglard // Ensure no thread is currently executing inside RunUntilStopped().
43*3f982cf4SFabien Sanglard OSP_DCHECK_EQ(task_runner_thread_id_, std::thread::id());
44*3f982cf4SFabien Sanglard }
45*3f982cf4SFabien Sanglard
PostPackagedTask(Task task)46*3f982cf4SFabien Sanglard void TaskRunnerImpl::PostPackagedTask(Task task) {
47*3f982cf4SFabien Sanglard std::lock_guard<std::mutex> lock(task_mutex_);
48*3f982cf4SFabien Sanglard tasks_.emplace_back(std::move(task));
49*3f982cf4SFabien Sanglard if (task_waiter_) {
50*3f982cf4SFabien Sanglard task_waiter_->OnTaskPosted();
51*3f982cf4SFabien Sanglard } else {
52*3f982cf4SFabien Sanglard run_loop_wakeup_.notify_one();
53*3f982cf4SFabien Sanglard }
54*3f982cf4SFabien Sanglard }
55*3f982cf4SFabien Sanglard
PostPackagedTaskWithDelay(Task task,Clock::duration delay)56*3f982cf4SFabien Sanglard void TaskRunnerImpl::PostPackagedTaskWithDelay(Task task,
57*3f982cf4SFabien Sanglard Clock::duration delay) {
58*3f982cf4SFabien Sanglard std::lock_guard<std::mutex> lock(task_mutex_);
59*3f982cf4SFabien Sanglard if (delay <= Clock::duration::zero()) {
60*3f982cf4SFabien Sanglard tasks_.emplace_back(std::move(task));
61*3f982cf4SFabien Sanglard } else {
62*3f982cf4SFabien Sanglard delayed_tasks_.emplace(
63*3f982cf4SFabien Sanglard std::make_pair(now_function_() + delay, std::move(task)));
64*3f982cf4SFabien Sanglard }
65*3f982cf4SFabien Sanglard if (task_waiter_) {
66*3f982cf4SFabien Sanglard task_waiter_->OnTaskPosted();
67*3f982cf4SFabien Sanglard } else {
68*3f982cf4SFabien Sanglard run_loop_wakeup_.notify_one();
69*3f982cf4SFabien Sanglard }
70*3f982cf4SFabien Sanglard }
71*3f982cf4SFabien Sanglard
IsRunningOnTaskRunner()72*3f982cf4SFabien Sanglard bool TaskRunnerImpl::IsRunningOnTaskRunner() {
73*3f982cf4SFabien Sanglard return task_runner_thread_id_ == std::this_thread::get_id();
74*3f982cf4SFabien Sanglard }
75*3f982cf4SFabien Sanglard
RunUntilStopped()76*3f982cf4SFabien Sanglard void TaskRunnerImpl::RunUntilStopped() {
77*3f982cf4SFabien Sanglard OSP_DCHECK(!is_running_);
78*3f982cf4SFabien Sanglard task_runner_thread_id_ = std::this_thread::get_id();
79*3f982cf4SFabien Sanglard is_running_ = true;
80*3f982cf4SFabien Sanglard
81*3f982cf4SFabien Sanglard OSP_DVLOG << "Running tasks until stopped...";
82*3f982cf4SFabien Sanglard // Main loop: Run until the |is_running_| flag is set back to false by the
83*3f982cf4SFabien Sanglard // "quit task" posted by RequestStopSoon(), or the process received a
84*3f982cf4SFabien Sanglard // termination signal.
85*3f982cf4SFabien Sanglard while (is_running_) {
86*3f982cf4SFabien Sanglard ScheduleDelayedTasks();
87*3f982cf4SFabien Sanglard if (GrabMoreRunnableTasks()) {
88*3f982cf4SFabien Sanglard RunRunnableTasks();
89*3f982cf4SFabien Sanglard }
90*3f982cf4SFabien Sanglard if (g_signal_state == kSignaled) {
91*3f982cf4SFabien Sanglard is_running_ = false;
92*3f982cf4SFabien Sanglard }
93*3f982cf4SFabien Sanglard }
94*3f982cf4SFabien Sanglard
95*3f982cf4SFabien Sanglard OSP_DVLOG << "Finished running, entering flushing phase...";
96*3f982cf4SFabien Sanglard // Flushing phase: Ensure all immediately-runnable tasks are run before
97*3f982cf4SFabien Sanglard // returning. Since running some tasks might cause more immediately-runnable
98*3f982cf4SFabien Sanglard // tasks to be posted, loop until there is no more work.
99*3f982cf4SFabien Sanglard //
100*3f982cf4SFabien Sanglard // If there is bad code that posts tasks indefinitely, this loop will never
101*3f982cf4SFabien Sanglard // break. However, that also means there is a code path spinning a CPU core at
102*3f982cf4SFabien Sanglard // 100% all the time. Rather than mitigate this problem scenario, purposely
103*3f982cf4SFabien Sanglard // let it manifest here in the hopes that unit testing will reveal it (e.g., a
104*3f982cf4SFabien Sanglard // unit test that never finishes running).
105*3f982cf4SFabien Sanglard while (GrabMoreRunnableTasks()) {
106*3f982cf4SFabien Sanglard RunRunnableTasks();
107*3f982cf4SFabien Sanglard }
108*3f982cf4SFabien Sanglard OSP_DVLOG << "Finished flushing...";
109*3f982cf4SFabien Sanglard task_runner_thread_id_ = std::thread::id();
110*3f982cf4SFabien Sanglard }
111*3f982cf4SFabien Sanglard
RunUntilSignaled()112*3f982cf4SFabien Sanglard void TaskRunnerImpl::RunUntilSignaled() {
113*3f982cf4SFabien Sanglard OSP_CHECK_EQ(g_signal_state, kNotRunning)
114*3f982cf4SFabien Sanglard << __func__ << " may not be invoked concurrently.";
115*3f982cf4SFabien Sanglard g_signal_state = kNotSignaled;
116*3f982cf4SFabien Sanglard const auto old_sigint_handler = std::signal(SIGINT, &OnReceivedSignal);
117*3f982cf4SFabien Sanglard const auto old_sigterm_handler = std::signal(SIGTERM, &OnReceivedSignal);
118*3f982cf4SFabien Sanglard
119*3f982cf4SFabien Sanglard RunUntilStopped();
120*3f982cf4SFabien Sanglard
121*3f982cf4SFabien Sanglard std::signal(SIGINT, old_sigint_handler);
122*3f982cf4SFabien Sanglard std::signal(SIGTERM, old_sigterm_handler);
123*3f982cf4SFabien Sanglard OSP_DVLOG << "Received SIGNIT or SIGTERM, setting state to not running...";
124*3f982cf4SFabien Sanglard g_signal_state = kNotRunning;
125*3f982cf4SFabien Sanglard }
126*3f982cf4SFabien Sanglard
RequestStopSoon()127*3f982cf4SFabien Sanglard void TaskRunnerImpl::RequestStopSoon() {
128*3f982cf4SFabien Sanglard PostTask([this]() { is_running_ = false; });
129*3f982cf4SFabien Sanglard }
130*3f982cf4SFabien Sanglard
RunRunnableTasks()131*3f982cf4SFabien Sanglard void TaskRunnerImpl::RunRunnableTasks() {
132*3f982cf4SFabien Sanglard for (TaskWithMetadata& running_task : running_tasks_) {
133*3f982cf4SFabien Sanglard // Move the task to the stack so that its bound state is freed immediately
134*3f982cf4SFabien Sanglard // after being run.
135*3f982cf4SFabien Sanglard TaskWithMetadata task = std::move(running_task);
136*3f982cf4SFabien Sanglard task();
137*3f982cf4SFabien Sanglard }
138*3f982cf4SFabien Sanglard running_tasks_.clear();
139*3f982cf4SFabien Sanglard }
140*3f982cf4SFabien Sanglard
ScheduleDelayedTasks()141*3f982cf4SFabien Sanglard void TaskRunnerImpl::ScheduleDelayedTasks() {
142*3f982cf4SFabien Sanglard std::lock_guard<std::mutex> lock(task_mutex_);
143*3f982cf4SFabien Sanglard
144*3f982cf4SFabien Sanglard // Getting the time can be expensive on some platforms, so only get it once.
145*3f982cf4SFabien Sanglard const auto current_time = now_function_();
146*3f982cf4SFabien Sanglard const auto end_of_range = delayed_tasks_.upper_bound(current_time);
147*3f982cf4SFabien Sanglard for (auto it = delayed_tasks_.begin(); it != end_of_range; ++it) {
148*3f982cf4SFabien Sanglard tasks_.push_back(std::move(it->second));
149*3f982cf4SFabien Sanglard }
150*3f982cf4SFabien Sanglard delayed_tasks_.erase(delayed_tasks_.begin(), end_of_range);
151*3f982cf4SFabien Sanglard }
152*3f982cf4SFabien Sanglard
GrabMoreRunnableTasks()153*3f982cf4SFabien Sanglard bool TaskRunnerImpl::GrabMoreRunnableTasks() {
154*3f982cf4SFabien Sanglard OSP_DCHECK(running_tasks_.empty());
155*3f982cf4SFabien Sanglard
156*3f982cf4SFabien Sanglard std::unique_lock<std::mutex> lock(task_mutex_);
157*3f982cf4SFabien Sanglard if (!tasks_.empty()) {
158*3f982cf4SFabien Sanglard running_tasks_.swap(tasks_);
159*3f982cf4SFabien Sanglard return true;
160*3f982cf4SFabien Sanglard }
161*3f982cf4SFabien Sanglard
162*3f982cf4SFabien Sanglard if (!is_running_) {
163*3f982cf4SFabien Sanglard return false; // Stop was requested. Don't wait for more tasks.
164*3f982cf4SFabien Sanglard }
165*3f982cf4SFabien Sanglard
166*3f982cf4SFabien Sanglard if (task_waiter_) {
167*3f982cf4SFabien Sanglard Clock::duration timeout = waiter_timeout_;
168*3f982cf4SFabien Sanglard if (!delayed_tasks_.empty()) {
169*3f982cf4SFabien Sanglard Clock::duration next_task_delta =
170*3f982cf4SFabien Sanglard delayed_tasks_.begin()->first - now_function_();
171*3f982cf4SFabien Sanglard if (next_task_delta < timeout) {
172*3f982cf4SFabien Sanglard timeout = next_task_delta;
173*3f982cf4SFabien Sanglard }
174*3f982cf4SFabien Sanglard }
175*3f982cf4SFabien Sanglard lock.unlock();
176*3f982cf4SFabien Sanglard task_waiter_->WaitForTaskToBePosted(timeout);
177*3f982cf4SFabien Sanglard return false;
178*3f982cf4SFabien Sanglard }
179*3f982cf4SFabien Sanglard
180*3f982cf4SFabien Sanglard if (delayed_tasks_.empty()) {
181*3f982cf4SFabien Sanglard run_loop_wakeup_.wait(lock);
182*3f982cf4SFabien Sanglard } else {
183*3f982cf4SFabien Sanglard run_loop_wakeup_.wait_for(lock,
184*3f982cf4SFabien Sanglard delayed_tasks_.begin()->first - now_function_());
185*3f982cf4SFabien Sanglard }
186*3f982cf4SFabien Sanglard return false;
187*3f982cf4SFabien Sanglard }
188*3f982cf4SFabien Sanglard
189*3f982cf4SFabien Sanglard } // namespace openscreen
190