blob: 2bca5a9f43b8191cbd5b82ab36afb9900eed0303 [file] [log] [blame]
Mathieu Chartier93c21ba2018-12-10 13:08:30 -08001
Elliott Hughes1aa246d2012-12-13 09:29:36 -08002/*
3 * Copyright (C) 2012 The Android Open Source Project
4 *
5 * Licensed under the Apache License, Version 2.0 (the "License");
6 * you may not use this file except in compliance with the License.
7 * You may obtain a copy of the License at
8 *
9 * http://www.apache.org/licenses/LICENSE-2.0
10 *
11 * Unless required by applicable law or agreed to in writing, software
12 * distributed under the License is distributed on an "AS IS" BASIS,
13 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 * See the License for the specific language governing permissions and
15 * limitations under the License.
16 */
17
Mathieu Chartier0e4627e2012-10-23 16:13:36 -070018#include "thread_pool.h"
19
Andreas Gamped4901292017-05-30 18:41:34 -070020#include <sys/mman.h>
Andreas Gampe9e927f52016-02-29 20:49:38 -080021#include <sys/resource.h>
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070022#include <sys/time.h>
23
24#include <pthread.h>
Andreas Gampe9e927f52016-02-29 20:49:38 -080025
Andreas Gampe57943812017-12-06 21:39:13 -080026#include <android-base/logging.h>
27#include <android-base/stringprintf.h>
Andreas Gampe46ee31b2016-12-14 10:11:49 -080028
Vladimir Marko0b6e2832015-09-24 10:41:33 +010029#include "base/bit_utils.h"
Elliott Hughes1aa246d2012-12-13 09:29:36 -080030#include "base/casts.h"
31#include "base/stl_util.h"
Vladimir Marko80afd022015-05-19 18:08:00 +010032#include "base/time_utils.h"
David Sehrc431b9d2018-03-02 12:01:51 -080033#include "base/utils.h"
Elliott Hughes1aa246d2012-12-13 09:29:36 -080034#include "runtime.h"
Andreas Gampeb486a982017-06-01 13:45:54 -070035#include "thread-current-inl.h"
Elliott Hughes1aa246d2012-12-13 09:29:36 -080036
Mathieu Chartier0e4627e2012-10-23 16:13:36 -070037namespace art {
38
Andreas Gampe46ee31b2016-12-14 10:11:49 -080039using android::base::StringPrintf;
40
Mathieu Chartier720ef762013-08-17 14:46:54 -070041static constexpr bool kMeasureWaitTime = false;
Mathieu Chartier94c32c52013-08-09 11:14:04 -070042
Mathieu Chartier0e4627e2012-10-23 16:13:36 -070043ThreadPoolWorker::ThreadPoolWorker(ThreadPool* thread_pool, const std::string& name,
44 size_t stack_size)
45 : thread_pool_(thread_pool),
Mathieu Chartierbcd5e9d2013-11-13 14:33:28 -080046 name_(name) {
Vladimir Marko0b6e2832015-09-24 10:41:33 +010047 // Add an inaccessible page to catch stack overflow.
48 stack_size += kPageSize;
Mathieu Chartierbcd5e9d2013-11-13 14:33:28 -080049 std::string error_msg;
Vladimir Markoc34bebf2018-08-16 16:12:49 +010050 stack_ = MemMap::MapAnonymous(name.c_str(),
Vladimir Markoc34bebf2018-08-16 16:12:49 +010051 stack_size,
52 PROT_READ | PROT_WRITE,
Vladimir Marko11306592018-10-26 14:22:59 +010053 /*low_4gb=*/ false,
Vladimir Markoc34bebf2018-08-16 16:12:49 +010054 &error_msg);
55 CHECK(stack_.IsValid()) << error_msg;
56 CHECK_ALIGNED(stack_.Begin(), kPageSize);
Mathieu Chartier8d8de0c2017-10-04 09:35:30 -070057 CheckedCall(mprotect,
58 "mprotect bottom page of thread pool worker stack",
Vladimir Markoc34bebf2018-08-16 16:12:49 +010059 stack_.Begin(),
Mathieu Chartier8d8de0c2017-10-04 09:35:30 -070060 kPageSize,
61 PROT_NONE);
Mathieu Chartier0e4627e2012-10-23 16:13:36 -070062 const char* reason = "new thread pool worker thread";
Brian Carlstrombcc29262012-11-02 11:36:03 -070063 pthread_attr_t attr;
Mathieu Chartier0e4627e2012-10-23 16:13:36 -070064 CHECK_PTHREAD_CALL(pthread_attr_init, (&attr), reason);
Vladimir Markoc34bebf2018-08-16 16:12:49 +010065 CHECK_PTHREAD_CALL(pthread_attr_setstack, (&attr, stack_.Begin(), stack_.Size()), reason);
Mathieu Chartier0e4627e2012-10-23 16:13:36 -070066 CHECK_PTHREAD_CALL(pthread_create, (&pthread_, &attr, &Callback, this), reason);
67 CHECK_PTHREAD_CALL(pthread_attr_destroy, (&attr), reason);
68}
69
70ThreadPoolWorker::~ThreadPoolWorker() {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070071 CHECK_PTHREAD_CALL(pthread_join, (pthread_, nullptr), "thread pool worker shutdown");
Mathieu Chartier0e4627e2012-10-23 16:13:36 -070072}
73
Andreas Gampe9e927f52016-02-29 20:49:38 -080074void ThreadPoolWorker::SetPthreadPriority(int priority) {
75 CHECK_GE(priority, PRIO_MIN);
76 CHECK_LE(priority, PRIO_MAX);
Bilyan Borisovbb661c02016-04-04 16:27:32 +010077#if defined(ART_TARGET_ANDROID)
Andreas Gampe9e927f52016-02-29 20:49:38 -080078 int result = setpriority(PRIO_PROCESS, pthread_gettid_np(pthread_), priority);
79 if (result != 0) {
80 PLOG(ERROR) << "Failed to setpriority to :" << priority;
81 }
82#else
83 UNUSED(priority);
84#endif
85}
86
Mathieu Chartier0e4627e2012-10-23 16:13:36 -070087void ThreadPoolWorker::Run() {
88 Thread* self = Thread::Current();
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070089 Task* task = nullptr;
Mathieu Chartier93c21ba2018-12-10 13:08:30 -080090 thread_pool_->creation_barier_.Pass(self);
Ian Rogers6a3c1fc2014-10-31 00:33:20 -070091 while ((task = thread_pool_->GetTask(self)) != nullptr) {
Mathieu Chartier0e4627e2012-10-23 16:13:36 -070092 task->Run(self);
Mathieu Chartier02b6a782012-10-26 13:51:26 -070093 task->Finalize();
Mathieu Chartier0e4627e2012-10-23 16:13:36 -070094 }
95}
96
97void* ThreadPoolWorker::Callback(void* arg) {
98 ThreadPoolWorker* worker = reinterpret_cast<ThreadPoolWorker*>(arg);
99 Runtime* runtime = Runtime::Current();
Alex Light80777ed2019-12-17 17:07:33 +0000100 CHECK(runtime->AttachCurrentThread(
101 worker->name_.c_str(),
102 true,
103 // Thread-groups are only tracked by the peer j.l.Thread objects. If we aren't creating peers
104 // we don't need to specify the thread group. We want to place these threads in the System
105 // thread group because that thread group is where important threads that debuggers and
106 // similar tools should not mess with are placed. As this is an internal-thread-pool we might
107 // rely on being able to (for example) wait for all threads to finish some task. If debuggers
108 // are suspending these threads that might not be possible.
109 worker->thread_pool_->create_peers_ ? runtime->GetSystemThreadGroup() : nullptr,
110 worker->thread_pool_->create_peers_));
Nicolas Geoffray340dafa2016-11-18 16:03:10 +0000111 worker->thread_ = Thread::Current();
Alex Lighte9f61032018-09-24 16:04:51 -0700112 // Mark thread pool workers as runtime-threads.
113 worker->thread_->SetIsRuntimeThread(true);
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700114 // Do work until its time to shut down.
115 worker->Run();
116 runtime->DetachCurrentThread();
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700117 return nullptr;
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700118}
119
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700120void ThreadPool::AddTask(Thread* self, Task* task) {
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700121 MutexLock mu(self, task_queue_lock_);
122 tasks_.push_back(task);
123 // If we have any waiters, signal one.
Mathieu Chartier94c32c52013-08-09 11:14:04 -0700124 if (started_ && waiting_count_ != 0) {
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700125 task_queue_condition_.Signal(self);
126 }
127}
128
Nicolas Geoffray629e9352015-11-04 17:22:16 +0000129void ThreadPool::RemoveAllTasks(Thread* self) {
Nicolas Geoffray714fad62019-06-27 15:32:00 +0100130 // The ThreadPool is responsible for calling Finalize (which usually delete
131 // the task memory) on all the tasks.
132 Task* task = nullptr;
133 while ((task = TryGetTask(self)) != nullptr) {
134 task->Finalize();
135 }
Nicolas Geoffray629e9352015-11-04 17:22:16 +0000136 MutexLock mu(self, task_queue_lock_);
137 tasks_.clear();
138}
139
Mathieu Chartiereac4d6a2018-12-05 12:33:46 -0800140ThreadPool::ThreadPool(const char* name,
141 size_t num_threads,
142 bool create_peers,
143 size_t worker_stack_size)
Mathieu Chartierbcd5e9d2013-11-13 14:33:28 -0800144 : name_(name),
145 task_queue_lock_("task queue lock"),
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700146 task_queue_condition_("task queue condition", task_queue_lock_),
147 completion_condition_("task completion condition", task_queue_lock_),
148 started_(false),
149 shutting_down_(false),
Mathieu Chartier35883cc2012-11-13 14:08:12 -0800150 waiting_count_(0),
Ian Rogersd914eb22013-04-18 16:11:15 -0700151 start_time_(0),
152 total_wait_time_(0),
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000153 creation_barier_(0),
Andreas Gampeb15de0c2017-01-24 13:12:19 -0800154 max_active_workers_(num_threads),
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000155 create_peers_(create_peers),
156 worker_stack_size_(worker_stack_size) {
157 CreateThreads();
158}
159
160void ThreadPool::CreateThreads() {
161 CHECK(threads_.empty());
162 Thread* self = Thread::Current();
163 {
164 MutexLock mu(self, task_queue_lock_);
165 shutting_down_ = false;
166 // Add one since the caller of constructor waits on the barrier too.
Mathieu Chartier93c21ba2018-12-10 13:08:30 -0800167 creation_barier_.Init(self, max_active_workers_);
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000168 while (GetThreadCount() < max_active_workers_) {
169 const std::string worker_name = StringPrintf("%s worker thread %zu", name_.c_str(),
170 GetThreadCount());
171 threads_.push_back(
172 new ThreadPoolWorker(this, worker_name, worker_stack_size_));
173 }
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700174 }
Mathieu Chartier93c21ba2018-12-10 13:08:30 -0800175}
176
177void ThreadPool::WaitForWorkersToBeCreated() {
178 creation_barier_.Increment(Thread::Current(), 0);
179}
180
181const std::vector<ThreadPoolWorker*>& ThreadPool::GetWorkers() {
182 // Wait for all the workers to be created before returning them.
183 WaitForWorkersToBeCreated();
184 return threads_;
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700185}
186
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000187void ThreadPool::DeleteThreads() {
Mathieu Chartiere46cd752012-10-31 16:56:18 -0700188 {
189 Thread* self = Thread::Current();
190 MutexLock mu(self, task_queue_lock_);
191 // Tell any remaining workers to shut down.
192 shutting_down_ = true;
Mathieu Chartiere46cd752012-10-31 16:56:18 -0700193 // Broadcast to everyone waiting.
194 task_queue_condition_.Broadcast(self);
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700195 completion_condition_.Broadcast(self);
Mathieu Chartiere46cd752012-10-31 16:56:18 -0700196 }
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000197 // Wait for the threads to finish. We expect the user of the pool
198 // not to run multi-threaded calls to `CreateThreads` and `DeleteThreads`,
199 // so we don't guard the field here.
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700200 STLDeleteElements(&threads_);
201}
202
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000203void ThreadPool::SetMaxActiveWorkers(size_t max_workers) {
204 MutexLock mu(Thread::Current(), task_queue_lock_);
205 CHECK_LE(max_workers, GetThreadCount());
206 max_active_workers_ = max_workers;
207}
208
209ThreadPool::~ThreadPool() {
210 DeleteThreads();
Nicolas Geoffray714fad62019-06-27 15:32:00 +0100211 RemoveAllTasks(Thread::Current());
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000212}
213
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700214void ThreadPool::StartWorkers(Thread* self) {
215 MutexLock mu(self, task_queue_lock_);
216 started_ = true;
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700217 task_queue_condition_.Broadcast(self);
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700218 start_time_ = NanoTime();
219 total_wait_time_ = 0;
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700220}
221
222void ThreadPool::StopWorkers(Thread* self) {
223 MutexLock mu(self, task_queue_lock_);
224 started_ = false;
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700225}
226
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700227Task* ThreadPool::GetTask(Thread* self) {
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700228 MutexLock mu(self, task_queue_lock_);
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700229 while (!IsShuttingDown()) {
Mathieu Chartier2775ee42013-08-20 17:43:47 -0700230 const size_t thread_count = GetThreadCount();
231 // Ensure that we don't use more threads than the maximum active workers.
232 const size_t active_threads = thread_count - waiting_count_;
233 // <= since self is considered an active worker.
234 if (active_threads <= max_active_workers_) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700235 Task* task = TryGetTaskLocked();
236 if (task != nullptr) {
Mathieu Chartier2775ee42013-08-20 17:43:47 -0700237 return task;
238 }
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700239 }
240
Mathieu Chartier2775ee42013-08-20 17:43:47 -0700241 ++waiting_count_;
Andreas Gampe6f3a70f2016-11-16 13:58:05 -0800242 if (waiting_count_ == GetThreadCount() && !HasOutstandingTasks()) {
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700243 // We may be done, lets broadcast to the completion condition.
244 completion_condition_.Broadcast(self);
245 }
Mathieu Chartier94c32c52013-08-09 11:14:04 -0700246 const uint64_t wait_start = kMeasureWaitTime ? NanoTime() : 0;
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700247 task_queue_condition_.Wait(self);
Mathieu Chartier94c32c52013-08-09 11:14:04 -0700248 if (kMeasureWaitTime) {
249 const uint64_t wait_end = NanoTime();
250 total_wait_time_ += wait_end - std::max(wait_start, start_time_);
251 }
252 --waiting_count_;
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700253 }
254
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700255 // We are shutting down, return null to tell the worker thread to stop looping.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700256 return nullptr;
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700257}
258
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700259Task* ThreadPool::TryGetTask(Thread* self) {
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700260 MutexLock mu(self, task_queue_lock_);
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700261 return TryGetTaskLocked();
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700262}
263
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700264Task* ThreadPool::TryGetTaskLocked() {
Andreas Gampe6f3a70f2016-11-16 13:58:05 -0800265 if (HasOutstandingTasks()) {
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700266 Task* task = tasks_.front();
267 tasks_.pop_front();
268 return task;
269 }
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700270 return nullptr;
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700271}
272
Ian Rogers1d54e732013-05-02 21:10:01 -0700273void ThreadPool::Wait(Thread* self, bool do_work, bool may_hold_locks) {
274 if (do_work) {
Andreas Gampeb15de0c2017-01-24 13:12:19 -0800275 CHECK(!create_peers_);
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700276 Task* task = nullptr;
277 while ((task = TryGetTask(self)) != nullptr) {
Ian Rogers1d54e732013-05-02 21:10:01 -0700278 task->Run(self);
279 task->Finalize();
280 }
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700281 }
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700282 // Wait until each thread is waiting and the task list is empty.
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700283 MutexLock mu(self, task_queue_lock_);
Andreas Gampe6f3a70f2016-11-16 13:58:05 -0800284 while (!shutting_down_ && (waiting_count_ != GetThreadCount() || HasOutstandingTasks())) {
Ian Rogers1d54e732013-05-02 21:10:01 -0700285 if (!may_hold_locks) {
286 completion_condition_.Wait(self);
287 } else {
288 completion_condition_.WaitHoldingLocks(self);
289 }
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700290 }
291}
292
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700293size_t ThreadPool::GetTaskCount(Thread* self) {
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700294 MutexLock mu(self, task_queue_lock_);
295 return tasks_.size();
296}
297
Andreas Gampe9e927f52016-02-29 20:49:38 -0800298void ThreadPool::SetPthreadPriority(int priority) {
299 for (ThreadPoolWorker* worker : threads_) {
300 worker->SetPthreadPriority(priority);
301 }
302}
303
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700304} // namespace art