mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-22 18:54:02 +01:00
ae05eb086d
The goal of this patch is to maximize CPU utilization on multi-socket or high core count systems, so that parallel computations such as LLD/ThinLTO can use all hardware threads in the system. Before this patch, on Windows, a maximum of 64 hardware threads could be used at most, in some cases dispatched only on one CPU socket. == Background == Windows doesn't have a flat cpu_set_t like Linux. Instead, it projects hardware CPUs (or NUMA nodes) to applications through a concept of "processor groups". A "processor" is the smallest unit of execution on a CPU, that is, an hyper-thread if SMT is active; a core otherwise. There's a limit of 32-bit processors on older 32-bit versions of Windows, which later was raised to 64-processors with 64-bit versions of Windows. This limit comes from the affinity mask, which historically is represented by the sizeof(void*). Consequently, the concept of "processor groups" was introduced for dealing with systems with more than 64 hyper-threads. By default, the Windows OS assigns only one "processor group" to each starting application, in a round-robin manner. If the application wants to use more processors, it needs to programmatically enable it, by assigning threads to other "processor groups". This also means that affinity cannot cross "processor group" boundaries; one can only specify a "preferred" group on start-up, but the application is free to allocate more groups if it wants to. This creates a peculiar situation, where newer CPUs like the AMD EPYC 7702P (64-cores, 128-hyperthreads) are projected by the OS as two (2) "processor groups". This means that by default, an application can only use half of the cores. This situation could only get worse in the years to come, as dies with more cores will appear on the market. == The problem == The heavyweight_hardware_concurrency() API was introduced so that only *one hardware thread per core* was used. Once that API returns, that original intention is lost, only the number of threads is retained. Consider a situation, on Windows, where the system has 2 CPU sockets, 18 cores each, each core having 2 hyper-threads, for a total of 72 hyper-threads. Both heavyweight_hardware_concurrency() and hardware_concurrency() currently return 36, because on Windows they are simply wrappers over std:🧵:hardware_concurrency() -- which can only return processors from the current "processor group". == The changes in this patch == To solve this situation, we capture (and retain) the initial intention until the point of usage, through a new ThreadPoolStrategy class. The number of threads to use is deferred as late as possible, until the moment where the std::threads are created (ThreadPool in the case of ThinLTO). When using hardware_concurrency(), setting ThreadCount to 0 now means to use all the possible hardware CPU (SMT) threads. Providing a ThreadCount above to the maximum number of threads will have no effect, the maximum will be used instead. The heavyweight_hardware_concurrency() is similar to hardware_concurrency(), except that only one thread per hardware *core* will be used. When LLVM_ENABLE_THREADS is OFF, the threading APIs will always return 1, to ensure any caller loops will be exercised at least once. Differential Revision: https://reviews.llvm.org/D71775
167 lines
4.9 KiB
C++
167 lines
4.9 KiB
C++
//===- llvm/Support/Parallel.cpp - Parallel algorithms --------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/Support/Parallel.h"
|
|
#include "llvm/Config/llvm-config.h"
|
|
#include "llvm/Support/ManagedStatic.h"
|
|
|
|
#if LLVM_ENABLE_THREADS
|
|
|
|
#include "llvm/Support/Threading.h"
|
|
|
|
#include <atomic>
|
|
#include <future>
|
|
#include <stack>
|
|
#include <thread>
|
|
#include <vector>
|
|
|
|
namespace llvm {
|
|
namespace parallel {
|
|
namespace detail {
|
|
|
|
namespace {
|
|
|
|
/// An abstract class that takes closures and runs them asynchronously.
|
|
class Executor {
|
|
public:
|
|
virtual ~Executor() = default;
|
|
virtual void add(std::function<void()> func) = 0;
|
|
|
|
static Executor *getDefaultExecutor();
|
|
};
|
|
|
|
/// An implementation of an Executor that runs closures on a thread pool
|
|
/// in filo order.
|
|
class ThreadPoolExecutor : public Executor {
|
|
public:
|
|
explicit ThreadPoolExecutor(ThreadPoolStrategy S = hardware_concurrency()) {
|
|
unsigned ThreadCount = S.compute_thread_count();
|
|
// Spawn all but one of the threads in another thread as spawning threads
|
|
// can take a while.
|
|
Threads.reserve(ThreadCount);
|
|
Threads.resize(1);
|
|
std::lock_guard<std::mutex> Lock(Mutex);
|
|
Threads[0] = std::thread([this, ThreadCount, S] {
|
|
for (unsigned I = 1; I < ThreadCount; ++I) {
|
|
Threads.emplace_back([=] { work(S, I); });
|
|
if (Stop)
|
|
break;
|
|
}
|
|
ThreadsCreated.set_value();
|
|
work(S, 0);
|
|
});
|
|
}
|
|
|
|
void stop() {
|
|
{
|
|
std::lock_guard<std::mutex> Lock(Mutex);
|
|
if (Stop)
|
|
return;
|
|
Stop = true;
|
|
}
|
|
Cond.notify_all();
|
|
ThreadsCreated.get_future().wait();
|
|
}
|
|
|
|
~ThreadPoolExecutor() override {
|
|
stop();
|
|
std::thread::id CurrentThreadId = std::this_thread::get_id();
|
|
for (std::thread &T : Threads)
|
|
if (T.get_id() == CurrentThreadId)
|
|
T.detach();
|
|
else
|
|
T.join();
|
|
}
|
|
|
|
struct Deleter {
|
|
static void call(void *Ptr) { ((ThreadPoolExecutor *)Ptr)->stop(); }
|
|
};
|
|
|
|
void add(std::function<void()> F) override {
|
|
{
|
|
std::lock_guard<std::mutex> Lock(Mutex);
|
|
WorkStack.push(F);
|
|
}
|
|
Cond.notify_one();
|
|
}
|
|
|
|
private:
|
|
void work(ThreadPoolStrategy S, unsigned ThreadID) {
|
|
S.apply_thread_strategy(ThreadID);
|
|
while (true) {
|
|
std::unique_lock<std::mutex> Lock(Mutex);
|
|
Cond.wait(Lock, [&] { return Stop || !WorkStack.empty(); });
|
|
if (Stop)
|
|
break;
|
|
auto Task = WorkStack.top();
|
|
WorkStack.pop();
|
|
Lock.unlock();
|
|
Task();
|
|
}
|
|
}
|
|
|
|
std::atomic<bool> Stop{false};
|
|
std::stack<std::function<void()>> WorkStack;
|
|
std::mutex Mutex;
|
|
std::condition_variable Cond;
|
|
std::promise<void> ThreadsCreated;
|
|
std::vector<std::thread> Threads;
|
|
};
|
|
|
|
Executor *Executor::getDefaultExecutor() {
|
|
// The ManagedStatic enables the ThreadPoolExecutor to be stopped via
|
|
// llvm_shutdown() which allows a "clean" fast exit, e.g. via _exit(). This
|
|
// stops the thread pool and waits for any worker thread creation to complete
|
|
// but does not wait for the threads to finish. The wait for worker thread
|
|
// creation to complete is important as it prevents intermittent crashes on
|
|
// Windows due to a race condition between thread creation and process exit.
|
|
//
|
|
// The ThreadPoolExecutor will only be destroyed when the static unique_ptr to
|
|
// it is destroyed, i.e. in a normal full exit. The ThreadPoolExecutor
|
|
// destructor ensures it has been stopped and waits for worker threads to
|
|
// finish. The wait is important as it prevents intermittent crashes on
|
|
// Windows when the process is doing a full exit.
|
|
//
|
|
// The Windows crashes appear to only occur with the MSVC static runtimes and
|
|
// are more frequent with the debug static runtime.
|
|
//
|
|
// This also prevents intermittent deadlocks on exit with the MinGW runtime.
|
|
static ManagedStatic<ThreadPoolExecutor, object_creator<ThreadPoolExecutor>,
|
|
ThreadPoolExecutor::Deleter>
|
|
ManagedExec;
|
|
static std::unique_ptr<ThreadPoolExecutor> Exec(&(*ManagedExec));
|
|
return Exec.get();
|
|
}
|
|
} // namespace
|
|
|
|
static std::atomic<int> TaskGroupInstances;
|
|
|
|
// Latch::sync() called by the dtor may cause one thread to block. If is a dead
|
|
// lock if all threads in the default executor are blocked. To prevent the dead
|
|
// lock, only allow the first TaskGroup to run tasks parallelly. In the scenario
|
|
// of nested parallel_for_each(), only the outermost one runs parallelly.
|
|
TaskGroup::TaskGroup() : Parallel(TaskGroupInstances++ == 0) {}
|
|
TaskGroup::~TaskGroup() { --TaskGroupInstances; }
|
|
|
|
void TaskGroup::spawn(std::function<void()> F) {
|
|
if (Parallel) {
|
|
L.inc();
|
|
Executor::getDefaultExecutor()->add([&, F] {
|
|
F();
|
|
L.dec();
|
|
});
|
|
} else {
|
|
F();
|
|
}
|
|
}
|
|
|
|
} // namespace detail
|
|
} // namespace parallel
|
|
} // namespace llvm
|
|
#endif // LLVM_ENABLE_THREADS
|