Branch data Line data Source code
1 : : // Copyright (c) 2015-2022 The Bitcoin Core developers
2 : : // Distributed under the MIT software license, see the accompanying
3 : : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
4 : :
5 : : #include <scheduler.h>
6 : :
7 : : #include <sync.h>
8 : : #include <util/time.h>
9 : :
10 : : #include <cassert>
11 : : #include <functional>
12 : : #include <utility>
13 : :
14 : 172 : CScheduler::CScheduler() = default;
15 : :
16 : 172 : CScheduler::~CScheduler()
17 : : {
18 [ - + ]: 172 : assert(nThreadsServicingQueue == 0);
19 [ + + - + ]: 172 : if (stopWhenEmpty) assert(taskQueue.empty());
20 : 172 : }
21 : :
22 : :
23 : 185 : void CScheduler::serviceQueue()
24 : : {
25 : 185 : WAIT_LOCK(newTaskMutex, lock);
26 : 185 : ++nThreadsServicingQueue;
27 : :
28 : : // newTaskMutex is locked throughout this loop EXCEPT
29 : : // when the thread is waiting or when the user's function
30 : : // is called.
31 [ + + ]: 54625 : while (!shouldStop()) {
32 : : try {
33 [ + + + + ]: 127749 : while (!shouldStop() && taskQueue.empty()) {
34 : : // Wait until there is something to do.
35 [ + - ]: 9510 : newTaskScheduled.wait(lock);
36 : : }
37 : :
38 : : // Wait until either there is a new task, or until
39 : : // the time of the first item on the queue:
40 : :
41 [ + + + - ]: 108729 : while (!shouldStop() && !taskQueue.empty()) {
42 [ + - ]: 54289 : std::chrono::steady_clock::time_point timeToWaitFor = taskQueue.begin()->first;
43 [ - + + - ]: 54289 : if (newTaskScheduled.wait_until(lock, timeToWaitFor) == std::cv_status::timeout) {
44 : : break; // Exit loop after timeout, it means we reached the time of the event
45 : : }
46 : : }
47 : :
48 : : // If there are multiple threads, the queue can empty while we're waiting (another
49 : : // thread may service the task we were waiting on).
50 [ + + + - ]: 108710 : if (shouldStop() || taskQueue.empty())
51 : 170 : continue;
52 : :
53 [ + - ]: 54270 : Function f = taskQueue.begin()->second;
54 : 54270 : taskQueue.erase(taskQueue.begin());
55 : :
56 : 54270 : {
57 : : // Unlock before calling f, so it can reschedule itself or another task
58 : : // without deadlocking:
59 [ + - ]: 54270 : REVERSE_LOCK(lock);
60 [ + - ]: 54270 : f();
61 : 54270 : }
62 : 54270 : } catch (...) {
63 : 0 : --nThreadsServicingQueue;
64 : 0 : throw;
65 : 0 : }
66 : : }
67 : 185 : --nThreadsServicingQueue;
68 [ + - ]: 185 : newTaskScheduled.notify_one();
69 : 185 : }
70 : :
71 : 56400 : void CScheduler::schedule(CScheduler::Function f, std::chrono::steady_clock::time_point t)
72 : : {
73 : 56400 : {
74 : 56400 : LOCK(newTaskMutex);
75 [ + - + - : 112800 : taskQueue.insert(std::make_pair(t, f));
+ - ]
76 : 56400 : }
77 : 56400 : newTaskScheduled.notify_one();
78 : 56400 : }
79 : :
80 : 1 : void CScheduler::MockForward(std::chrono::seconds delta_seconds)
81 : : {
82 [ + - - + ]: 1 : assert(delta_seconds > 0s && delta_seconds <= 1h);
83 : :
84 : 1 : {
85 : 1 : LOCK(newTaskMutex);
86 : :
87 : : // use temp_queue to maintain updated schedule
88 : 1 : std::multimap<std::chrono::steady_clock::time_point, Function> temp_queue;
89 : :
90 [ + + ]: 4 : for (const auto& element : taskQueue) {
91 [ + - ]: 3 : temp_queue.emplace_hint(temp_queue.cend(), element.first - delta_seconds, element.second);
92 : : }
93 : :
94 : : // point taskQueue to temp_queue
95 : 1 : taskQueue = std::move(temp_queue);
96 [ + - ]: 1 : }
97 : :
98 : : // notify that the taskQueue needs to be processed
99 : 1 : newTaskScheduled.notify_one();
100 : 1 : }
101 : :
102 : 0 : static void Repeat(CScheduler& s, CScheduler::Function f, std::chrono::milliseconds delta)
103 : : {
104 : 0 : f();
105 [ # # # # : 0 : s.scheduleFromNow([=, &s] { Repeat(s, f, delta); }, delta);
# # # # ]
106 : 0 : }
107 : :
108 : 0 : void CScheduler::scheduleEvery(CScheduler::Function f, std::chrono::milliseconds delta)
109 : : {
110 [ # # # # : 0 : scheduleFromNow([this, f, delta] { Repeat(*this, f, delta); }, delta);
# # # # ]
111 : 0 : }
112 : :
113 : 4 : size_t CScheduler::getQueueInfo(std::chrono::steady_clock::time_point& first,
114 : : std::chrono::steady_clock::time_point& last) const
115 : : {
116 : 4 : LOCK(newTaskMutex);
117 [ + + ]: 4 : size_t result = taskQueue.size();
118 [ + + ]: 4 : if (!taskQueue.empty()) {
119 : 3 : first = taskQueue.begin()->first;
120 : 3 : last = taskQueue.rbegin()->first;
121 : : }
122 [ + - ]: 4 : return result;
123 : 4 : }
124 : :
125 : 169 : bool CScheduler::AreThreadsServicingQueue() const
126 : : {
127 : 169 : LOCK(newTaskMutex);
128 [ + - ]: 169 : return nThreadsServicingQueue;
129 : 169 : }
130 : :
131 : :
132 : 95890 : void SerialTaskRunner::MaybeScheduleProcessQueue()
133 : : {
134 : 95890 : {
135 : 95890 : LOCK(m_callbacks_mutex);
136 : : // Try to avoid scheduling too many copies here, but if we
137 : : // accidentally have two ProcessQueue's scheduled at once its
138 : : // not a big deal.
139 [ + + ]: 95890 : if (m_are_callbacks_running) return;
140 [ + + ]: 65385 : if (m_callbacks_pending.empty()) return;
141 : 39894 : }
142 [ + - ]: 165859 : m_scheduler.schedule([this] { this->ProcessQueue(); }, std::chrono::steady_clock::now());
143 : : }
144 : :
145 : 54156 : void SerialTaskRunner::ProcessQueue()
146 : : {
147 [ + - ]: 54156 : std::function<void()> callback;
148 : 54156 : {
149 [ + - ]: 54156 : LOCK(m_callbacks_mutex);
150 [ + - ]: 54156 : if (m_are_callbacks_running) return;
151 [ + + ]: 54156 : if (m_callbacks_pending.empty()) return;
152 : 47945 : m_are_callbacks_running = true;
153 : :
154 : 47945 : callback = std::move(m_callbacks_pending.front());
155 [ + - ]: 47945 : m_callbacks_pending.pop_front();
156 : 6211 : }
157 : :
158 : : // RAII the setting of fCallbacksRunning and calling MaybeScheduleProcessQueue
159 : : // to ensure both happen safely even if callback() throws.
160 : 47945 : struct RAIICallbacksRunning {
161 : : SerialTaskRunner* instance;
162 : 47945 : explicit RAIICallbacksRunning(SerialTaskRunner* _instance) : instance(_instance) {}
163 : 47945 : ~RAIICallbacksRunning()
164 : : {
165 : 47945 : {
166 : 47945 : LOCK(instance->m_callbacks_mutex);
167 [ + - ]: 47945 : instance->m_are_callbacks_running = false;
168 : 47945 : }
169 : 47945 : instance->MaybeScheduleProcessQueue();
170 : 47945 : }
171 : 47945 : } raiicallbacksrunning(this);
172 : :
173 [ + - ]: 47945 : callback();
174 : 54156 : }
175 : :
176 : 47945 : void SerialTaskRunner::insert(std::function<void()> func)
177 : : {
178 : 47945 : {
179 : 47945 : LOCK(m_callbacks_mutex);
180 [ + - ]: 47945 : m_callbacks_pending.emplace_back(std::move(func));
181 : 47945 : }
182 : 47945 : MaybeScheduleProcessQueue();
183 : 47945 : }
184 : :
185 : 169 : void SerialTaskRunner::flush()
186 : : {
187 [ + - ]: 169 : assert(!m_scheduler.AreThreadsServicingQueue());
188 : : bool should_continue = true;
189 [ + + ]: 458 : while (should_continue) {
190 : 289 : ProcessQueue();
191 : 289 : LOCK(m_callbacks_mutex);
192 [ + - ]: 289 : should_continue = !m_callbacks_pending.empty();
193 : 289 : }
194 : 169 : }
195 : :
196 : 18498 : size_t SerialTaskRunner::size()
197 : : {
198 : 18498 : LOCK(m_callbacks_mutex);
199 [ + - ]: 18498 : return m_callbacks_pending.size();
200 : : }
|
