133a7ea4bSMehdi Amini //==-- llvm/Support/ThreadPool.cpp - A ThreadPool implementation -*- C++ -*-==//
233a7ea4bSMehdi Amini //
333a7ea4bSMehdi Amini //                     The LLVM Compiler Infrastructure
433a7ea4bSMehdi Amini //
533a7ea4bSMehdi Amini // This file is distributed under the University of Illinois Open Source
633a7ea4bSMehdi Amini // License. See LICENSE.TXT for details.
733a7ea4bSMehdi Amini //
833a7ea4bSMehdi Amini //===----------------------------------------------------------------------===//
933a7ea4bSMehdi Amini //
1033a7ea4bSMehdi Amini // This file implements a crude C++11 based thread pool.
1133a7ea4bSMehdi Amini //
1233a7ea4bSMehdi Amini //===----------------------------------------------------------------------===//
1333a7ea4bSMehdi Amini 
1433a7ea4bSMehdi Amini #include "llvm/Support/ThreadPool.h"
1533a7ea4bSMehdi Amini 
1633a7ea4bSMehdi Amini #include "llvm/Config/llvm-config.h"
178c0ff950SRafael Espindola #include "llvm/Support/Threading.h"
18*86f0b70fSHans Wennborg #include "llvm/Support/raw_ostream.h"
1933a7ea4bSMehdi Amini 
2033a7ea4bSMehdi Amini using namespace llvm;
2133a7ea4bSMehdi Amini 
2233a7ea4bSMehdi Amini #if LLVM_ENABLE_THREADS
2333a7ea4bSMehdi Amini 
248c0ff950SRafael Espindola // Default to hardware_concurrency
258c0ff950SRafael Espindola ThreadPool::ThreadPool() : ThreadPool(hardware_concurrency()) {}
2633a7ea4bSMehdi Amini 
2733a7ea4bSMehdi Amini ThreadPool::ThreadPool(unsigned ThreadCount)
2833a7ea4bSMehdi Amini     : ActiveThreads(0), EnableFlag(true) {
2933a7ea4bSMehdi Amini   // Create ThreadCount threads that will loop forever, wait on QueueCondition
3033a7ea4bSMehdi Amini   // for tasks to be queued or the Pool to be destroyed.
3133a7ea4bSMehdi Amini   Threads.reserve(ThreadCount);
3233a7ea4bSMehdi Amini   for (unsigned ThreadID = 0; ThreadID < ThreadCount; ++ThreadID) {
3333a7ea4bSMehdi Amini     Threads.emplace_back([&] {
3433a7ea4bSMehdi Amini       while (true) {
3533a7ea4bSMehdi Amini         PackagedTaskTy Task;
3633a7ea4bSMehdi Amini         {
3733a7ea4bSMehdi Amini           std::unique_lock<std::mutex> LockGuard(QueueLock);
3833a7ea4bSMehdi Amini           // Wait for tasks to be pushed in the queue
3933a7ea4bSMehdi Amini           QueueCondition.wait(LockGuard,
4033a7ea4bSMehdi Amini                               [&] { return !EnableFlag || !Tasks.empty(); });
4133a7ea4bSMehdi Amini           // Exit condition
4233a7ea4bSMehdi Amini           if (!EnableFlag && Tasks.empty())
4333a7ea4bSMehdi Amini             return;
4433a7ea4bSMehdi Amini           // Yeah, we have a task, grab it and release the lock on the queue
4533a7ea4bSMehdi Amini 
4633a7ea4bSMehdi Amini           // We first need to signal that we are active before popping the queue
4733a7ea4bSMehdi Amini           // in order for wait() to properly detect that even if the queue is
4833a7ea4bSMehdi Amini           // empty, there is still a task in flight.
4933a7ea4bSMehdi Amini           {
5033a7ea4bSMehdi Amini             std::unique_lock<std::mutex> LockGuard(CompletionLock);
51c723f657SJan Korous             ++ActiveThreads;
5233a7ea4bSMehdi Amini           }
5333a7ea4bSMehdi Amini           Task = std::move(Tasks.front());
5433a7ea4bSMehdi Amini           Tasks.pop();
5533a7ea4bSMehdi Amini         }
5633a7ea4bSMehdi Amini         // Run the task we just grabbed
5733a7ea4bSMehdi Amini         Task();
5833a7ea4bSMehdi Amini 
5933a7ea4bSMehdi Amini         {
6033a7ea4bSMehdi Amini           // Adjust `ActiveThreads`, in case someone waits on ThreadPool::wait()
6133a7ea4bSMehdi Amini           std::unique_lock<std::mutex> LockGuard(CompletionLock);
6233a7ea4bSMehdi Amini           --ActiveThreads;
6333a7ea4bSMehdi Amini         }
6433a7ea4bSMehdi Amini 
6533a7ea4bSMehdi Amini         // Notify task completion, in case someone waits on ThreadPool::wait()
6633a7ea4bSMehdi Amini         CompletionCondition.notify_all();
6733a7ea4bSMehdi Amini       }
6833a7ea4bSMehdi Amini     });
6933a7ea4bSMehdi Amini   }
7033a7ea4bSMehdi Amini }
7133a7ea4bSMehdi Amini 
7233a7ea4bSMehdi Amini void ThreadPool::wait() {
7333a7ea4bSMehdi Amini   // Wait for all threads to complete and the queue to be empty
7433a7ea4bSMehdi Amini   std::unique_lock<std::mutex> LockGuard(CompletionLock);
759e479e47SJustin Lebar   // The order of the checks for ActiveThreads and Tasks.empty() matters because
769e479e47SJustin Lebar   // any active threads might be modifying the Tasks queue, and this would be a
779e479e47SJustin Lebar   // race.
7833a7ea4bSMehdi Amini   CompletionCondition.wait(LockGuard,
799e479e47SJustin Lebar                            [&] { return !ActiveThreads && Tasks.empty(); });
8033a7ea4bSMehdi Amini }
8133a7ea4bSMehdi Amini 
82b78a68dbSPeter Collingbourne std::shared_future<void> ThreadPool::asyncImpl(TaskTy Task) {
8333a7ea4bSMehdi Amini   /// Wrap the Task in a packaged_task to return a future object.
8433a7ea4bSMehdi Amini   PackagedTaskTy PackagedTask(std::move(Task));
8533a7ea4bSMehdi Amini   auto Future = PackagedTask.get_future();
8633a7ea4bSMehdi Amini   {
8733a7ea4bSMehdi Amini     // Lock the queue and push the new task
8833a7ea4bSMehdi Amini     std::unique_lock<std::mutex> LockGuard(QueueLock);
8933a7ea4bSMehdi Amini 
9033a7ea4bSMehdi Amini     // Don't allow enqueueing after disabling the pool
9133a7ea4bSMehdi Amini     assert(EnableFlag && "Queuing a thread during ThreadPool destruction");
9233a7ea4bSMehdi Amini 
9333a7ea4bSMehdi Amini     Tasks.push(std::move(PackagedTask));
9433a7ea4bSMehdi Amini   }
9533a7ea4bSMehdi Amini   QueueCondition.notify_one();
960f0d5d8fSDavide Italiano   return Future.share();
9733a7ea4bSMehdi Amini }
9833a7ea4bSMehdi Amini 
9933a7ea4bSMehdi Amini // The destructor joins all threads, waiting for completion.
10033a7ea4bSMehdi Amini ThreadPool::~ThreadPool() {
10133a7ea4bSMehdi Amini   {
10233a7ea4bSMehdi Amini     std::unique_lock<std::mutex> LockGuard(QueueLock);
10333a7ea4bSMehdi Amini     EnableFlag = false;
10433a7ea4bSMehdi Amini   }
10533a7ea4bSMehdi Amini   QueueCondition.notify_all();
10633a7ea4bSMehdi Amini   for (auto &Worker : Threads)
10733a7ea4bSMehdi Amini     Worker.join();
10833a7ea4bSMehdi Amini }
10933a7ea4bSMehdi Amini 
11033a7ea4bSMehdi Amini #else // LLVM_ENABLE_THREADS Disabled
11133a7ea4bSMehdi Amini 
11233a7ea4bSMehdi Amini ThreadPool::ThreadPool() : ThreadPool(0) {}
11333a7ea4bSMehdi Amini 
11433a7ea4bSMehdi Amini // No threads are launched, issue a warning if ThreadCount is not 0
11533a7ea4bSMehdi Amini ThreadPool::ThreadPool(unsigned ThreadCount)
11633a7ea4bSMehdi Amini     : ActiveThreads(0) {
11733a7ea4bSMehdi Amini   if (ThreadCount) {
11833a7ea4bSMehdi Amini     errs() << "Warning: request a ThreadPool with " << ThreadCount
11933a7ea4bSMehdi Amini            << " threads, but LLVM_ENABLE_THREADS has been turned off\n";
12033a7ea4bSMehdi Amini   }
12133a7ea4bSMehdi Amini }
12233a7ea4bSMehdi Amini 
12333a7ea4bSMehdi Amini void ThreadPool::wait() {
12433a7ea4bSMehdi Amini   // Sequential implementation running the tasks
12533a7ea4bSMehdi Amini   while (!Tasks.empty()) {
12633a7ea4bSMehdi Amini     auto Task = std::move(Tasks.front());
12733a7ea4bSMehdi Amini     Tasks.pop();
12833a7ea4bSMehdi Amini     Task();
12933a7ea4bSMehdi Amini   }
13033a7ea4bSMehdi Amini }
13133a7ea4bSMehdi Amini 
132b78a68dbSPeter Collingbourne std::shared_future<void> ThreadPool::asyncImpl(TaskTy Task) {
13333a7ea4bSMehdi Amini   // Get a Future with launch::deferred execution using std::async
13433a7ea4bSMehdi Amini   auto Future = std::async(std::launch::deferred, std::move(Task)).share();
13533a7ea4bSMehdi Amini   // Wrap the future so that both ThreadPool::wait() can operate and the
13633a7ea4bSMehdi Amini   // returned future can be sync'ed on.
13733a7ea4bSMehdi Amini   PackagedTaskTy PackagedTask([Future]() { Future.get(); });
13833a7ea4bSMehdi Amini   Tasks.push(std::move(PackagedTask));
1390f0d5d8fSDavide Italiano   return Future;
14033a7ea4bSMehdi Amini }
14133a7ea4bSMehdi Amini 
14233a7ea4bSMehdi Amini ThreadPool::~ThreadPool() {
14333a7ea4bSMehdi Amini   wait();
14433a7ea4bSMehdi Amini }
14533a7ea4bSMehdi Amini 
14633a7ea4bSMehdi Amini #endif
147