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