1 //==-- llvm/Support/ThreadPool.cpp - A ThreadPool implementation -*- C++ -*-==//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This file implements a crude C++11 based thread pool.
11 //===----------------------------------------------------------------------===//
13 #include "llvm/Support/ThreadPool.h"
15 #include "llvm/Config/llvm-config.h"
17 #include "llvm/Support/FormatVariadic.h"
18 #include "llvm/Support/Threading.h"
19 #include "llvm/Support/raw_ostream.h"
23 ThreadPoolInterface::~ThreadPoolInterface() = default;
25 // A note on thread groups: Tasks are by default in no group (represented
26 // by nullptr ThreadPoolTaskGroup pointer in the Tasks queue) and functionality
27 // here normally works on all tasks regardless of their group (functions
28 // in that case receive nullptr ThreadPoolTaskGroup pointer as argument).
29 // A task in a group has a pointer to that ThreadPoolTaskGroup in the Tasks
30 // queue, and functions called to work only on tasks from one group take that
33 #if LLVM_ENABLE_THREADS
35 StdThreadPool::StdThreadPool(ThreadPoolStrategy S
)
36 : Strategy(S
), MaxThreadCount(S
.compute_thread_count()) {}
38 void StdThreadPool::grow(int requested
) {
39 llvm::sys::ScopedWriter
LockGuard(ThreadsLock
);
40 if (Threads
.size() >= MaxThreadCount
)
41 return; // Already hit the max thread pool size.
42 int newThreadCount
= std::min
<int>(requested
, MaxThreadCount
);
43 while (static_cast<int>(Threads
.size()) < newThreadCount
) {
44 int ThreadID
= Threads
.size();
45 Threads
.emplace_back([this, ThreadID
] {
46 set_thread_name(formatv("llvm-worker-{0}", ThreadID
));
47 Strategy
.apply_thread_strategy(ThreadID
);
48 processTasks(nullptr);
54 // The group of the tasks run by the current thread.
55 static LLVM_THREAD_LOCAL
std::vector
<ThreadPoolTaskGroup
*>
56 *CurrentThreadTaskGroups
= nullptr;
59 // WaitingForGroup == nullptr means all tasks regardless of their group.
60 void StdThreadPool::processTasks(ThreadPoolTaskGroup
*WaitingForGroup
) {
62 std::function
<void()> Task
;
63 ThreadPoolTaskGroup
*GroupOfTask
;
65 std::unique_lock
<std::mutex
> LockGuard(QueueLock
);
66 bool workCompletedForGroup
= false; // Result of workCompletedUnlocked()
67 // Wait for tasks to be pushed in the queue
68 QueueCondition
.wait(LockGuard
, [&] {
69 return !EnableFlag
|| !Tasks
.empty() ||
70 (WaitingForGroup
!= nullptr &&
71 (workCompletedForGroup
=
72 workCompletedUnlocked(WaitingForGroup
)));
75 if (!EnableFlag
&& Tasks
.empty())
77 if (WaitingForGroup
!= nullptr && workCompletedForGroup
)
79 // Yeah, we have a task, grab it and release the lock on the queue
81 // We first need to signal that we are active before popping the queue
82 // in order for wait() to properly detect that even if the queue is
83 // empty, there is still a task in flight.
85 Task
= std::move(Tasks
.front().first
);
86 GroupOfTask
= Tasks
.front().second
;
87 // Need to count active threads in each group separately, ActiveThreads
88 // would never be 0 if waiting for another group inside a wait.
89 if (GroupOfTask
!= nullptr)
90 ++ActiveGroups
[GroupOfTask
]; // Increment or set to 1 if new item
94 if (CurrentThreadTaskGroups
== nullptr)
95 CurrentThreadTaskGroups
= new std::vector
<ThreadPoolTaskGroup
*>;
96 CurrentThreadTaskGroups
->push_back(GroupOfTask
);
99 // Run the task we just grabbed
103 CurrentThreadTaskGroups
->pop_back();
104 if (CurrentThreadTaskGroups
->empty()) {
105 delete CurrentThreadTaskGroups
;
106 CurrentThreadTaskGroups
= nullptr;
113 // Adjust `ActiveThreads`, in case someone waits on StdThreadPool::wait()
114 std::lock_guard
<std::mutex
> LockGuard(QueueLock
);
116 if (GroupOfTask
!= nullptr) {
117 auto A
= ActiveGroups
.find(GroupOfTask
);
118 if (--(A
->second
) == 0)
119 ActiveGroups
.erase(A
);
121 Notify
= workCompletedUnlocked(GroupOfTask
);
122 NotifyGroup
= GroupOfTask
!= nullptr && Notify
;
124 // Notify task completion if this is the last active thread, in case
125 // someone waits on StdThreadPool::wait().
127 CompletionCondition
.notify_all();
128 // If this was a task in a group, notify also threads waiting for tasks
129 // in this function on QueueCondition, to make a recursive wait() return
130 // after the group it's been waiting for has finished.
132 QueueCondition
.notify_all();
136 bool StdThreadPool::workCompletedUnlocked(ThreadPoolTaskGroup
*Group
) const {
137 if (Group
== nullptr)
138 return !ActiveThreads
&& Tasks
.empty();
139 return ActiveGroups
.count(Group
) == 0 &&
141 [Group
](const auto &T
) { return T
.second
== Group
; });
144 void StdThreadPool::wait() {
145 assert(!isWorkerThread()); // Would deadlock waiting for itself.
146 // Wait for all threads to complete and the queue to be empty
147 std::unique_lock
<std::mutex
> LockGuard(QueueLock
);
148 CompletionCondition
.wait(LockGuard
,
149 [&] { return workCompletedUnlocked(nullptr); });
152 void StdThreadPool::wait(ThreadPoolTaskGroup
&Group
) {
153 // Wait for all threads in the group to complete.
154 if (!isWorkerThread()) {
155 std::unique_lock
<std::mutex
> LockGuard(QueueLock
);
156 CompletionCondition
.wait(LockGuard
,
157 [&] { return workCompletedUnlocked(&Group
); });
160 // Make sure to not deadlock waiting for oneself.
161 assert(CurrentThreadTaskGroups
== nullptr ||
162 !llvm::is_contained(*CurrentThreadTaskGroups
, &Group
));
163 // Handle the case of recursive call from another task in a different group,
164 // in which case process tasks while waiting to keep the thread busy and avoid
165 // possible deadlock.
166 processTasks(&Group
);
169 bool StdThreadPool::isWorkerThread() const {
170 llvm::sys::ScopedReader
LockGuard(ThreadsLock
);
171 llvm::thread::id CurrentThreadId
= llvm::this_thread::get_id();
172 for (const llvm::thread
&Thread
: Threads
)
173 if (CurrentThreadId
== Thread
.get_id())
178 // The destructor joins all threads, waiting for completion.
179 StdThreadPool::~StdThreadPool() {
181 std::unique_lock
<std::mutex
> LockGuard(QueueLock
);
184 QueueCondition
.notify_all();
185 llvm::sys::ScopedReader
LockGuard(ThreadsLock
);
186 for (auto &Worker
: Threads
)
190 #endif // LLVM_ENABLE_THREADS Disabled
192 // No threads are launched, issue a warning if ThreadCount is not 0
193 SingleThreadExecutor::SingleThreadExecutor(ThreadPoolStrategy S
) {
194 int ThreadCount
= S
.compute_thread_count();
195 if (ThreadCount
!= 1) {
196 errs() << "Warning: request a ThreadPool with " << ThreadCount
197 << " threads, but LLVM_ENABLE_THREADS has been turned off\n";
201 void SingleThreadExecutor::wait() {
202 // Sequential implementation running the tasks
203 while (!Tasks
.empty()) {
204 auto Task
= std::move(Tasks
.front().first
);
210 void SingleThreadExecutor::wait(ThreadPoolTaskGroup
&) {
211 // Simply wait for all, this works even if recursive (the running task
212 // is already removed from the queue).
216 bool SingleThreadExecutor::isWorkerThread() const {
217 report_fatal_error("LLVM compiled without multithreading");
220 SingleThreadExecutor::~SingleThreadExecutor() { wait(); }