228 lines
6.3 KiB
C++
228 lines
6.3 KiB
C++
/***
|
|
Copyright (C) 2021 J Reece Wilson (a/k/a "Reece"). All rights reserved.
|
|
|
|
File: AuConditionVariable.Win32.cpp
|
|
Date: 2021-6-12
|
|
Author: Reece
|
|
***/
|
|
#include <Source/RuntimeInternal.hpp>
|
|
#include "AuConditionVariable.Generic.hpp"
|
|
#include <Time/Time.hpp>
|
|
#include "SMPYield.hpp"
|
|
|
|
#if !defined(_AURUNTIME_GENERICCV)
|
|
|
|
#if !defined(NTSTATUS_TIMEOUT)
|
|
#define NTSTATUS_TIMEOUT 0x102
|
|
#endif
|
|
|
|
namespace Aurora::Threading::Primitives
|
|
{
|
|
ConditionVariableImpl::ConditionVariableImpl(const AuSPtr<IConditionMutex> &pMutex) :
|
|
mutex_(AuStaticCast<Win32ConditionMutex>(pMutex))
|
|
{
|
|
}
|
|
|
|
AuSPtr<IConditionMutex> ConditionVariableImpl::GetMutex()
|
|
{
|
|
return mutex_;
|
|
}
|
|
|
|
bool ConditionVariableImpl::WaitForSignal(AuUInt32 uTimeout)
|
|
{
|
|
return WaitForSignalNS(AuMSToNS<AuUInt64>(uTimeout));
|
|
}
|
|
|
|
bool ConditionVariableImpl::WaitForSignalNS(AuUInt64 qwTimeout)
|
|
{
|
|
bool bRet { true };
|
|
auto pThatMutex = reinterpret_cast<NT4Mutex *>(&this->mutex_->lock_);
|
|
|
|
this->mutex_->Unlock();
|
|
|
|
if (qwTimeout)
|
|
{
|
|
auto uEndTimeSteady = AuTime::SteadyClockNS() + qwTimeout;
|
|
auto uEndTimeWall = AuTime::CurrentClockNS() + qwTimeout;
|
|
auto uTargetTimeNt = AuTime::ConvertTimestampNs(uEndTimeWall);
|
|
|
|
while (true)
|
|
{
|
|
LARGE_INTEGER word;
|
|
word.QuadPart = uTargetTimeNt;
|
|
|
|
if (bRet)
|
|
{
|
|
while (true)
|
|
{
|
|
auto uNow = this->wlist;
|
|
auto waiting = uNow >> 2u;
|
|
auto uNext = ((waiting + 1) << 2u) | 1;
|
|
|
|
if (AuAtomicCompareExchange(&this->wlist, uNext, uNow) == uNow)
|
|
{
|
|
break;
|
|
}
|
|
}
|
|
|
|
bRet = pNtWaitForKeyedEvent(gKeyedEventHandle, &this->wlist, 0, &word) != NTSTATUS_TIMEOUT;
|
|
}
|
|
else
|
|
{
|
|
LARGE_INTEGER word;
|
|
word.QuadPart = 0;
|
|
bRet = pNtWaitForKeyedEvent(gKeyedEventHandle, &this->wlist, 0, &word) != NTSTATUS_TIMEOUT;
|
|
}
|
|
|
|
if (!bRet && uEndTimeSteady <= AuTime::SteadyClockNS())
|
|
{
|
|
while (true)
|
|
{
|
|
auto uNow = this->wlist;
|
|
auto waiting = (uNow >> 2u) - 1u;
|
|
auto uNext = waiting << 2u;
|
|
|
|
if (AuAtomicCompareExchange(&this->wlist, uNext, uNow) == uNow)
|
|
{
|
|
this->mutex_->Lock();
|
|
return false;
|
|
}
|
|
}
|
|
}
|
|
else
|
|
{
|
|
if (!CheckOut(bRet))
|
|
{
|
|
continue;
|
|
}
|
|
|
|
this->mutex_->Lock();
|
|
return bRet;
|
|
}
|
|
}
|
|
}
|
|
else
|
|
{
|
|
while (true)
|
|
{
|
|
while (true)
|
|
{
|
|
auto uNow = this->wlist;
|
|
auto waiting = uNow >> 2u;
|
|
auto uNext = ((waiting + 1) << 2u) | 1;
|
|
|
|
if (AuAtomicCompareExchange(&this->wlist, uNext, uNow) == uNow)
|
|
{
|
|
break;
|
|
}
|
|
}
|
|
|
|
pNtWaitForKeyedEvent(gKeyedEventHandle, &this->wlist, 0, nullptr);
|
|
|
|
if (!CheckOut(bRet))
|
|
{
|
|
continue;
|
|
}
|
|
}
|
|
|
|
this->mutex_->Lock();
|
|
return bRet;
|
|
}
|
|
}
|
|
|
|
bool ConditionVariableImpl::CheckOut(bool &bRet)
|
|
{
|
|
auto uSignalNow = this->signalCount;
|
|
|
|
if (uSignalNow == 0)
|
|
{
|
|
return false;
|
|
}
|
|
|
|
while (!DoTryIf([=]()
|
|
{
|
|
auto uSignalNow = this->signalCount;
|
|
return AuAtomicCompareExchange(&this->signalCount, uSignalNow - 1, uSignalNow) == uSignalNow;
|
|
}))
|
|
{
|
|
auto uSignalValue = this->signalCount - 1;
|
|
|
|
while (!DoTryIf([=]()
|
|
{
|
|
auto uNow = this->wlist;
|
|
auto waiting = (uNow >> 2u);
|
|
auto uNext = waiting << 2u;
|
|
|
|
if (!uSignalValue)
|
|
{
|
|
uNext |= 1; // block after flush complete
|
|
}
|
|
|
|
return AuAtomicCompareExchange(&this->wlist, uNext, uNow) == uNow;
|
|
}));
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
void ConditionVariableImpl::Signal()
|
|
{
|
|
auto original = this->wlist;
|
|
auto expected = original;
|
|
expected = expected >> 2;
|
|
|
|
if (expected)
|
|
{
|
|
while (expected)
|
|
{
|
|
expected--;
|
|
|
|
AuAtomicAdd(&this->signalCount, 1u);
|
|
if (AuAtomicCompareExchange(&this->wlist, (expected << 2) /*intentional clear*/, original) == original)
|
|
{
|
|
pNtReleaseKeyedEvent(gKeyedEventHandle, &this->wlist, FALSE, nullptr);
|
|
return;
|
|
}
|
|
|
|
original = this->wlist;
|
|
expected = original >> 2;
|
|
}
|
|
}
|
|
}
|
|
|
|
void ConditionVariableImpl::Broadcast()
|
|
{
|
|
auto original = this->wlist;
|
|
auto expected = original;
|
|
expected = expected >> 2;
|
|
|
|
while (expected)
|
|
{
|
|
while (expected)
|
|
{
|
|
expected--;
|
|
|
|
AuAtomicAdd(&this->signalCount, 1u);
|
|
if (AuAtomicCompareExchange(&this->wlist, (expected << 2) /*intentional clear*/, original) == original)
|
|
{
|
|
pNtReleaseKeyedEvent(gKeyedEventHandle, &this->wlist, FALSE, nullptr);
|
|
}
|
|
|
|
original = this->wlist;
|
|
expected = original >> 2;
|
|
}
|
|
}
|
|
}
|
|
|
|
AUKN_SYM IConditionVariable *ConditionVariableNew(const AuSPtr<IConditionMutex> &pMutex)
|
|
{
|
|
return _new ConditionVariableImpl(pMutex);
|
|
}
|
|
|
|
AUKN_SYM void ConditionVariableRelease(IConditionVariable *pCV)
|
|
{
|
|
AuSafeDelete<ConditionVariableImpl *>(pCV);
|
|
}
|
|
}
|
|
|
|
#endif |