xref: /aosp_15_r20/external/openscreen/platform/impl/task_runner.cc (revision 3f982cf4871df8771c9d4abe6e9a6f8d829b2736)
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