1 //==-- llvm/Support/ThreadPool.cpp - A ThreadPool implementation -*- C++ -*-==// 2 // 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 6 // 7 //===----------------------------------------------------------------------===// 8 // 9 // This file implements a crude C++11 based thread pool. 10 // 11 //===----------------------------------------------------------------------===// 12 13 #include "llvm/Support/ThreadPool.h" 14 15 #include "llvm/Config/llvm-config.h" 16 17 #if LLVM_ENABLE_THREADS 18 #include "llvm/Support/FormatVariadic.h" 19 #include "llvm/Support/Threading.h" 20 #else 21 #include "llvm/Support/raw_ostream.h" 22 #endif 23 24 using namespace llvm; 25 26 #if LLVM_ENABLE_THREADS 27 28 // A note on thread groups: Tasks are by default in no group (represented 29 // by nullptr ThreadPoolTaskGroup pointer in the Tasks queue) and functionality 30 // here normally works on all tasks regardless of their group (functions 31 // in that case receive nullptr ThreadPoolTaskGroup pointer as argument). 32 // A task in a group has a pointer to that ThreadPoolTaskGroup in the Tasks 33 // queue, and functions called to work only on tasks from one group take that 34 // pointer. 35 36 ThreadPool::ThreadPool(ThreadPoolStrategy S) 37 : Strategy(S), MaxThreadCount(S.compute_thread_count()) {} 38 39 void ThreadPool::grow(int requested) { 40 llvm::sys::ScopedWriter LockGuard(ThreadsLock); 41 if (Threads.size() >= MaxThreadCount) 42 return; // Already hit the max thread pool size. 43 int newThreadCount = std::min<int>(requested, MaxThreadCount); 44 while (static_cast<int>(Threads.size()) < newThreadCount) { 45 int ThreadID = Threads.size(); 46 Threads.emplace_back([this, ThreadID] { 47 set_thread_name(formatv("llvm-worker-{0}", ThreadID)); 48 Strategy.apply_thread_strategy(ThreadID); 49 processTasks(nullptr); 50 }); 51 } 52 } 53 54 #ifndef NDEBUG 55 // The group of the tasks run by the current thread. 56 static LLVM_THREAD_LOCAL std::vector<ThreadPoolTaskGroup *> 57 *CurrentThreadTaskGroups = nullptr; 58 #endif 59 60 // WaitingForGroup == nullptr means all tasks regardless of their group. 61 void ThreadPool::processTasks(ThreadPoolTaskGroup *WaitingForGroup) { 62 while (true) { 63 std::function<void()> Task; 64 ThreadPoolTaskGroup *GroupOfTask; 65 { 66 std::unique_lock<std::mutex> LockGuard(QueueLock); 67 bool workCompletedForGroup = false; // Result of workCompletedUnlocked() 68 // Wait for tasks to be pushed in the queue 69 QueueCondition.wait(LockGuard, [&] { 70 return !EnableFlag || !Tasks.empty() || 71 (WaitingForGroup != nullptr && 72 (workCompletedForGroup = 73 workCompletedUnlocked(WaitingForGroup))); 74 }); 75 // Exit condition 76 if (!EnableFlag && Tasks.empty()) 77 return; 78 if (WaitingForGroup != nullptr && workCompletedForGroup) 79 return; 80 // Yeah, we have a task, grab it and release the lock on the queue 81 82 // We first need to signal that we are active before popping the queue 83 // in order for wait() to properly detect that even if the queue is 84 // empty, there is still a task in flight. 85 ++ActiveThreads; 86 Task = std::move(Tasks.front().first); 87 GroupOfTask = Tasks.front().second; 88 // Need to count active threads in each group separately, ActiveThreads 89 // would never be 0 if waiting for another group inside a wait. 90 if (GroupOfTask != nullptr) 91 ++ActiveGroups[GroupOfTask]; // Increment or set to 1 if new item 92 Tasks.pop_front(); 93 } 94 #ifndef NDEBUG 95 if (CurrentThreadTaskGroups == nullptr) 96 CurrentThreadTaskGroups = new std::vector<ThreadPoolTaskGroup *>; 97 CurrentThreadTaskGroups->push_back(GroupOfTask); 98 #endif 99 100 // Run the task we just grabbed 101 Task(); 102 103 #ifndef NDEBUG 104 CurrentThreadTaskGroups->pop_back(); 105 if (CurrentThreadTaskGroups->empty()) { 106 delete CurrentThreadTaskGroups; 107 CurrentThreadTaskGroups = nullptr; 108 } 109 #endif 110 111 bool Notify; 112 bool NotifyGroup; 113 { 114 // Adjust `ActiveThreads`, in case someone waits on ThreadPool::wait() 115 std::lock_guard<std::mutex> LockGuard(QueueLock); 116 --ActiveThreads; 117 if (GroupOfTask != nullptr) { 118 auto A = ActiveGroups.find(GroupOfTask); 119 if (--(A->second) == 0) 120 ActiveGroups.erase(A); 121 } 122 Notify = workCompletedUnlocked(GroupOfTask); 123 NotifyGroup = GroupOfTask != nullptr && Notify; 124 } 125 // Notify task completion if this is the last active thread, in case 126 // someone waits on ThreadPool::wait(). 127 if (Notify) 128 CompletionCondition.notify_all(); 129 // If this was a task in a group, notify also threads waiting for tasks 130 // in this function on QueueCondition, to make a recursive wait() return 131 // after the group it's been waiting for has finished. 132 if (NotifyGroup) 133 QueueCondition.notify_all(); 134 } 135 } 136 137 bool ThreadPool::workCompletedUnlocked(ThreadPoolTaskGroup *Group) const { 138 if (Group == nullptr) 139 return !ActiveThreads && Tasks.empty(); 140 return ActiveGroups.count(Group) == 0 && 141 !llvm::any_of(Tasks, 142 [Group](const auto &T) { return T.second == Group; }); 143 } 144 145 void ThreadPool::wait() { 146 assert(!isWorkerThread()); // Would deadlock waiting for itself. 147 // Wait for all threads to complete and the queue to be empty 148 std::unique_lock<std::mutex> LockGuard(QueueLock); 149 CompletionCondition.wait(LockGuard, 150 [&] { return workCompletedUnlocked(nullptr); }); 151 } 152 153 void ThreadPool::wait(ThreadPoolTaskGroup &Group) { 154 // Wait for all threads in the group to complete. 155 if (!isWorkerThread()) { 156 std::unique_lock<std::mutex> LockGuard(QueueLock); 157 CompletionCondition.wait(LockGuard, 158 [&] { return workCompletedUnlocked(&Group); }); 159 return; 160 } 161 // Make sure to not deadlock waiting for oneself. 162 assert(CurrentThreadTaskGroups == nullptr || 163 !llvm::is_contained(*CurrentThreadTaskGroups, &Group)); 164 // Handle the case of recursive call from another task in a different group, 165 // in which case process tasks while waiting to keep the thread busy and avoid 166 // possible deadlock. 167 processTasks(&Group); 168 } 169 170 bool ThreadPool::isWorkerThread() const { 171 llvm::sys::ScopedReader LockGuard(ThreadsLock); 172 llvm::thread::id CurrentThreadId = llvm::this_thread::get_id(); 173 for (const llvm::thread &Thread : Threads) 174 if (CurrentThreadId == Thread.get_id()) 175 return true; 176 return false; 177 } 178 179 // The destructor joins all threads, waiting for completion. 180 ThreadPool::~ThreadPool() { 181 { 182 std::unique_lock<std::mutex> LockGuard(QueueLock); 183 EnableFlag = false; 184 } 185 QueueCondition.notify_all(); 186 llvm::sys::ScopedReader LockGuard(ThreadsLock); 187 for (auto &Worker : Threads) 188 Worker.join(); 189 } 190 191 #else // LLVM_ENABLE_THREADS Disabled 192 193 // No threads are launched, issue a warning if ThreadCount is not 0 194 ThreadPool::ThreadPool(ThreadPoolStrategy S) : MaxThreadCount(1) { 195 int ThreadCount = S.compute_thread_count(); 196 if (ThreadCount != 1) { 197 errs() << "Warning: request a ThreadPool with " << ThreadCount 198 << " threads, but LLVM_ENABLE_THREADS has been turned off\n"; 199 } 200 } 201 202 void ThreadPool::wait() { 203 // Sequential implementation running the tasks 204 while (!Tasks.empty()) { 205 auto Task = std::move(Tasks.front().first); 206 Tasks.pop_front(); 207 Task(); 208 } 209 } 210 211 void ThreadPool::wait(ThreadPoolTaskGroup &) { 212 // Simply wait for all, this works even if recursive (the running task 213 // is already removed from the queue). 214 wait(); 215 } 216 217 bool ThreadPool::isWorkerThread() const { 218 report_fatal_error("LLVM compiled without multithreading"); 219 } 220 221 ThreadPool::~ThreadPool() { wait(); } 222 223 #endif 224