blob: 35da181b9aeb3f01083247686bf1088a398ae185 [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#ifndef PLATFORM_IMPL_TASK_RUNNER_H_
6#define PLATFORM_IMPL_TASK_RUNNER_H_
Jordan Baylesb0c191e2019-03-26 15:49:57 -07007
Jordan Baylesb0c191e2019-03-26 15:49:57 -07008#include <condition_variable> // NOLINT
Yuri Wiitalab929b832019-06-05 17:13:15 -07009#include <map>
Jordan Baylesb0c191e2019-03-26 15:49:57 -070010#include <memory>
Ryan Keanea973b512019-07-29 15:50:39 -070011#include <mutex> // NOLINT
Max Yakimakhabf567dc2019-09-20 13:37:04 -070012#include <thread>
Jordan Baylesb0c191e2019-03-26 15:49:57 -070013#include <utility>
14#include <vector>
15
16#include "absl/base/thread_annotations.h"
17#include "absl/types/optional.h"
Yuri Wiitala8e6db3b2019-11-20 11:20:54 -080018#include "build/config/features.h"
Ryan Keane230920e2019-08-29 13:21:40 -070019#include "platform/api/task_runner.h"
Jordan Baylesb0c191e2019-03-26 15:49:57 -070020#include "platform/api/time.h"
Jordan Baylesa26582d2019-07-10 14:44:58 -070021#include "platform/base/error.h"
Yuri Wiitala8e6db3b2019-11-20 11:20:54 -080022#include "util/trace_logging.h"
Jordan Baylesb0c191e2019-03-26 15:49:57 -070023
24namespace openscreen {
25namespace platform {
26
btolsch4051e722019-06-07 16:15:17 -070027class TaskRunnerImpl final : public TaskRunner {
Jordan Baylesb0c191e2019-03-26 15:49:57 -070028 public:
btolsch4051e722019-06-07 16:15:17 -070029 using Task = TaskRunner::Task;
30
btolschd94fe622019-05-09 14:21:40 -070031 class TaskWaiter {
32 public:
33 virtual ~TaskWaiter() = default;
34
35 // These calls should be thread-safe. The absolute minimum is that
36 // OnTaskPosted must be safe to call from another thread while this is
37 // inside WaitForTaskToBePosted. NOTE: There may be spurious wakeups from
38 // WaitForTaskToBePosted depending on whether the specific implementation
39 // chooses to clear queued WakeUps before entering WaitForTaskToBePosted.
40
41 // Blocks until some event occurs, which means new tasks may have been
42 // posted. Wait may only block up to |timeout| where 0 means don't block at
43 // all (not block forever).
44 virtual Error WaitForTaskToBePosted(Clock::duration timeout) = 0;
45
46 // If a WaitForTaskToBePosted call is currently blocking, unblock it
47 // immediately.
48 virtual void OnTaskPosted() = 0;
49 };
50
51 explicit TaskRunnerImpl(
52 platform::ClockNowFunctionPtr now_function,
53 TaskWaiter* event_waiter = nullptr,
54 Clock::duration waiter_timeout = std::chrono::milliseconds(100));
Jordan Baylesb0c191e2019-03-26 15:49:57 -070055
56 // TaskRunner overrides
Yuri Wiitalab929b832019-06-05 17:13:15 -070057 ~TaskRunnerImpl() final;
58 void PostPackagedTask(Task task) final;
59 void PostPackagedTaskWithDelay(Task task, Clock::duration delay) final;
Max Yakimakhabf567dc2019-09-20 13:37:04 -070060 bool IsRunningOnTaskRunner() final;
Jordan Baylesb0c191e2019-03-26 15:49:57 -070061
Yuri Wiitalac05ada22019-09-24 14:25:19 -070062 // Blocks the current thread, executing tasks from the queue with the desired
63 // timing; and does not return until some time after RequestStopSoon() is
64 // called.
Jordan Baylesb0c191e2019-03-26 15:49:57 -070065 void RunUntilStopped();
Jordan Baylesa8e96772019-04-08 10:53:54 -070066
Yuri Wiitalac05ada22019-09-24 14:25:19 -070067 // Thread-safe method for requesting the TaskRunner to stop running after all
68 // non-delayed tasks in the queue have run. This behavior allows final
69 // clean-up tasks to be executed before the TaskRunner stops.
70 //
71 // If any non-delayed tasks post additional non-delayed tasks, those will be
72 // run as well before returning.
Jordan Baylesb0c191e2019-03-26 15:49:57 -070073 void RequestStopSoon();
74
Jordan Baylesb0c191e2019-03-26 15:49:57 -070075 private:
Yuri Wiitala8e6db3b2019-11-20 11:20:54 -080076#if defined(ENABLE_TRACE_LOGGING)
Ryan Keaneefab2ed2019-07-22 12:36:53 -070077 // Wrapper around a Task used to store the TraceId Metadata along with the
78 // task itself, and to set the current TraceIdHierarchy before executing the
79 // task.
80 class TaskWithMetadata {
81 public:
Ryan Keane1d9c0c42019-07-29 15:22:19 -070082 // NOTE: 'explicit' keyword omitted so that conversion construtor can be
83 // used. This simplifies switching between 'Task' and 'TaskWithMetadata'
84 // based on the compilation flag.
85 TaskWithMetadata(Task task)
86 : task_(std::move(task)), trace_ids_(TRACE_HIERARCHY){};
Ryan Keaneefab2ed2019-07-22 12:36:53 -070087
Ryan Keane1d9c0c42019-07-29 15:22:19 -070088 void operator()() {
89 TRACE_SET_HIERARCHY(trace_ids_);
90 std::move(task_)();
91 }
Ryan Keaneefab2ed2019-07-22 12:36:53 -070092
93 private:
94 Task task_;
95 TraceIdHierarchy trace_ids_;
96 };
Yuri Wiitala8e6db3b2019-11-20 11:20:54 -080097#else // !defined(ENABLE_TRACE_LOGGING)
Ryan Keane1d9c0c42019-07-29 15:22:19 -070098 using TaskWithMetadata = Task;
Yuri Wiitala8e6db3b2019-11-20 11:20:54 -080099#endif // defined(ENABLE_TRACE_LOGGING)
Ryan Keaneefab2ed2019-07-22 12:36:53 -0700100
Yuri Wiitalac05ada22019-09-24 14:25:19 -0700101 // Helper that runs all tasks in |running_tasks_| and then clears it.
102 void RunRunnableTasks();
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700103
104 // Look at all tasks in the delayed task queue, then schedule them if the
105 // minimum delay time has elapsed.
106 void ScheduleDelayedTasks();
107
Yuri Wiitala71a84bc2019-09-25 12:00:23 -0700108 // Transfers all ready-to-run tasks from |tasks_| to |running_tasks_|. If
109 // there are no ready-to-run tasks, and |is_running_| is true, this method
110 // will block waiting for new tasks. Returns true if any tasks were
111 // transferred.
112 bool GrabMoreRunnableTasks();
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700113
114 const platform::ClockNowFunctionPtr now_function_;
115
Yuri Wiitalac05ada22019-09-24 14:25:19 -0700116 // Flag that indicates whether the task runner loop should continue. This is
117 // only meant to be read/written on the thread executing RunUntilStopped().
118 bool is_running_;
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700119
Yuri Wiitalab929b832019-06-05 17:13:15 -0700120 // This mutex is used for |tasks_| and |delayed_tasks_|, and also for
121 // notifying the run loop to wake up when it is waiting for a task to be added
122 // to the queue in |run_loop_wakeup_|.
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700123 std::mutex task_mutex_;
Ryan Keaneefab2ed2019-07-22 12:36:53 -0700124 std::vector<TaskWithMetadata> tasks_ GUARDED_BY(task_mutex_);
125 std::multimap<Clock::time_point, TaskWithMetadata> delayed_tasks_
126 GUARDED_BY(task_mutex_);
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700127
btolschd94fe622019-05-09 14:21:40 -0700128 // When |task_waiter_| is nullptr, |run_loop_wakeup_| is used for sleeping the
129 // task runner. Otherwise, |run_loop_wakeup_| isn't used and |task_waiter_|
130 // is used instead (along with |waiter_timeout_|).
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700131 std::condition_variable run_loop_wakeup_;
btolschd94fe622019-05-09 14:21:40 -0700132 TaskWaiter* const task_waiter_;
133 Clock::duration waiter_timeout_;
Yuri Wiitalab929b832019-06-05 17:13:15 -0700134
135 // To prevent excessive re-allocation of the underlying array of the |tasks_|
136 // vector, use an A/B vector-swap mechanism. |running_tasks_| starts out
137 // empty, and is swapped with |tasks_| when it is time to run the Tasks.
Ryan Keaneefab2ed2019-07-22 12:36:53 -0700138 std::vector<TaskWithMetadata> running_tasks_;
Ryan Keane32c88d02019-07-02 18:46:14 -0700139
Max Yakimakhabf567dc2019-09-20 13:37:04 -0700140 std::thread::id task_runner_thread_id_;
141
Ryan Keane32c88d02019-07-02 18:46:14 -0700142 OSP_DISALLOW_COPY_AND_ASSIGN(TaskRunnerImpl);
Jordan Baylesb0c191e2019-03-26 15:49:57 -0700143};
144} // namespace platform
145} // namespace openscreen
146
Jordan Baylesa26582d2019-07-10 14:44:58 -0700147#endif // PLATFORM_IMPL_TASK_RUNNER_H_