2024-04-21 17:08:10 -04:00
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include "general.hpp"
|
|
|
|
#include "MiniFunction.hpp"
|
|
|
|
#include "../loader/Event.hpp"
|
|
|
|
#include "../loader/Loader.hpp"
|
|
|
|
|
|
|
|
namespace geode {
|
|
|
|
template <std::move_constructible T, std::move_constructible P = std::monostate>
|
|
|
|
class [[nodiscard]] Task final {
|
|
|
|
public:
|
|
|
|
struct [[nodiscard]] Cancel final {};
|
|
|
|
|
|
|
|
class Result final {
|
|
|
|
private:
|
|
|
|
std::variant<T, Cancel> m_value;
|
|
|
|
|
|
|
|
std::optional<T> getValue() && {
|
|
|
|
if (m_value.index() == 0) {
|
|
|
|
return std::optional(std::move(std::get<0>(std::move(m_value))));
|
|
|
|
}
|
|
|
|
return std::nullopt;
|
|
|
|
}
|
|
|
|
bool isCancelled() const {
|
|
|
|
return m_value.index() == 1;
|
|
|
|
}
|
2024-04-22 06:34:57 -04:00
|
|
|
|
2024-04-22 06:39:47 -04:00
|
|
|
template <std::move_constructible T2, std::move_constructible P2>
|
2024-04-22 06:34:57 -04:00
|
|
|
friend class Task;
|
|
|
|
|
|
|
|
public:
|
|
|
|
Result(Result&&) = default;
|
|
|
|
Result(Result const&) = delete;
|
|
|
|
Result(T&& value) : m_value(std::in_place_index<0>, std::forward<T>(value)) {}
|
|
|
|
Result(Cancel const&) : m_value(std::in_place_index<1>, Cancel()) {}
|
|
|
|
|
|
|
|
template <class V>
|
|
|
|
Result(V&& value) requires std::is_constructible_v<T, V&&>
|
|
|
|
: m_value(std::in_place_index<0>, std::forward<V>(value))
|
|
|
|
{}
|
2024-04-21 17:08:10 -04:00
|
|
|
};
|
|
|
|
|
|
|
|
public:
|
|
|
|
enum class Status {
|
|
|
|
Pending,
|
|
|
|
Finished,
|
|
|
|
Cancelled,
|
|
|
|
};
|
|
|
|
|
|
|
|
class Handle final {
|
|
|
|
private:
|
|
|
|
std::recursive_mutex m_mutex;
|
|
|
|
Status m_status = Status::Pending;
|
|
|
|
std::optional<T> m_resultValue;
|
|
|
|
bool m_finalEventPosted = false;
|
|
|
|
std::unique_ptr<void, void(*)(void*)> m_mapListener = { nullptr, +[](void*) {} };
|
2024-04-22 11:16:26 -04:00
|
|
|
std::string m_name;
|
2024-04-21 17:08:10 -04:00
|
|
|
|
|
|
|
class PrivateMarker final {};
|
|
|
|
|
2024-04-22 11:16:26 -04:00
|
|
|
static std::shared_ptr<Handle> create(std::string const& name) {
|
|
|
|
return std::make_shared<Handle>(PrivateMarker(), name);
|
2024-04-21 17:08:10 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
bool is(Status status) {
|
|
|
|
std::unique_lock<std::recursive_mutex> lock(m_mutex);
|
|
|
|
return m_status == status;
|
|
|
|
}
|
|
|
|
|
2024-04-22 06:39:47 -04:00
|
|
|
template <std::move_constructible T2, std::move_constructible P2>
|
2024-04-21 17:08:10 -04:00
|
|
|
friend class Task;
|
|
|
|
|
|
|
|
public:
|
2024-04-22 11:16:26 -04:00
|
|
|
Handle(PrivateMarker, std::string const& name) : m_name(name) {}
|
2024-04-21 17:08:10 -04:00
|
|
|
};
|
|
|
|
|
|
|
|
class Event final : public geode::Event {
|
|
|
|
private:
|
|
|
|
std::shared_ptr<Handle> m_handle;
|
|
|
|
std::variant<T*, P*, Cancel> m_value;
|
|
|
|
EventListenerProtocol* m_for = nullptr;
|
|
|
|
|
|
|
|
Event(std::shared_ptr<Handle> handle, std::variant<T*, P*, Cancel>&& value)
|
|
|
|
: m_handle(handle), m_value(std::move(value)) {}
|
|
|
|
|
|
|
|
static Event createFinished(std::shared_ptr<Handle> handle, T* value) {
|
|
|
|
return Event(handle, std::variant<T*, P*, Cancel>(std::in_place_index<0>, value));
|
|
|
|
}
|
|
|
|
static Event createProgressed(std::shared_ptr<Handle> handle, P* value) {
|
|
|
|
return Event(handle, std::variant<T*, P*, Cancel>(std::in_place_index<1>, value));
|
|
|
|
}
|
|
|
|
static Event createCancelled(std::shared_ptr<Handle> handle) {
|
|
|
|
return Event(handle, std::variant<T*, P*, Cancel>(std::in_place_index<2>, Cancel()));
|
|
|
|
}
|
|
|
|
|
2024-04-22 06:39:47 -04:00
|
|
|
template <std::move_constructible T2, std::move_constructible P2>
|
2024-04-21 17:08:10 -04:00
|
|
|
friend class Task;
|
|
|
|
|
|
|
|
public:
|
|
|
|
T* getValue() {
|
|
|
|
return m_value.index() == 0 ? std::get<0>(m_value) : nullptr;
|
|
|
|
}
|
|
|
|
T const* getValue() const {
|
|
|
|
return m_value.index() == 0 ? std::get<0>(m_value) : nullptr;
|
|
|
|
}
|
|
|
|
P* getProgress() {
|
|
|
|
return m_value.index() == 1 ? std::get<1>(m_value) : nullptr;
|
|
|
|
}
|
|
|
|
P const* getProgress() const {
|
|
|
|
return m_value.index() == 1 ? std::get<1>(m_value) : nullptr;
|
|
|
|
}
|
|
|
|
bool isCancelled() const {
|
|
|
|
return m_value.index() == 2;
|
|
|
|
}
|
|
|
|
void cancel() {
|
|
|
|
Task::cancel(m_handle);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2024-04-22 06:34:57 -04:00
|
|
|
using Value = T;
|
|
|
|
using Progress = P;
|
|
|
|
using PostResult = utils::MiniFunction<void(Result)>;
|
2024-04-21 17:08:10 -04:00
|
|
|
using PostProgress = utils::MiniFunction<void(P)>;
|
|
|
|
using HasBeenCancelled = utils::MiniFunction<bool()>;
|
|
|
|
using Run = utils::MiniFunction<Result(PostProgress, HasBeenCancelled)>;
|
2024-04-22 06:34:57 -04:00
|
|
|
using RunWithCallback = utils::MiniFunction<void(PostResult, PostProgress, HasBeenCancelled)>;
|
2024-04-21 17:08:10 -04:00
|
|
|
|
|
|
|
using Callback = void(Event*);
|
|
|
|
|
|
|
|
private:
|
|
|
|
EventListenerProtocol* m_listener = nullptr;
|
|
|
|
std::shared_ptr<Handle> m_handle;
|
|
|
|
|
|
|
|
Task(std::shared_ptr<Handle> handle) : m_handle(handle) {}
|
|
|
|
|
|
|
|
static void finish(std::shared_ptr<Handle> handle, T&& value) {
|
|
|
|
if (!handle) return;
|
|
|
|
std::unique_lock<std::recursive_mutex> lock(handle->m_mutex);
|
|
|
|
if (handle->m_status == Status::Pending) {
|
|
|
|
handle->m_status = Status::Finished;
|
2024-04-22 06:34:57 -04:00
|
|
|
handle->m_resultValue.emplace(std::move(value));
|
2024-04-21 17:08:10 -04:00
|
|
|
Loader::get()->queueInMainThread([handle, value = &*handle->m_resultValue]() mutable {
|
|
|
|
Event::createFinished(handle, value).post();
|
|
|
|
std::unique_lock<std::recursive_mutex> lock(handle->m_mutex);
|
|
|
|
handle->m_finalEventPosted = true;
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
static void progress(std::shared_ptr<Handle> handle, P&& value) {
|
|
|
|
if (!handle) return;
|
|
|
|
std::unique_lock<std::recursive_mutex> lock(handle->m_mutex);
|
|
|
|
if (handle->m_status == Status::Pending) {
|
|
|
|
Loader::get()->queueInMainThread([handle, value = std::move(value)]() mutable {
|
|
|
|
Event::createProgressed(handle, &value).post();
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
static void cancel(std::shared_ptr<Handle> handle) {
|
|
|
|
if (!handle) return;
|
|
|
|
std::unique_lock<std::recursive_mutex> lock(handle->m_mutex);
|
|
|
|
if (handle->m_status == Status::Pending) {
|
|
|
|
handle->m_status = Status::Cancelled;
|
|
|
|
Loader::get()->queueInMainThread([handle]() mutable {
|
|
|
|
Event::createCancelled(handle).post();
|
|
|
|
std::unique_lock<std::recursive_mutex> lock(handle->m_mutex);
|
|
|
|
handle->m_finalEventPosted = true;
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template <std::move_constructible T2, std::move_constructible P2>
|
|
|
|
friend class Task;
|
|
|
|
|
|
|
|
public:
|
2024-04-22 11:16:26 -04:00
|
|
|
Task() : m_handle(nullptr) {}
|
2024-04-21 17:08:10 -04:00
|
|
|
|
2024-04-22 11:16:26 -04:00
|
|
|
Task(Task const& other) : m_handle(other.m_handle) {}
|
|
|
|
Task(Task&& other) : m_handle(std::move(other.m_handle)) {}
|
2024-04-21 17:08:10 -04:00
|
|
|
Task& operator=(Task const& other) {
|
|
|
|
m_handle = other.m_handle;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
Task& operator=(Task&& other) {
|
|
|
|
m_handle = std::move(other.m_handle);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
2024-04-22 06:34:57 -04:00
|
|
|
bool operator==(Task const& other) const {
|
|
|
|
return m_handle == other.m_handle;
|
|
|
|
}
|
|
|
|
bool operator!=(Task const& other) const {
|
|
|
|
return m_handle != other.m_handle;
|
|
|
|
}
|
|
|
|
bool operator<(Task const& other) const {
|
|
|
|
return m_handle < other.m_handle;
|
|
|
|
}
|
|
|
|
bool operator<=(Task const& other) const {
|
|
|
|
return m_handle <= other.m_handle;
|
|
|
|
}
|
|
|
|
bool operator>(Task const& other) const {
|
|
|
|
return m_handle > other.m_handle;
|
|
|
|
}
|
|
|
|
bool operator>=(Task const& other) const {
|
|
|
|
return m_handle >= other.m_handle;
|
|
|
|
}
|
|
|
|
|
2024-04-21 17:08:10 -04:00
|
|
|
T* getFinishedValue() {
|
|
|
|
if (m_handle && m_handle->m_resultValue) {
|
|
|
|
return &*m_handle->m_resultValue;
|
|
|
|
}
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
void cancel() {
|
|
|
|
Task::cancel(m_handle);
|
|
|
|
}
|
2024-04-23 17:09:39 -04:00
|
|
|
bool isPending() const {
|
2024-04-21 17:08:10 -04:00
|
|
|
return m_handle && m_handle->is(Status::Pending);
|
|
|
|
}
|
2024-04-23 17:09:39 -04:00
|
|
|
bool isFinished() const {
|
2024-04-21 17:08:10 -04:00
|
|
|
return m_handle && m_handle->is(Status::Finished);
|
|
|
|
}
|
2024-04-23 17:09:39 -04:00
|
|
|
bool isCancelled() const {
|
2024-04-21 17:08:10 -04:00
|
|
|
return m_handle && m_handle->is(Status::Cancelled);
|
|
|
|
}
|
2024-04-23 17:09:39 -04:00
|
|
|
bool isNull() const {
|
|
|
|
return m_handle == nullptr;
|
|
|
|
}
|
2024-04-21 17:08:10 -04:00
|
|
|
|
2024-04-22 11:16:26 -04:00
|
|
|
static Task immediate(T value, std::string const& name = "<Immediate Task>") {
|
|
|
|
auto task = Task(Handle::create(name));
|
2024-04-21 17:08:10 -04:00
|
|
|
Task::finish(task.m_handle, std::move(value));
|
|
|
|
return task;
|
|
|
|
}
|
2024-04-22 11:16:26 -04:00
|
|
|
static Task run(Run&& body, std::string const& name = "<Task>") {
|
|
|
|
auto task = Task(Handle::create(name));
|
|
|
|
std::thread([handle = std::weak_ptr(task.m_handle), name, body = std::move(body)] {
|
|
|
|
utils::thread::setName(fmt::format("Task '{}'", name));
|
2024-04-21 17:08:10 -04:00
|
|
|
auto result = body(
|
|
|
|
[handle](P progress) {
|
|
|
|
Task::progress(handle.lock(), std::move(progress));
|
|
|
|
},
|
|
|
|
[handle]() -> bool {
|
|
|
|
// The task has been cancelled if the user has explicitly cancelled it,
|
|
|
|
// or if there is no one listening anymore
|
|
|
|
auto lock = handle.lock();
|
|
|
|
return !(lock && lock->is(Status::Pending));
|
|
|
|
}
|
|
|
|
);
|
|
|
|
if (result.isCancelled()) {
|
|
|
|
Task::cancel(handle.lock());
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
Task::finish(handle.lock(), std::move(*std::move(result).getValue()));
|
|
|
|
}
|
|
|
|
}).detach();
|
|
|
|
return task;
|
|
|
|
}
|
2024-04-22 11:16:26 -04:00
|
|
|
static Task runWithCallback(RunWithCallback&& body, std::string const& name = "<Callback Task>") {
|
|
|
|
auto task = Task(Handle::create(name));
|
|
|
|
std::thread([handle = std::weak_ptr(task.m_handle), name, body = std::move(body)] {
|
|
|
|
utils::thread::setName(fmt::format("Task '{}'", name));
|
2024-04-22 06:34:57 -04:00
|
|
|
body(
|
|
|
|
[handle](Result result) {
|
|
|
|
if (result.isCancelled()) {
|
|
|
|
Task::cancel(handle.lock());
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
Task::finish(handle.lock(), std::move(*std::move(result).getValue()));
|
|
|
|
}
|
|
|
|
},
|
|
|
|
[handle](P progress) {
|
|
|
|
Task::progress(handle.lock(), std::move(progress));
|
|
|
|
},
|
|
|
|
[handle]() -> bool {
|
|
|
|
// The task has been cancelled if the user has explicitly cancelled it,
|
|
|
|
// or if there is no one listening anymore
|
|
|
|
auto lock = handle.lock();
|
|
|
|
return !(lock && lock->is(Status::Pending));
|
|
|
|
}
|
|
|
|
);
|
|
|
|
}).detach();
|
|
|
|
return task;
|
|
|
|
}
|
2024-04-21 17:08:10 -04:00
|
|
|
|
|
|
|
template <class ResultMapper, class ProgressMapper>
|
2024-04-22 11:16:26 -04:00
|
|
|
auto map(ResultMapper&& resultMapper, ProgressMapper&& progressMapper, std::string const& name = "<Mapping Task>") {
|
2024-04-21 17:08:10 -04:00
|
|
|
using T2 = decltype(resultMapper(std::declval<T*>()));
|
|
|
|
using P2 = decltype(progressMapper(std::declval<P*>()));
|
|
|
|
|
2024-04-22 11:16:26 -04:00
|
|
|
auto task = Task<T2, P2>(Task<T2, P2>::Handle::create(fmt::format("{} <= {}", name, m_handle->m_name)));
|
2024-04-21 17:08:10 -04:00
|
|
|
|
|
|
|
// Lock the current task until we have managed to create our new one
|
|
|
|
std::unique_lock<std::recursive_mutex> lock(m_handle->m_mutex);
|
|
|
|
|
|
|
|
// If the current task is cancelled, cancel the new one immediately
|
|
|
|
if (m_handle->m_status == Status::Cancelled) {
|
|
|
|
Task<T2, P2>::cancel(task.m_handle);
|
|
|
|
}
|
|
|
|
// If the current task is finished, immediately map the value and post that
|
|
|
|
else if (m_handle->m_status == Status::Finished) {
|
2024-04-22 06:34:57 -04:00
|
|
|
Task<T2, P2>::finish(task.m_handle, std::move(resultMapper(&*m_handle->m_resultValue)));
|
2024-04-21 17:08:10 -04:00
|
|
|
}
|
|
|
|
// Otherwise start listening and waiting for the current task to finish
|
|
|
|
else {
|
|
|
|
task.m_handle->m_mapListener = std::unique_ptr<void, void(*)(void*)>(
|
|
|
|
static_cast<void*>(new EventListener<Task>(
|
|
|
|
[
|
|
|
|
handle = std::weak_ptr(task.m_handle),
|
|
|
|
resultMapper = std::move(resultMapper),
|
|
|
|
progressMapper = std::move(progressMapper)
|
|
|
|
](Event* event) {
|
|
|
|
if (auto v = event->getValue()) {
|
2024-04-22 06:34:57 -04:00
|
|
|
Task<T2, P2>::finish(handle.lock(), std::move(resultMapper(v)));
|
2024-04-21 17:08:10 -04:00
|
|
|
}
|
|
|
|
else if (auto p = event->getProgress()) {
|
2024-04-22 06:34:57 -04:00
|
|
|
Task<T2, P2>::progress(handle.lock(), std::move(progressMapper(p)));
|
2024-04-21 17:08:10 -04:00
|
|
|
}
|
|
|
|
else if (event->isCancelled()) {
|
|
|
|
Task<T2, P2>::cancel(handle.lock());
|
|
|
|
}
|
|
|
|
},
|
|
|
|
*this
|
|
|
|
)),
|
|
|
|
+[](void* ptr) {
|
|
|
|
delete static_cast<EventListener<Task>*>(ptr);
|
|
|
|
}
|
|
|
|
);
|
|
|
|
}
|
|
|
|
return task;
|
|
|
|
}
|
|
|
|
|
2024-04-22 06:34:57 -04:00
|
|
|
template <class ResultMapper>
|
|
|
|
requires std::copy_constructible<P>
|
2024-04-22 11:16:26 -04:00
|
|
|
auto map(ResultMapper&& resultMapper, std::string const& name = "<Mapping Task>") {
|
|
|
|
return this->map(std::move(resultMapper), +[](P* p) -> P { return *p; }, name);
|
2024-04-22 06:34:57 -04:00
|
|
|
}
|
|
|
|
|
2024-04-21 17:08:10 -04:00
|
|
|
ListenerResult handle(utils::MiniFunction<Callback> fn, Event* e) {
|
|
|
|
if (e->m_handle == m_handle && (!e->m_for || e->m_for == m_listener)) {
|
|
|
|
fn(e);
|
|
|
|
}
|
|
|
|
return ListenerResult::Propagate;
|
|
|
|
}
|
|
|
|
|
|
|
|
// todo: i believe alk wanted tasks to be in their own pool
|
|
|
|
EventListenerPool* getPool() const {
|
|
|
|
return DefaultEventListenerPool::get();
|
|
|
|
}
|
|
|
|
|
|
|
|
void setListener(EventListenerProtocol* listener) {
|
|
|
|
m_listener = listener;
|
|
|
|
|
|
|
|
if (!m_handle) return;
|
|
|
|
|
|
|
|
// If this task has already been finished and the finish event
|
|
|
|
// isn't pending in the event queue, immediately queue up a
|
|
|
|
// finish event for this listener
|
|
|
|
std::unique_lock<std::recursive_mutex> lock(m_handle->m_mutex);
|
|
|
|
if (m_handle->m_finalEventPosted) {
|
|
|
|
if (m_handle->m_status == Status::Finished) {
|
|
|
|
Loader::get()->queueInMainThread([handle = m_handle, listener = m_listener, value = &*m_handle->m_resultValue]() {
|
|
|
|
auto ev = Event::createFinished(handle, value);
|
|
|
|
ev.m_for = listener;
|
|
|
|
ev.post();
|
|
|
|
});
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
Loader::get()->queueInMainThread([handle = m_handle, listener = m_listener]() {
|
|
|
|
auto ev = Event::createCancelled(handle);
|
|
|
|
ev.m_for = listener;
|
|
|
|
ev.post();
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
EventListenerProtocol* getListener() const {
|
|
|
|
return m_listener;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
static_assert(is_filter<Task<int>>, "The Task class must be a valid event filter!");
|
|
|
|
}
|