| Zachary Turner | 3a57fbd | 2017-05-11 00:03:52 +0000 | [diff] [blame] | 1 | //===- llvm/Support/Parallel.cpp - Parallel algorithms --------------------===// |
| Zachary Turner | f7ca8fc | 2017-05-05 21:09:26 +0000 | [diff] [blame] | 2 | // |
| Zachary Turner | 3a57fbd | 2017-05-11 00:03:52 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| Zachary Turner | f7ca8fc | 2017-05-05 21:09:26 +0000 | [diff] [blame] | 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | |
| Zachary Turner | 3a57fbd | 2017-05-11 00:03:52 +0000 | [diff] [blame] | 10 | #include "llvm/Support/Parallel.h" |
| Zachary Turner | 6083b2b | 2017-05-05 21:14:55 +0000 | [diff] [blame] | 11 | #include "llvm/Config/llvm-config.h" |
| Nico Weber | 0f2a48c | 2018-05-11 15:25:38 +0000 | [diff] [blame] | 12 | |
| 13 | #if LLVM_ENABLE_THREADS |
| 14 | |
| Rafael Espindola | 8c0ff95 | 2017-10-04 20:27:01 +0000 | [diff] [blame] | 15 | #include "llvm/Support/Threading.h" |
| Zachary Turner | f7ca8fc | 2017-05-05 21:09:26 +0000 | [diff] [blame] | 16 | |
| 17 | #include <atomic> |
| 18 | #include <stack> |
| Rui Ueyama | 552c290 | 2017-05-05 21:27:30 +0000 | [diff] [blame] | 19 | #include <thread> |
| Zachary Turner | f7ca8fc | 2017-05-05 21:09:26 +0000 | [diff] [blame] | 20 | |
| Zachary Turner | 3a57fbd | 2017-05-11 00:03:52 +0000 | [diff] [blame] | 21 | using namespace llvm; |
| Zachary Turner | f7ca8fc | 2017-05-05 21:09:26 +0000 | [diff] [blame] | 22 | |
| 23 | namespace { |
| 24 | |
| Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 25 | /// An abstract class that takes closures and runs them asynchronously. |
| Zachary Turner | f7ca8fc | 2017-05-05 21:09:26 +0000 | [diff] [blame] | 26 | class Executor { |
| 27 | public: |
| 28 | virtual ~Executor() = default; |
| 29 | virtual void add(std::function<void()> func) = 0; |
| 30 | |
| 31 | static Executor *getDefaultExecutor(); |
| 32 | }; |
| 33 | |
| Nico Weber | 0f2a48c | 2018-05-11 15:25:38 +0000 | [diff] [blame] | 34 | #if defined(_MSC_VER) |
| Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 35 | /// An Executor that runs tasks via ConcRT. |
| Zachary Turner | f7ca8fc | 2017-05-05 21:09:26 +0000 | [diff] [blame] | 36 | class ConcRTExecutor : public Executor { |
| 37 | struct Taskish { |
| 38 | Taskish(std::function<void()> Task) : Task(Task) {} |
| 39 | |
| 40 | std::function<void()> Task; |
| 41 | |
| 42 | static void run(void *P) { |
| 43 | Taskish *Self = static_cast<Taskish *>(P); |
| 44 | Self->Task(); |
| 45 | concurrency::Free(Self); |
| 46 | } |
| 47 | }; |
| 48 | |
| 49 | public: |
| 50 | virtual void add(std::function<void()> F) { |
| 51 | Concurrency::CurrentScheduler::ScheduleTask( |
| 52 | Taskish::run, new (concurrency::Alloc(sizeof(Taskish))) Taskish(F)); |
| 53 | } |
| 54 | }; |
| 55 | |
| 56 | Executor *Executor::getDefaultExecutor() { |
| 57 | static ConcRTExecutor exec; |
| 58 | return &exec; |
| 59 | } |
| 60 | |
| 61 | #else |
| Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 62 | /// An implementation of an Executor that runs closures on a thread pool |
| Zachary Turner | f7ca8fc | 2017-05-05 21:09:26 +0000 | [diff] [blame] | 63 | /// in filo order. |
| 64 | class ThreadPoolExecutor : public Executor { |
| 65 | public: |
| Rafael Espindola | 8c0ff95 | 2017-10-04 20:27:01 +0000 | [diff] [blame] | 66 | explicit ThreadPoolExecutor(unsigned ThreadCount = hardware_concurrency()) |
| Zachary Turner | f7ca8fc | 2017-05-05 21:09:26 +0000 | [diff] [blame] | 67 | : Done(ThreadCount) { |
| 68 | // Spawn all but one of the threads in another thread as spawning threads |
| 69 | // can take a while. |
| 70 | std::thread([&, ThreadCount] { |
| 71 | for (size_t i = 1; i < ThreadCount; ++i) { |
| 72 | std::thread([=] { work(); }).detach(); |
| 73 | } |
| 74 | work(); |
| 75 | }).detach(); |
| 76 | } |
| 77 | |
| 78 | ~ThreadPoolExecutor() override { |
| 79 | std::unique_lock<std::mutex> Lock(Mutex); |
| 80 | Stop = true; |
| 81 | Lock.unlock(); |
| 82 | Cond.notify_all(); |
| 83 | // Wait for ~Latch. |
| 84 | } |
| 85 | |
| 86 | void add(std::function<void()> F) override { |
| 87 | std::unique_lock<std::mutex> Lock(Mutex); |
| 88 | WorkStack.push(F); |
| 89 | Lock.unlock(); |
| 90 | Cond.notify_one(); |
| 91 | } |
| 92 | |
| 93 | private: |
| 94 | void work() { |
| 95 | while (true) { |
| 96 | std::unique_lock<std::mutex> Lock(Mutex); |
| 97 | Cond.wait(Lock, [&] { return Stop || !WorkStack.empty(); }); |
| 98 | if (Stop) |
| 99 | break; |
| 100 | auto Task = WorkStack.top(); |
| 101 | WorkStack.pop(); |
| 102 | Lock.unlock(); |
| 103 | Task(); |
| 104 | } |
| 105 | Done.dec(); |
| 106 | } |
| 107 | |
| 108 | std::atomic<bool> Stop{false}; |
| 109 | std::stack<std::function<void()>> WorkStack; |
| 110 | std::mutex Mutex; |
| 111 | std::condition_variable Cond; |
| Zachary Turner | 7a2d568 | 2017-05-11 00:22:18 +0000 | [diff] [blame] | 112 | parallel::detail::Latch Done; |
| Zachary Turner | f7ca8fc | 2017-05-05 21:09:26 +0000 | [diff] [blame] | 113 | }; |
| 114 | |
| 115 | Executor *Executor::getDefaultExecutor() { |
| 116 | static ThreadPoolExecutor exec; |
| 117 | return &exec; |
| 118 | } |
| 119 | #endif |
| 120 | } |
| 121 | |
| Zachary Turner | 20c8e91 | 2017-05-11 00:18:52 +0000 | [diff] [blame] | 122 | void parallel::detail::TaskGroup::spawn(std::function<void()> F) { |
| Zachary Turner | 0a340ce | 2017-05-10 17:39:18 +0000 | [diff] [blame] | 123 | L.inc(); |
| 124 | Executor::getDefaultExecutor()->add([&, F] { |
| 125 | F(); |
| 126 | L.dec(); |
| Zachary Turner | f7ca8fc | 2017-05-05 21:09:26 +0000 | [diff] [blame] | 127 | }); |
| 128 | } |
| Nico Weber | 0f2a48c | 2018-05-11 15:25:38 +0000 | [diff] [blame] | 129 | #endif // LLVM_ENABLE_THREADS |