545 lines
14 KiB
C++
545 lines
14 KiB
C++
|
#include "StarThread.hpp"
|
||
|
#include "StarTime.hpp"
|
||
|
#include "StarLogging.hpp"
|
||
|
#include "StarDynamicLib.hpp"
|
||
|
|
||
|
#include <windows.h>
|
||
|
#include <stdio.h>
|
||
|
#include <process.h>
|
||
|
#include <locale.h>
|
||
|
|
||
|
namespace Star {
|
||
|
|
||
|
// This is the CONDITIONAL_VARIABLE typedef for using Window's native
|
||
|
// conditional variables on kernels 6.0+.
|
||
|
// MinGW does not currently have this typedef.
|
||
|
typedef struct pthread_cond_t { void* ptr; } CONDITIONAL_VARIABLE;
|
||
|
|
||
|
// Static thread initialization
|
||
|
struct ThreadSupport {
|
||
|
ThreadSupport() {
|
||
|
HMODULE kernel_dll = GetModuleHandle(TEXT("kernel32.dll"));
|
||
|
initializeConditionVariable = (InitializeConditionVariablePtr)GetProcAddress(kernel_dll, "InitializeConditionVariable");
|
||
|
wakeAllConditionVariable = (WakeAllConditionVariablePtr)GetProcAddress(kernel_dll, "WakeAllConditionVariable");
|
||
|
wakeConditionVariable = (WakeConditionVariablePtr)GetProcAddress(kernel_dll, "WakeConditionVariable");
|
||
|
sleepConditionVariableCS = (SleepConditionVariableCSPtr)GetProcAddress(kernel_dll, "SleepConditionVariableCS");
|
||
|
|
||
|
nativeConditionVariables = initializeConditionVariable && wakeAllConditionVariable && wakeConditionVariable && sleepConditionVariableCS;
|
||
|
}
|
||
|
|
||
|
typedef void(WINAPI* InitializeConditionVariablePtr)(CONDITIONAL_VARIABLE* cond);
|
||
|
typedef void(WINAPI* WakeAllConditionVariablePtr)(CONDITIONAL_VARIABLE* cond);
|
||
|
typedef void(WINAPI* WakeConditionVariablePtr)(CONDITIONAL_VARIABLE* cond);
|
||
|
typedef BOOL(WINAPI* SleepConditionVariableCSPtr)(CONDITIONAL_VARIABLE* cond, CRITICAL_SECTION* mutex, DWORD milliseconds);
|
||
|
|
||
|
// function pointers to conditional variable API on windows 6.0+ kernels
|
||
|
InitializeConditionVariablePtr initializeConditionVariable;
|
||
|
WakeAllConditionVariablePtr wakeAllConditionVariable;
|
||
|
WakeConditionVariablePtr wakeConditionVariable;
|
||
|
SleepConditionVariableCSPtr sleepConditionVariableCS;
|
||
|
|
||
|
bool nativeConditionVariables;
|
||
|
};
|
||
|
static ThreadSupport g_threadSupport;
|
||
|
|
||
|
struct ThreadImpl {
|
||
|
static DWORD WINAPI runThread(void* data) {
|
||
|
ThreadImpl* ptr = static_cast<ThreadImpl*>(data);
|
||
|
try {
|
||
|
ptr->function();
|
||
|
} catch (std::exception const& e) {
|
||
|
if (ptr->name.empty())
|
||
|
Logger::error("Exception caught in Thread: %s", outputException(e, true));
|
||
|
else
|
||
|
Logger::error("Exception caught in Thread %s: %s", ptr->name, outputException(e, true));
|
||
|
} catch (...) {
|
||
|
if (ptr->name.empty())
|
||
|
Logger::error("Unknown exception caught in Thread");
|
||
|
else
|
||
|
Logger::error("Unknown exception caught in Thread %s", ptr->name);
|
||
|
}
|
||
|
ptr->stopped = true;
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
ThreadImpl(std::function<void()> function, String name)
|
||
|
: function(std::move(function)), name(std::move(name)), thread(INVALID_HANDLE_VALUE), stopped(true) {}
|
||
|
|
||
|
bool start() {
|
||
|
MutexLocker mutexLocker(mutex);
|
||
|
if (thread != INVALID_HANDLE_VALUE)
|
||
|
return false;
|
||
|
|
||
|
stopped = false;
|
||
|
if (thread == INVALID_HANDLE_VALUE)
|
||
|
thread = CreateThread(NULL, 0, runThread, (void*)this, 0, NULL);
|
||
|
if (thread == NULL)
|
||
|
thread = INVALID_HANDLE_VALUE;
|
||
|
if (thread == INVALID_HANDLE_VALUE) {
|
||
|
stopped = true;
|
||
|
throw StarException("Failed to create thread");
|
||
|
}
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
bool join() {
|
||
|
MutexLocker mutexLocker(mutex);
|
||
|
if (thread == INVALID_HANDLE_VALUE)
|
||
|
return false;
|
||
|
WaitForSingleObject(thread, INFINITE);
|
||
|
CloseHandle(thread);
|
||
|
thread = INVALID_HANDLE_VALUE;
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
std::function<void()> function;
|
||
|
String name;
|
||
|
HANDLE thread;
|
||
|
atomic<bool> stopped;
|
||
|
|
||
|
private:
|
||
|
ThreadImpl(ThreadImpl const&);
|
||
|
ThreadImpl& operator=(ThreadImpl const&);
|
||
|
|
||
|
Mutex mutex;
|
||
|
};
|
||
|
|
||
|
struct ThreadFunctionImpl : ThreadImpl {
|
||
|
ThreadFunctionImpl(std::function<void()> function, String name)
|
||
|
: ThreadImpl(wrapFunction(move(function)), move(name)) {}
|
||
|
|
||
|
std::function<void()> wrapFunction(std::function<void()> function) {
|
||
|
return [function = move(function), this]() {
|
||
|
try {
|
||
|
function();
|
||
|
} catch (...) {
|
||
|
exception = std::current_exception();
|
||
|
}
|
||
|
};
|
||
|
}
|
||
|
|
||
|
std::exception_ptr exception;
|
||
|
};
|
||
|
|
||
|
struct MutexImpl {
|
||
|
MutexImpl() {
|
||
|
InitializeCriticalSection(&criticalSection);
|
||
|
}
|
||
|
|
||
|
~MutexImpl() {
|
||
|
DeleteCriticalSection(&criticalSection);
|
||
|
}
|
||
|
|
||
|
void lock() {
|
||
|
EnterCriticalSection(&criticalSection);
|
||
|
}
|
||
|
|
||
|
void unlock() {
|
||
|
LeaveCriticalSection(&criticalSection);
|
||
|
}
|
||
|
|
||
|
bool tryLock() {
|
||
|
return TryEnterCriticalSection(&criticalSection);
|
||
|
}
|
||
|
|
||
|
CRITICAL_SECTION criticalSection;
|
||
|
};
|
||
|
|
||
|
struct ConditionVariableImpl {
|
||
|
ConditionVariableImpl() {
|
||
|
if (g_threadSupport.nativeConditionVariables) {
|
||
|
m_impl = make_unique<NativeImpl>();
|
||
|
} else {
|
||
|
m_impl = make_unique<EmulatedImpl>();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
void wait(Mutex& mutex) {
|
||
|
m_impl->wait(mutex);
|
||
|
}
|
||
|
|
||
|
void wait(Mutex& mutex, unsigned millis) {
|
||
|
m_impl->wait(mutex, millis);
|
||
|
}
|
||
|
|
||
|
void signal() {
|
||
|
m_impl->signal();
|
||
|
}
|
||
|
|
||
|
void broadcast() {
|
||
|
m_impl->broadcast();
|
||
|
}
|
||
|
|
||
|
private:
|
||
|
struct Impl {
|
||
|
virtual ~Impl() {}
|
||
|
|
||
|
virtual void wait(Mutex& mutex) = 0;
|
||
|
virtual void wait(Mutex& mutex, unsigned millis) = 0;
|
||
|
virtual void signal() = 0;
|
||
|
virtual void broadcast() = 0;
|
||
|
};
|
||
|
|
||
|
struct NativeImpl : Impl {
|
||
|
NativeImpl() {
|
||
|
g_threadSupport.initializeConditionVariable(&conditionVariable);
|
||
|
}
|
||
|
|
||
|
void wait(Mutex& mutex) override {
|
||
|
g_threadSupport.sleepConditionVariableCS(&conditionVariable, &mutex.m_impl->criticalSection, INFINITE);
|
||
|
}
|
||
|
|
||
|
void wait(Mutex& mutex, unsigned millis) override {
|
||
|
g_threadSupport.sleepConditionVariableCS(&conditionVariable, &mutex.m_impl->criticalSection, millis);
|
||
|
}
|
||
|
|
||
|
void signal() override {
|
||
|
g_threadSupport.wakeConditionVariable(&conditionVariable);
|
||
|
}
|
||
|
|
||
|
void broadcast() override {
|
||
|
g_threadSupport.wakeAllConditionVariable(&conditionVariable);
|
||
|
}
|
||
|
|
||
|
CONDITIONAL_VARIABLE conditionVariable;
|
||
|
};
|
||
|
|
||
|
struct EmulatedImpl : Impl {
|
||
|
EmulatedImpl() {
|
||
|
numThreads = 0;
|
||
|
isBroadcasting = 0;
|
||
|
threadSemaphore = CreateSemaphore(NULL, // no security
|
||
|
0, // initially 0
|
||
|
0x7fffffff, // max count
|
||
|
NULL); // unnamed
|
||
|
|
||
|
InitializeCriticalSection(&numThreadsConditionMutex);
|
||
|
|
||
|
broadcastDone = CreateEvent(NULL, // no security
|
||
|
FALSE, // auto-reset
|
||
|
FALSE, // non-signaled initially
|
||
|
NULL); // unnamed
|
||
|
}
|
||
|
|
||
|
virtual ~EmulatedImpl() {
|
||
|
CloseHandle(threadSemaphore);
|
||
|
CloseHandle(broadcastDone);
|
||
|
DeleteCriticalSection(&numThreadsConditionMutex);
|
||
|
}
|
||
|
|
||
|
void wait(Mutex& mutex) override {
|
||
|
// Avoid race conditions.
|
||
|
EnterCriticalSection(&numThreadsConditionMutex);
|
||
|
numThreads++;
|
||
|
LeaveCriticalSection(&numThreadsConditionMutex);
|
||
|
|
||
|
// Release the mutex and waits on the semaphore until signal or broadcast
|
||
|
// are called by another thread.
|
||
|
LeaveCriticalSection(&mutex.m_impl->criticalSection);
|
||
|
WaitForSingleObject(threadSemaphore, INFINITE);
|
||
|
|
||
|
// Reacquire lock to avoid race conditions.
|
||
|
EnterCriticalSection(&numThreadsConditionMutex);
|
||
|
|
||
|
// We're no longer waiting...
|
||
|
numThreads--;
|
||
|
|
||
|
// Check to see if we're the last waiter after broadcast
|
||
|
bool last_waiter = isBroadcasting && numThreads == 0;
|
||
|
|
||
|
LeaveCriticalSection(&numThreadsConditionMutex);
|
||
|
|
||
|
// If we're the last waiter thread during this particular broadcast
|
||
|
// then let all the other threads proceed.
|
||
|
if (last_waiter)
|
||
|
SetEvent(broadcastDone);
|
||
|
EnterCriticalSection(&mutex.m_impl->criticalSection);
|
||
|
}
|
||
|
|
||
|
void wait(Mutex& mutex, unsigned millis) override {
|
||
|
// Avoid race conditions.
|
||
|
EnterCriticalSection(&numThreadsConditionMutex);
|
||
|
numThreads++;
|
||
|
LeaveCriticalSection(&numThreadsConditionMutex);
|
||
|
|
||
|
// Release the mutex and waits on the semaphore until signal or broadcast
|
||
|
// are called by another thread.
|
||
|
LeaveCriticalSection(&mutex.m_impl->criticalSection);
|
||
|
WaitForSingleObject(threadSemaphore, millis);
|
||
|
|
||
|
// Reacquire lock to avoid race conditions.
|
||
|
EnterCriticalSection(&numThreadsConditionMutex);
|
||
|
|
||
|
// We're no longer waiting...
|
||
|
numThreads--;
|
||
|
|
||
|
// Check to see if we're the last waiter after broadcast
|
||
|
bool last_waiter = isBroadcasting && numThreads == 0;
|
||
|
|
||
|
LeaveCriticalSection(&numThreadsConditionMutex);
|
||
|
|
||
|
// If we're the last waiter thread during this particular broadcast
|
||
|
// then let all the other threads proceed.
|
||
|
if (last_waiter)
|
||
|
SetEvent(broadcastDone);
|
||
|
EnterCriticalSection(&mutex.m_impl->criticalSection);
|
||
|
}
|
||
|
|
||
|
void signal() override {
|
||
|
EnterCriticalSection(&numThreadsConditionMutex);
|
||
|
bool have_waiters = numThreads > 0;
|
||
|
LeaveCriticalSection(&numThreadsConditionMutex);
|
||
|
|
||
|
// If there aren't any waiters, then this is a no-op.
|
||
|
if (have_waiters)
|
||
|
ReleaseSemaphore(threadSemaphore, 1, 0);
|
||
|
}
|
||
|
|
||
|
void broadcast() override {
|
||
|
// This is needed to ensure that <numThreads> and <isBroadcasting> are
|
||
|
// consistent relative to each other.
|
||
|
EnterCriticalSection(&numThreadsConditionMutex);
|
||
|
bool have_waiters = 0;
|
||
|
|
||
|
if (numThreads > 0) {
|
||
|
// We are broadcasting, even if there is just one waiter...
|
||
|
// Record that we are broadcasting
|
||
|
isBroadcasting = 1;
|
||
|
have_waiters = 1;
|
||
|
}
|
||
|
|
||
|
if (have_waiters) {
|
||
|
// Wake up all the waiters atomically.
|
||
|
ReleaseSemaphore(threadSemaphore, numThreads, 0);
|
||
|
|
||
|
LeaveCriticalSection(&numThreadsConditionMutex);
|
||
|
|
||
|
// Wait for all the awakened threads to acquire the counting
|
||
|
// semaphore.
|
||
|
WaitForSingleObject(broadcastDone, INFINITE);
|
||
|
// This assignment is okay, even without the <numThreadsConditionMutex>
|
||
|
// held
|
||
|
// because no other waiter threads can wake up to access it.
|
||
|
isBroadcasting = 0;
|
||
|
} else {
|
||
|
LeaveCriticalSection(&numThreadsConditionMutex);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// Number of waiting threads.
|
||
|
int numThreads;
|
||
|
|
||
|
// Serialize access to <numThreads>.
|
||
|
CRITICAL_SECTION numThreadsConditionMutex;
|
||
|
|
||
|
// Semaphore used to queue up threads waiting for the condition to
|
||
|
// become signaled.
|
||
|
HANDLE threadSemaphore;
|
||
|
|
||
|
// An auto-reset event used by the broadcast/signal thread to wait
|
||
|
// for all the waiting thread(s) to wake up and be released from the
|
||
|
// semaphore.
|
||
|
HANDLE broadcastDone;
|
||
|
|
||
|
// Keeps track of whether we were broadcasting or signaling. This
|
||
|
// allows us to optimize the code if we're just signaling.
|
||
|
size_t isBroadcasting;
|
||
|
};
|
||
|
|
||
|
unique_ptr<Impl> m_impl;
|
||
|
};
|
||
|
|
||
|
struct RecursiveMutexImpl {
|
||
|
RecursiveMutexImpl() {
|
||
|
InitializeCriticalSection(&criticalSection);
|
||
|
}
|
||
|
|
||
|
~RecursiveMutexImpl() {
|
||
|
DeleteCriticalSection(&criticalSection);
|
||
|
}
|
||
|
|
||
|
void lock() {
|
||
|
EnterCriticalSection(&criticalSection);
|
||
|
}
|
||
|
|
||
|
void unlock() {
|
||
|
LeaveCriticalSection(&criticalSection);
|
||
|
}
|
||
|
|
||
|
bool tryLock() {
|
||
|
return TryEnterCriticalSection(&criticalSection);
|
||
|
}
|
||
|
|
||
|
CRITICAL_SECTION criticalSection;
|
||
|
};
|
||
|
|
||
|
void Thread::sleepPrecise(unsigned msecs) {
|
||
|
int64_t now = Time::monotonicMilliseconds();
|
||
|
int64_t deadline = now + msecs;
|
||
|
|
||
|
while (deadline - now > 10) {
|
||
|
Sleep(deadline - now - 10);
|
||
|
now = Time::monotonicMilliseconds();
|
||
|
}
|
||
|
|
||
|
while (deadline > now) {
|
||
|
if (deadline - now >= 2)
|
||
|
Sleep((deadline - now) / 2);
|
||
|
else
|
||
|
Sleep(0);
|
||
|
now = Time::monotonicMilliseconds();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
void Thread::sleep(unsigned msecs) {
|
||
|
Sleep(msecs);
|
||
|
}
|
||
|
|
||
|
void Thread::yield() {
|
||
|
SwitchToThread();
|
||
|
}
|
||
|
|
||
|
unsigned Thread::numberOfProcessors() {
|
||
|
SYSTEM_INFO info;
|
||
|
GetSystemInfo(&info);
|
||
|
return info.dwNumberOfProcessors;
|
||
|
}
|
||
|
|
||
|
Thread::Thread(String const& name) {
|
||
|
m_impl.reset(new ThreadImpl([this]() { run(); }, name));
|
||
|
}
|
||
|
|
||
|
Thread::Thread(Thread&&) = default;
|
||
|
|
||
|
Thread::~Thread() {}
|
||
|
|
||
|
Thread& Thread::operator=(Thread&&) = default;
|
||
|
|
||
|
bool Thread::start() {
|
||
|
return m_impl->start();
|
||
|
}
|
||
|
|
||
|
bool Thread::join() {
|
||
|
return m_impl->join();
|
||
|
}
|
||
|
|
||
|
String Thread::name() {
|
||
|
return m_impl->name;
|
||
|
}
|
||
|
|
||
|
bool Thread::isJoined() const {
|
||
|
return m_impl->thread == INVALID_HANDLE_VALUE;
|
||
|
}
|
||
|
|
||
|
bool Thread::isRunning() const {
|
||
|
return !m_impl->stopped;
|
||
|
}
|
||
|
|
||
|
ThreadFunction<void>::ThreadFunction() {}
|
||
|
|
||
|
ThreadFunction<void>::ThreadFunction(ThreadFunction&&) = default;
|
||
|
|
||
|
ThreadFunction<void>::ThreadFunction(function<void()> function, String const& name) {
|
||
|
m_impl.reset(new ThreadFunctionImpl(move(function), name));
|
||
|
m_impl->start();
|
||
|
}
|
||
|
|
||
|
ThreadFunction<void>::~ThreadFunction() {
|
||
|
finish();
|
||
|
}
|
||
|
|
||
|
ThreadFunction<void>& ThreadFunction<void>::operator=(ThreadFunction&&) = default;
|
||
|
|
||
|
void ThreadFunction<void>::finish() {
|
||
|
if (m_impl) {
|
||
|
m_impl->join();
|
||
|
|
||
|
if (m_impl->exception)
|
||
|
std::rethrow_exception(take(m_impl->exception));
|
||
|
}
|
||
|
}
|
||
|
|
||
|
bool ThreadFunction<void>::isFinished() const {
|
||
|
return !m_impl || m_impl->thread == INVALID_HANDLE_VALUE;
|
||
|
}
|
||
|
|
||
|
bool ThreadFunction<void>::isRunning() const {
|
||
|
return m_impl && !m_impl->stopped;
|
||
|
}
|
||
|
|
||
|
ThreadFunction<void>::operator bool() const {
|
||
|
return !isFinished();
|
||
|
}
|
||
|
|
||
|
String ThreadFunction<void>::name() {
|
||
|
if (m_impl)
|
||
|
return m_impl->name;
|
||
|
else
|
||
|
return "";
|
||
|
}
|
||
|
|
||
|
Mutex::Mutex() : m_impl(new MutexImpl()) {}
|
||
|
|
||
|
Mutex::Mutex(Mutex&&) = default;
|
||
|
|
||
|
Mutex::~Mutex() {}
|
||
|
|
||
|
Mutex& Mutex::operator=(Mutex&&) = default;
|
||
|
|
||
|
void Mutex::lock() {
|
||
|
m_impl->lock();
|
||
|
}
|
||
|
|
||
|
bool Mutex::tryLock() {
|
||
|
return m_impl->tryLock();
|
||
|
}
|
||
|
|
||
|
void Mutex::unlock() {
|
||
|
m_impl->unlock();
|
||
|
}
|
||
|
|
||
|
ConditionVariable::ConditionVariable() : m_impl(new ConditionVariableImpl()) {}
|
||
|
|
||
|
ConditionVariable::ConditionVariable(ConditionVariable&&) = default;
|
||
|
|
||
|
ConditionVariable::~ConditionVariable() {}
|
||
|
|
||
|
ConditionVariable& ConditionVariable::operator=(ConditionVariable&&) = default;
|
||
|
|
||
|
void ConditionVariable::wait(Mutex& mutex, Maybe<unsigned> millis) {
|
||
|
if (millis)
|
||
|
m_impl->wait(mutex, *millis);
|
||
|
else
|
||
|
m_impl->wait(mutex);
|
||
|
}
|
||
|
|
||
|
void ConditionVariable::signal() {
|
||
|
m_impl->signal();
|
||
|
}
|
||
|
|
||
|
void ConditionVariable::broadcast() {
|
||
|
m_impl->broadcast();
|
||
|
}
|
||
|
|
||
|
RecursiveMutex::RecursiveMutex() : m_impl(new RecursiveMutexImpl()) {}
|
||
|
|
||
|
RecursiveMutex::RecursiveMutex(RecursiveMutex&&) = default;
|
||
|
|
||
|
RecursiveMutex::~RecursiveMutex() {}
|
||
|
|
||
|
RecursiveMutex& RecursiveMutex::operator=(RecursiveMutex&&) = default;
|
||
|
|
||
|
void RecursiveMutex::lock() {
|
||
|
m_impl->lock();
|
||
|
}
|
||
|
|
||
|
bool RecursiveMutex::tryLock() {
|
||
|
return m_impl->tryLock();
|
||
|
}
|
||
|
|
||
|
void RecursiveMutex::unlock() {
|
||
|
m_impl->unlock();
|
||
|
}
|
||
|
|
||
|
}
|