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