Jamie Reece Wilson
8944d8bd16
[+] IAsyncTimerCallback [+] ETickType.hpp [+] EWorkPriority.hpp [+] static IThreadPool::GetSelfIOProcessor() [+] static IThreadPool::GetSelfIONetInterface() [+] static IThreadPool::GetSelfIONetWorker() [-] [Source/Async/]AsyncRunnable.hpp [*] Begin encapsulating WorkerPId_t [*] WorkerPId_t no longer take strong pointers to prevent leaks given that these identifiers are copied and kept alive everywhere
712 lines
17 KiB
C++
712 lines
17 KiB
C++
/***
|
|
Copyright (C) 2021 J Reece Wilson (a/k/a "Reece"). All rights reserved.
|
|
|
|
File: WorkItem.cpp
|
|
Date: 2021-6-26
|
|
Author: Reece
|
|
***/
|
|
#include <Source/RuntimeInternal.hpp>
|
|
#include "Async.hpp"
|
|
#include "WorkItem.hpp"
|
|
#include "AsyncApp.hpp"
|
|
#include "AuSchedular.hpp"
|
|
#include "ThreadPool.hpp"
|
|
|
|
#if defined(AURORA_COMPILER_CLANG)
|
|
// warning: enumeration values 'kEnumCount' not handled in switch [-Wswitch
|
|
#pragma clang diagnostic ignored "-Wswitch"
|
|
// Yea, I don't give a shit.
|
|
#endif
|
|
|
|
namespace Aurora::Async
|
|
{
|
|
WorkItem::WorkItem(IThreadPoolInternal *owner,
|
|
const WorkerPId_t &worker,
|
|
const AuSPtr<IWorkItemHandler> &task) :
|
|
worker_(worker), task_(task), owner_(owner),
|
|
finishedEvent_(false, true, true)
|
|
{
|
|
this->uShutdownCookie = owner->uAtomicShutdownCookie;
|
|
|
|
if (auto pWorker = this->GetState())
|
|
{
|
|
this->optOtherCookie = pWorker->shutdown.uShutdownFence;
|
|
}
|
|
}
|
|
|
|
WorkItem::~WorkItem()
|
|
{
|
|
if (auto pIOWatch = AuExchange(this->pIOWatch, {}))
|
|
{
|
|
pIOWatch->StopWatch();
|
|
}
|
|
}
|
|
|
|
AuSPtr<IWorkItem> WorkItem::WaitFor(const AuSPtr<IWorkItem> &workItem)
|
|
{
|
|
bool status {};
|
|
|
|
{
|
|
auto dependency = AuReinterpretCast<WorkItem>(workItem);
|
|
|
|
AU_LOCK_GUARD(this->lock);
|
|
AU_LOCK_GUARD(dependency->lock);
|
|
|
|
if (dependency->HasFailed())
|
|
{
|
|
Fail();
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
|
|
if (!AuTryInsert(dependency->waiters_, AuSharedFromThis()))
|
|
{
|
|
Fail();
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
|
|
if (!AuTryInsert(this->waitOn_, workItem))
|
|
{
|
|
AuTryRemove(dependency->waiters_, AuSharedFromThis());
|
|
Fail();
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
}
|
|
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
|
|
bool WorkItem::WaitForLocked(const AuList<AuSPtr<IWorkItem>> &workItems)
|
|
{
|
|
for (auto &workItem : workItems)
|
|
{
|
|
if (!workItem)
|
|
{
|
|
SysPushErrorArg();
|
|
return false;
|
|
}
|
|
|
|
auto dependency = AuReinterpretCast<WorkItem>(workItem);
|
|
AU_LOCK_GUARD(dependency->lock);
|
|
|
|
if (dependency->HasFailed())
|
|
{
|
|
return false;
|
|
}
|
|
|
|
if (!AuTryInsert(dependency->waiters_, AuSharedFromThis()))
|
|
{
|
|
return false;
|
|
}
|
|
|
|
if (!AuTryInsert(this->waitOn_, workItem))
|
|
{
|
|
AuTryRemove(dependency->waiters_, AuSharedFromThis());
|
|
return false;
|
|
}
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
AuSPtr<IWorkItem> WorkItem::WaitFor(const AuList<AuSPtr<IWorkItem>> &workItems)
|
|
{
|
|
bool status {};
|
|
|
|
{
|
|
AU_LOCK_GUARD(this->lock);
|
|
status = WaitForLocked(workItems);
|
|
}
|
|
|
|
if (!status)
|
|
{
|
|
Fail();
|
|
}
|
|
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
|
|
AuSPtr<IWorkItem> WorkItem::Then(const AuSPtr<IWorkItem> &next)
|
|
{
|
|
auto that = AU_SHARED_FROM_THIS;
|
|
if (!next)
|
|
{
|
|
SysPushErrorArg();
|
|
return {};
|
|
}
|
|
next->WaitFor(that);
|
|
next->Dispatch();
|
|
return that;
|
|
}
|
|
|
|
AuSPtr<IWorkItem> WorkItem::SetSchedTimeNs(AuUInt64 ns)
|
|
{
|
|
this->dispatchTimeNs_ = Time::SteadyClockNS() + ns;
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
|
|
AuSPtr<IWorkItem> WorkItem::SetSchedTimeAbs(AuUInt32 ms)
|
|
{
|
|
return this->SetSchedTimeNsAbs(AuMSToNS<AuUInt64>(ms));
|
|
}
|
|
|
|
AuSPtr<IWorkItem> WorkItem::SetSchedTimeNsAbs(AuUInt64 ns)
|
|
{
|
|
auto uNow = AuTime::CurrentClockNS();
|
|
if (uNow > ns)
|
|
{
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
|
|
this->dispatchTimeNs_ = AuTime::SteadyClockNS() + (ns - uNow);
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
|
|
AuSPtr<IWorkItem> WorkItem::SetSchedSteadyTimeNsAbs(AuUInt64 ns)
|
|
{
|
|
this->dispatchTimeNs_ = ns;
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
|
|
AuSPtr<IWorkItem> WorkItem::SetSchedByLoopSource(const AuSPtr<IO::Loop::ILoopSource> &pLoopSource)
|
|
{
|
|
this->pIOWatchLS = pLoopSource;
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
|
|
AuSPtr<IWorkItem> WorkItem::SetSchedTime(AuUInt32 ms)
|
|
{
|
|
this->dispatchTimeNs_ = Time::SteadyClockNS() + AuMSToNS<AuUInt64>(ms);
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
|
|
AuSPtr<IWorkItem> WorkItem::AddDelayTime(AuUInt32 ms)
|
|
{
|
|
this->delayTimeNs_ += AuMSToNS<AuUInt64>(ms);
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
|
|
AuSPtr<IWorkItem> WorkItem::AddDelayTimeNs(AuUInt64 ns)
|
|
{
|
|
this->delayTimeNs_ += ns;
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
|
|
AuSPtr<IWorkItem> WorkItem::Dispatch()
|
|
{
|
|
DispatchEx(false);
|
|
return AU_SHARED_FROM_THIS;
|
|
}
|
|
|
|
void WorkItem::DispatchEx(bool check)
|
|
{
|
|
AU_LOCK_GUARD(this->lock);
|
|
|
|
DispatchExLocked(check);
|
|
}
|
|
|
|
void WorkItem::DispatchExLocked(bool check)
|
|
{
|
|
if (check)
|
|
{
|
|
if (this->dispatchPending_)
|
|
{
|
|
return;
|
|
}
|
|
}
|
|
|
|
if (HasFailed())
|
|
{
|
|
return;
|
|
}
|
|
|
|
for (auto itr = waitOn_.begin(); itr != waitOn_.end(); )
|
|
{
|
|
auto &waitable = *itr;
|
|
|
|
if (!waitable->HasFinished())
|
|
{
|
|
return;
|
|
}
|
|
|
|
itr = waitOn_.erase(itr);
|
|
}
|
|
|
|
this->dispatchPending_ = true;
|
|
|
|
if (this->pIOWatchLS)
|
|
{
|
|
if (!this->pIOWatchLS->IsSignaled())
|
|
{
|
|
if (!Schedule())
|
|
{
|
|
this->Fail();
|
|
}
|
|
return;
|
|
}
|
|
else
|
|
{
|
|
AuResetMember(this->pIOWatchLS);
|
|
}
|
|
}
|
|
|
|
if (Time::SteadyClockNS() < this->dispatchTimeNs_)
|
|
{
|
|
if (!Schedule())
|
|
{
|
|
this->Fail();
|
|
}
|
|
return;
|
|
}
|
|
|
|
if (auto delay = AuExchange(delayTimeNs_, {}))
|
|
{
|
|
this->dispatchTimeNs_ = delay + Time::SteadyClockNS();
|
|
if (!Schedule())
|
|
{
|
|
this->Fail();
|
|
}
|
|
return;
|
|
}
|
|
|
|
SendOff();
|
|
}
|
|
|
|
EWorkPriority WorkItem::GetPrio()
|
|
{
|
|
return this->prio_;
|
|
}
|
|
|
|
void WorkItem::SetPrio(EWorkPriority prio)
|
|
{
|
|
if (!EWorkPriorityIsValid(prio))
|
|
{
|
|
SysPushErrorArg();
|
|
return;
|
|
}
|
|
|
|
this->prio_ = prio;
|
|
}
|
|
|
|
void WorkItem::CancelAsync()
|
|
{
|
|
AU_LOCK_GUARD(this->lock2);
|
|
this->Fail();
|
|
}
|
|
|
|
AuOptional<AuPair<AuUInt32, AuUInt32>> WorkItem::QueryFences()
|
|
{
|
|
return AuPair<AuUInt32, AuUInt32>{ this->uShutdownCookie, this->optOtherCookie.ValueOr(0) };
|
|
}
|
|
|
|
bool WorkItem::CheckAlive()
|
|
{
|
|
if (this->owner_ &&
|
|
this->uShutdownCookie != this->owner_->uAtomicShutdownCookie)
|
|
{
|
|
this->Fail();
|
|
return false;
|
|
}
|
|
|
|
if (this->optOtherCookie)
|
|
{
|
|
if (auto pWorker = this->GetState())
|
|
{
|
|
if (this->optOtherCookie.value() != pWorker->shutdown.uShutdownFence)
|
|
{
|
|
this->Fail();
|
|
return false;
|
|
}
|
|
}
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
void WorkItem::DispatchTask(IWorkItemHandler::ProcessInfo &info)
|
|
{
|
|
if (!this->CheckAlive())
|
|
{
|
|
return;
|
|
}
|
|
|
|
if (this->task_)
|
|
{
|
|
try
|
|
{
|
|
this->task_->DispatchFrame(info);
|
|
}
|
|
catch (...)
|
|
{
|
|
// TODO: runtime config for root level exception caught behaviour
|
|
SysPushErrorCatch();
|
|
this->Fail();
|
|
return;
|
|
}
|
|
}
|
|
}
|
|
|
|
void WorkItem::Cleanup()
|
|
{
|
|
|
|
}
|
|
|
|
AuSPtr<ThreadState> WorkItem::GetState()
|
|
{
|
|
if (this->worker_.HasValue())
|
|
{
|
|
return this->owner_->GetThreadHandle(this->worker_.value());
|
|
}
|
|
else
|
|
{
|
|
return {};
|
|
}
|
|
}
|
|
|
|
void WorkItem::RunAsyncLocked2()
|
|
{
|
|
AU_LOCK_GUARD(this->lock2);
|
|
|
|
IWorkItemHandler::ProcessInfo info(true);
|
|
info.pool = this->owner_->ToThreadPool();
|
|
|
|
DispatchTask(info);
|
|
|
|
RunAsyncLocked2(info);
|
|
}
|
|
|
|
void WorkItem::RunAsync()
|
|
{
|
|
AU_LOCK_GUARD(this->lock2);
|
|
RunAsyncLocked();
|
|
}
|
|
|
|
void WorkItem::RunAsyncLocked()
|
|
{
|
|
IWorkItemHandler::ProcessInfo info(true);
|
|
info.pool = this->owner_->ToThreadPool();
|
|
|
|
DispatchTask(info);
|
|
|
|
AU_LOCK_GUARD(this->lock);
|
|
RunAsyncLocked2(info);
|
|
}
|
|
|
|
void WorkItem::RunAsyncLocked2(const IWorkItemHandler::ProcessInfo &info)
|
|
{
|
|
|
|
switch (info.type)
|
|
{
|
|
case ETickType::eFinished:
|
|
{
|
|
|
|
// do nothing
|
|
break;
|
|
}
|
|
case ETickType::eEnumInvalid:
|
|
{
|
|
SysPanic("Handle Invalid");
|
|
break;
|
|
}
|
|
case ETickType::eSchedule:
|
|
{
|
|
if (info.reschedMs)
|
|
{
|
|
SetSchedTime(info.reschedMs);
|
|
}
|
|
else if (info.reschedNs)
|
|
{
|
|
SetSchedTimeNs(info.reschedNs);
|
|
}
|
|
else if (info.reschedClockAbsMs)
|
|
{
|
|
SetSchedTimeAbs(info.reschedClockAbsMs);
|
|
}
|
|
else if (info.reschedClockAbsNs)
|
|
{
|
|
SetSchedTimeNsAbs(info.reschedClockAbsNs);
|
|
}
|
|
else if (info.reschedSteadyClockAbsNs)
|
|
{
|
|
SetSchedSteadyTimeNsAbs(info.reschedSteadyClockAbsNs);
|
|
}
|
|
else if (info.pLoopSource)
|
|
{
|
|
SetSchedByLoopSource(info.pLoopSource);
|
|
}
|
|
|
|
if (!WaitForLocked(info.waitFor))
|
|
{
|
|
this->Fail();
|
|
}
|
|
}
|
|
[[fallthrough]];
|
|
case ETickType::eRerun:
|
|
{
|
|
DispatchExLocked(false);
|
|
return;
|
|
}
|
|
case ETickType::eFailed:
|
|
{
|
|
this->Fail();
|
|
return;
|
|
}
|
|
}
|
|
|
|
this->finished = true;
|
|
|
|
if (this->finishedEvent_)
|
|
{
|
|
this->finishedEvent_->Set();
|
|
}
|
|
|
|
for (auto &waiter : AuExchange(this->waiters_, {}))
|
|
{
|
|
AuReinterpretCast<WorkItem>(waiter)->DispatchExLocked(true);
|
|
}
|
|
|
|
this->waitOn_.clear();
|
|
|
|
if (auto pIOWatch = AuExchange(this->pIOWatch, {}))
|
|
{
|
|
pIOWatch->StopWatch();
|
|
}
|
|
|
|
this->Cleanup();
|
|
|
|
AuResetMember(this->pIOWatchLS);
|
|
}
|
|
|
|
void WorkItem::Fail()
|
|
{
|
|
failed = true;
|
|
|
|
if (auto pIOWatch = AuExchange(this->pIOWatch, {}))
|
|
{
|
|
pIOWatch->StopWatch();
|
|
}
|
|
|
|
AuResetMember(this->pIOWatchLS);
|
|
|
|
if (auto task_ = AuExchange(this->task_, {}))
|
|
{
|
|
task_->OnFailure();
|
|
}
|
|
|
|
for (auto &waiter : this->waiters_)
|
|
{
|
|
AuReinterpretCast<WorkItem>(waiter)->Fail();
|
|
}
|
|
|
|
this->waiters_.clear();
|
|
this->waitOn_.clear();
|
|
|
|
this->Cleanup();
|
|
|
|
if (this->finishedEvent_)
|
|
{
|
|
this->finishedEvent_->Set();
|
|
}
|
|
}
|
|
|
|
bool WorkItem::BlockUntilComplete()
|
|
{
|
|
if (!this->worker_)
|
|
{
|
|
this->finishedEvent_->Wait();
|
|
return true;
|
|
}
|
|
|
|
struct WaitProxy : Threading::IWaitable
|
|
{
|
|
AuThreadPrimitives::IEvent *pEvent {};
|
|
WaitProxy(AuThreadPrimitives::IEvent *pEvent) :
|
|
pEvent(pEvent)
|
|
{
|
|
|
|
}
|
|
bool HasOSHandle(AuMach &mach) override
|
|
{
|
|
return this->pEvent->HasOSHandle(mach);
|
|
}
|
|
bool HasLockImplementation() override
|
|
{
|
|
return this->pEvent->HasLockImplementation();
|
|
}
|
|
void Lock() override
|
|
{
|
|
return this->pEvent->Lock();
|
|
}
|
|
bool LockMS(AuUInt64 qwRelTimeoutInMs) override
|
|
{
|
|
return this->pEvent->LockMS(qwRelTimeoutInMs);
|
|
}
|
|
bool LockNS(AuUInt64 qwRelTimeoutInNs) override
|
|
{
|
|
return this->pEvent->LockNS(qwRelTimeoutInNs);
|
|
}
|
|
bool LockAbsMS(AuUInt64 qwAbsTimeoutInMs) override
|
|
{
|
|
return this->pEvent->LockAbsMS(qwAbsTimeoutInMs);
|
|
}
|
|
bool LockAbsNS(AuUInt64 qwAbsTimeoutInNs) override
|
|
{
|
|
return this->pEvent->LockAbsNS(qwAbsTimeoutInNs);
|
|
}
|
|
bool TryLock() override
|
|
{
|
|
return this->pEvent->TryLock();
|
|
}
|
|
void Unlock() override
|
|
{
|
|
// PATCH: ensure release notifications set the event!
|
|
this->pEvent->Set();
|
|
}
|
|
} waitProxy(this->finishedEvent_.AsPointer());
|
|
|
|
return this->owner_->WaitFor(this->worker_.value(),
|
|
AuUnsafeRaiiToShared(&waitProxy),
|
|
0 /*forever*/);
|
|
}
|
|
|
|
bool WorkItem::HasFinished()
|
|
{
|
|
return this->finished;
|
|
}
|
|
|
|
void WorkItem::Cancel()
|
|
{
|
|
AU_LOCK_GUARD(this->lock2);
|
|
Fail();
|
|
}
|
|
|
|
bool WorkItem::HasFailed()
|
|
{
|
|
return this->failed;
|
|
}
|
|
|
|
bool WorkItem::Schedule()
|
|
{
|
|
if (auto pLoopSource = this->pIOWatchLS)
|
|
{
|
|
if (this->pIOWatch)
|
|
{
|
|
return true;
|
|
}
|
|
|
|
auto pState = this->GetState();
|
|
if (!pState)
|
|
{
|
|
return false;
|
|
}
|
|
|
|
auto pIOProcessor = pState->singletons.GetIOProcessor(this->worker_.value());
|
|
if (!pIOProcessor)
|
|
{
|
|
return false;
|
|
}
|
|
|
|
this->pIOWatch = pIOProcessor->StartSimpleLSWatch(pLoopSource, AuMakeSharedThrow<AuIO::IIOSimpleEventListenerFunctional>([=]()
|
|
{
|
|
this->Dispatch();
|
|
}, [=]()
|
|
{
|
|
this->Dispatch();
|
|
}, [=]()
|
|
{
|
|
this->Dispatch();
|
|
}));
|
|
|
|
if (!this->pIOWatch)
|
|
{
|
|
return false;
|
|
}
|
|
|
|
return true;
|
|
}
|
|
else
|
|
{
|
|
return Async::Schedule(this->dispatchTimeNs_, this->owner_, this->worker_.value(), AuSharedFromThis());
|
|
}
|
|
}
|
|
|
|
void WorkItem::SendOff()
|
|
{
|
|
if (!this->worker_)
|
|
{
|
|
// If we aren't actually calling a task interface, we may as well just dispatch objects waiting on us from here
|
|
RunAsyncLocked2();
|
|
}
|
|
else
|
|
{
|
|
this->owner_->Run(this->worker_.value(), AuSharedFromThis());
|
|
}
|
|
}
|
|
|
|
void *WorkItem::GetPrivateData()
|
|
{
|
|
if (!this->task_)
|
|
{
|
|
return nullptr;
|
|
}
|
|
|
|
return this->task_->GetPrivateData();
|
|
}
|
|
|
|
inline auto ToInternal(const AuSPtr<IThreadPool> &pool)
|
|
{
|
|
return AuStaticPointerCast<ThreadPool>(pool);
|
|
}
|
|
|
|
AUKN_SYM AuSPtr<IWorkItem> NewWorkItem(const WorkerId_t &worker, const AuSPtr<IWorkItemHandler> &task)
|
|
{
|
|
AU_DEBUG_MEMCRUNCH;
|
|
|
|
if (!task)
|
|
{
|
|
SysPushErrorArg("WorkItem has null task. Running out of memory?");
|
|
return {};
|
|
}
|
|
|
|
auto pWorker = GetCurrentWorkerPId().GetPool();
|
|
if (!pWorker)
|
|
{
|
|
pWorker = AuUnsafeRaiiToShared(static_cast<IAsyncApp *>(gAsyncApp));
|
|
}
|
|
|
|
return AuMakeShared<WorkItem>(ToInternal(pWorker).get(), WorkerPId_t { pWorker , worker }, task);
|
|
}
|
|
|
|
AUKN_SYM AuSPtr<IWorkItem> NewWorkItem(const WorkerPId_t &worker, const AuSPtr<IWorkItemHandler> &task)
|
|
{
|
|
AU_DEBUG_MEMCRUNCH;
|
|
|
|
if (!task)
|
|
{
|
|
SysPushErrorArg("WorkItem has null task. Running out of memory?");
|
|
return {};
|
|
}
|
|
|
|
auto pWorker = worker.GetPool();
|
|
if (!pWorker)
|
|
{
|
|
pWorker = GetCurrentWorkerPId().GetPool();
|
|
}
|
|
|
|
if (!pWorker)
|
|
{
|
|
pWorker = AuUnsafeRaiiToShared(static_cast<IAsyncApp *>(gAsyncApp));
|
|
}
|
|
|
|
return AuMakeSharedThrow<WorkItem>(ToInternal(pWorker).get(), worker, task);
|
|
}
|
|
|
|
AUKN_SYM AuSPtr<IWorkItem> NewFence()
|
|
{
|
|
auto pWorker = GetCurrentWorkerPId().GetPool();
|
|
if (!pWorker)
|
|
{
|
|
pWorker = AuUnsafeRaiiToShared(static_cast<IAsyncApp *>(gAsyncApp));
|
|
}
|
|
return AuMakeShared<WorkItem>((IThreadPoolInternal *)ToInternal(pWorker).get(), WorkerPId_t {}, AuSPtr<IWorkItemHandler>{});
|
|
}
|
|
} |