2024-04-21 17:08:10 -04:00
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include "general.hpp"
|
|
|
|
#include "MiniFunction.hpp"
|
|
|
|
#include "../loader/Event.hpp"
|
|
|
|
#include "../loader/Loader.hpp"
|
|
|
|
|
2024-04-29 03:54:02 -04:00
|
|
|
namespace geode {
|
|
|
|
/**
|
|
|
|
* Tasks represent an asynchronous operation that will be finished at some
|
|
|
|
* unknown point in the future. Tasks can report their progress, and will
|
|
|
|
* end either through finishing into a value, or due to being cancelled.
|
|
|
|
* Tasks are designed to provide a thread-safe general purpose abstraction
|
|
|
|
* for dealing with any asynchronous operations.
|
|
|
|
* The `Task` class satisfies `EventFilter` and as such is listened
|
|
|
|
* to using the Geode events system; tasks may have multiple listeners, and
|
|
|
|
* even if a listener is attached after the Task has finished it will
|
|
|
|
* receive the finished value.
|
|
|
|
* Tasks are a very cheap and tiny struct that just have a reference to
|
|
|
|
* a task Handle; as such, Tasks may (and should) be copied around without
|
|
|
|
* worry. It should be noted that a Task never owns itself - the listener(s)
|
|
|
|
* of a Task are expected to hold an instance of the Task for as long as
|
|
|
|
* they intend to listen to it. Usually this is done via just setting
|
|
|
|
* the Task as the filter to an `EventListener`, as the `EventListener`
|
|
|
|
* manages the lifetime of its filter
|
|
|
|
* Task itself does not carry a notion of fallibility aside from
|
|
|
|
* cancellation; it is customary to use the `Result` type in Tasks that
|
|
|
|
* might finish to a failure value.
|
|
|
|
* Once a Task has finished or has been cancelled, it can no longer be
|
|
|
|
* revived
|
|
|
|
* @tparam T The type the Task will eventually finish to. This type must be
|
|
|
|
* move-constructible; though as there is no way to move the value out
|
|
|
|
* of the Task (because of potentially multiple listeners), one
|
|
|
|
* should ensure they can reasonably copy the value out in some form if they
|
|
|
|
* wish to gain ownership of it after the Task is finished
|
|
|
|
* @tparam P The type of the progress values the Task (may) post
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-21 17:08:10 -04:00
|
|
|
template <std::move_constructible T, std::move_constructible P = std::monostate>
|
|
|
|
class [[nodiscard]] Task final {
|
2024-04-29 03:54:02 -04:00
|
|
|
public:
|
|
|
|
/**
|
|
|
|
* A struct used for cancelling Tasks; Tasks may return an instance of
|
|
|
|
* this struct to cancel themselves, or to mark they have handled
|
|
|
|
* outside cancellation
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-21 17:08:10 -04:00
|
|
|
struct [[nodiscard]] Cancel final {};
|
2024-04-29 03:54:02 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* A simple holder for the result of this task; holds either the finished
|
|
|
|
* value or a mark that the Task was cancelled. The Task body must return
|
|
|
|
* this type (though it is implicitly convertible from T and Cancel
|
|
|
|
* so the programmer rarely needs to explicitly name it)
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-21 17:08:10 -04:00
|
|
|
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()) {}
|
2024-04-29 03:54:02 -04:00
|
|
|
|
2024-04-28 18:13:32 -04:00
|
|
|
// Allow constructing Results using anything that can be used to construct T
|
2024-04-22 06:34:57 -04:00
|
|
|
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
|
|
|
};
|
|
|
|
|
2024-04-28 18:13:32 -04:00
|
|
|
/// The current status of a Task
|
2024-04-29 03:54:02 -04:00
|
|
|
enum class Status {
|
2024-04-28 18:13:32 -04:00
|
|
|
/// The task is still running or waiting to start
|
2024-04-29 03:54:02 -04:00
|
|
|
Pending,
|
2024-04-28 18:13:32 -04:00
|
|
|
/// The task has succesfully finished
|
2024-04-29 03:54:02 -04:00
|
|
|
Finished,
|
2024-04-28 18:13:32 -04:00
|
|
|
/// The task has been cancelled
|
2024-04-21 17:08:10 -04:00
|
|
|
Cancelled,
|
|
|
|
};
|
2024-04-29 03:54:02 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* A handle to a running Task. This is what actually keeps track of
|
|
|
|
* the state of the current task; the `Task` class is simply an owning
|
|
|
|
* reference & interface to one of these
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-21 17:08:10 -04:00
|
|
|
class Handle final {
|
|
|
|
private:
|
2024-04-25 10:50:00 -04:00
|
|
|
// Handles may contain extra data, for example for holding ownership
|
|
|
|
// of other Tasks for `Task::map` and `Task::all`. This struct
|
|
|
|
// provides type erasure for that extra data
|
|
|
|
struct ExtraData final {
|
|
|
|
// Pointer to the owned extra data
|
|
|
|
void* ptr;
|
|
|
|
// Pointer to a function that deletes that extra data
|
|
|
|
// The function MUST have a static lifetime
|
|
|
|
void(*onDestroy)(void*);
|
|
|
|
// Pointer to a function that handles cancelling any tasks within
|
|
|
|
// that extra data when this task is cancelled. Note that the
|
|
|
|
// task may not free up the memory associated with itself here
|
|
|
|
// and this function may not be called if the user uses
|
|
|
|
// `Task::shallowCancel`. However, this pointer *must* always be
|
|
|
|
// valid
|
|
|
|
// The function MUST have a static lifetime
|
|
|
|
void(*onCancelled)(void*);
|
|
|
|
|
|
|
|
ExtraData(void* ptr, void(*onDestroy)(void*), void(*onCancelled)(void*))
|
|
|
|
: ptr(ptr), onDestroy(onDestroy), onCancelled(onCancelled)
|
|
|
|
{}
|
|
|
|
ExtraData(ExtraData const&) = delete;
|
|
|
|
ExtraData(ExtraData&&) = delete;
|
|
|
|
|
|
|
|
~ExtraData() {
|
|
|
|
onDestroy(ptr);
|
|
|
|
}
|
|
|
|
void cancel() {
|
|
|
|
onCancelled(ptr);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2024-04-21 17:08:10 -04:00
|
|
|
std::recursive_mutex m_mutex;
|
|
|
|
Status m_status = Status::Pending;
|
|
|
|
std::optional<T> m_resultValue;
|
|
|
|
bool m_finalEventPosted = false;
|
2024-04-22 11:16:26 -04:00
|
|
|
std::string m_name;
|
2024-04-25 10:50:00 -04:00
|
|
|
std::unique_ptr<ExtraData> m_extraData = nullptr;
|
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
|
|
|
};
|
2024-04-29 03:54:02 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* When the Task progresses, finishes, or is cancelled, one of these
|
|
|
|
* is posted; the `Task` class itself is used as an event filter to
|
|
|
|
* catch the task events for that specific task
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
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;
|
|
|
|
|
2024-04-29 03:54:02 -04:00
|
|
|
public:
|
|
|
|
/**
|
|
|
|
* Get a reference to the contained finish value, or null if this
|
|
|
|
* event holds a progress value or represents cancellation instead
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-21 17:08:10 -04:00
|
|
|
T* getValue() {
|
|
|
|
return m_value.index() == 0 ? std::get<0>(m_value) : nullptr;
|
2024-04-29 03:54:02 -04:00
|
|
|
}
|
|
|
|
/**
|
|
|
|
* Get a reference to the contained finish value, or null if this
|
|
|
|
* event holds a progress value or represents cancellation instead
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-21 17:08:10 -04:00
|
|
|
T const* getValue() const {
|
|
|
|
return m_value.index() == 0 ? std::get<0>(m_value) : nullptr;
|
2024-04-29 03:54:02 -04:00
|
|
|
}
|
|
|
|
/**
|
|
|
|
* Get a reference to the contained progress value, or null if
|
|
|
|
* this event holds a finish value or represents cancellation instead
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-21 17:08:10 -04:00
|
|
|
P* getProgress() {
|
|
|
|
return m_value.index() == 1 ? std::get<1>(m_value) : nullptr;
|
2024-04-29 03:54:02 -04:00
|
|
|
}
|
|
|
|
/**
|
|
|
|
* Get a reference to the contained progress value, or null if
|
|
|
|
* this event holds a finish value or represents cancellation instead
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-21 17:08:10 -04:00
|
|
|
P const* getProgress() const {
|
|
|
|
return m_value.index() == 1 ? std::get<1>(m_value) : nullptr;
|
2024-04-29 03:54:02 -04:00
|
|
|
}
|
|
|
|
/**
|
|
|
|
* Check if the Task was cancelled
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-21 17:08:10 -04:00
|
|
|
bool isCancelled() const {
|
|
|
|
return m_value.index() == 2;
|
2024-04-29 03:54:02 -04:00
|
|
|
}
|
|
|
|
/**
|
|
|
|
* Cancel the Task that posted this event. If the task has
|
|
|
|
* already finished or been cancelled, nothing happens
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-21 17:08:10 -04:00
|
|
|
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 {
|
2024-04-25 10:50:00 -04:00
|
|
|
// SAFETY: Task::all() depends on the lifetime of the value pointer
|
|
|
|
// being as long as the lifetime of the task itself
|
2024-04-21 17:08:10 -04:00
|
|
|
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();
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
2024-04-25 10:50:00 -04:00
|
|
|
static void cancel(std::shared_ptr<Handle> handle, bool shallow = false) {
|
2024-04-21 17:08:10 -04:00
|
|
|
if (!handle) return;
|
|
|
|
std::unique_lock<std::recursive_mutex> lock(handle->m_mutex);
|
|
|
|
if (handle->m_status == Status::Pending) {
|
|
|
|
handle->m_status = Status::Cancelled;
|
2024-04-25 10:50:00 -04:00
|
|
|
// If this task carries extra data, call the extra data's handling method
|
|
|
|
// (unless shallow cancelling was specifically requested)
|
|
|
|
if (!shallow && handle->m_extraData) {
|
|
|
|
handle->m_extraData->cancel();
|
|
|
|
}
|
2024-04-21 17:08:10 -04:00
|
|
|
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;
|
|
|
|
|
2024-04-29 03:54:02 -04:00
|
|
|
public:
|
2024-04-28 18:13:32 -04:00
|
|
|
// Allow default-construction
|
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-29 03:54:02 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Get the value this Task finished to, if the Task had finished,
|
|
|
|
* or null otherwise. Note that this is simply a mutable reference to
|
|
|
|
* the value - *you may not move out of it!*
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-21 17:08:10 -04:00
|
|
|
T* getFinishedValue() {
|
|
|
|
if (m_handle && m_handle->m_resultValue) {
|
|
|
|
return &*m_handle->m_resultValue;
|
|
|
|
}
|
|
|
|
return nullptr;
|
2024-04-29 03:54:02 -04:00
|
|
|
}
|
|
|
|
/**
|
|
|
|
* Cancel this Task. If this is a Task that owns other Task(s) (for example
|
|
|
|
* one created through `Task::map`) then that Task is cancelled
|
|
|
|
* as well. If this is undesirable, use `shallowCancel()`
|
|
|
|
* instead
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-21 17:08:10 -04:00
|
|
|
void cancel() {
|
|
|
|
Task::cancel(m_handle);
|
|
|
|
}
|
2024-04-25 10:50:00 -04:00
|
|
|
/**
|
|
|
|
* If this is a Task that owns other Task(s) (for example created
|
|
|
|
* through `Task::map` or `Task::all`), then this method cancels *only*
|
|
|
|
* this Task and *not* any of the Task(s) it is built on top of.
|
|
|
|
* Ownership of the other Task(s) will be released, so if this is the
|
|
|
|
* only Task listening to them, they will still be destroyed due to a
|
|
|
|
* lack of listeners
|
|
|
|
*/
|
|
|
|
void shallowCancel() {
|
|
|
|
Task::cancel(m_handle, true);
|
|
|
|
}
|
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-29 03:54:02 -04:00
|
|
|
}
|
|
|
|
/**
|
|
|
|
* Check if this Task doesn't actually do anything (for instance it
|
|
|
|
* was default-constructed)
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-23 17:09:39 -04:00
|
|
|
bool isNull() const {
|
|
|
|
return m_handle == nullptr;
|
|
|
|
}
|
2024-04-29 03:54:02 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Create a new Task that immediately finishes with the given
|
|
|
|
* value
|
|
|
|
* @param value The value the Task shall be finished with
|
|
|
|
* @param name The name of the Task; used for debugging
|
2024-04-28 18:13:32 -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-29 03:54:02 -04:00
|
|
|
}
|
|
|
|
/**
|
|
|
|
* Create a new Task with a function that returns the finished value.
|
|
|
|
* See the class description for details about Tasks
|
|
|
|
* @param body The body aka actual code of the Task. Note that this
|
|
|
|
* function MUST be synchronous - Task creates the thread for you!
|
|
|
|
* @param name The name of the Task; used for debugging
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
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-29 03:54:02 -04:00
|
|
|
}
|
|
|
|
/**
|
|
|
|
* Create a Task using a body that may need to create additional
|
|
|
|
* threads within itself; for example due to using an external
|
|
|
|
* library that creates its own thread
|
|
|
|
* @param body The body aka actual code of the Task. The body may
|
|
|
|
* call its provided finish callback *exactly once* - subsequent
|
|
|
|
* calls will always be ignored
|
|
|
|
* @param name The name of the Task; used for debugging
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
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();
|
2024-04-25 10:50:00 -04:00
|
|
|
return !lock || lock->is(Status::Cancelled);
|
2024-04-22 06:34:57 -04:00
|
|
|
}
|
|
|
|
);
|
|
|
|
}).detach();
|
|
|
|
return task;
|
|
|
|
}
|
2024-04-29 03:54:02 -04:00
|
|
|
/**
|
|
|
|
* Create a Task that waits for a list of other Tasks to finish, and then
|
|
|
|
* finishes with a list of their finish values
|
|
|
|
* @param tasks The tasks to wait for
|
2024-04-28 18:13:32 -04:00
|
|
|
* @param name The name of the Task; used for debugging
|
2024-04-25 10:50:00 -04:00
|
|
|
* @warning The result vector may contain nulls if any of the tasks
|
|
|
|
* were cancelled!
|
|
|
|
*/
|
|
|
|
template <std::move_constructible NP>
|
|
|
|
static Task<std::vector<T*>, std::monostate> all(std::vector<Task<T, NP>>&& tasks, std::string const& name = "<Multiple Tasks>") {
|
|
|
|
using AllTask = Task<std::vector<T*>, std::monostate>;
|
|
|
|
|
2024-04-28 17:10:38 -04:00
|
|
|
// If there are no tasks, return an immediate task that does nothing
|
|
|
|
if (tasks.empty()) {
|
|
|
|
return AllTask::immediate({}, name);
|
|
|
|
}
|
|
|
|
|
2024-04-25 10:50:00 -04:00
|
|
|
// Create a new supervising task for all of the provided tasks
|
|
|
|
auto task = AllTask(AllTask::Handle::create(name));
|
|
|
|
|
|
|
|
// Storage for storing the results received so far & keeping
|
|
|
|
// ownership of the running tasks
|
|
|
|
struct Waiting final {
|
|
|
|
std::vector<T*> taskResults;
|
|
|
|
std::vector<Task<std::monostate>> taskListeners;
|
|
|
|
size_t taskCount;
|
|
|
|
};
|
2024-04-28 13:42:28 -04:00
|
|
|
task.m_handle->m_extraData = std::make_unique<typename AllTask::Handle::ExtraData>(
|
2024-04-25 10:50:00 -04:00
|
|
|
// Create the data
|
|
|
|
static_cast<void*>(new Waiting()),
|
|
|
|
// When the task is destroyed
|
|
|
|
+[](void* ptr) {
|
|
|
|
delete static_cast<Waiting*>(ptr);
|
|
|
|
},
|
|
|
|
// If the task is cancelled
|
|
|
|
+[](void* ptr) {
|
|
|
|
// The move clears the `taskListeners` vector (important!)
|
|
|
|
for (auto task : std::move(static_cast<Waiting*>(ptr)->taskListeners)) {
|
|
|
|
task.cancel();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
);
|
|
|
|
|
|
|
|
// Store the task count in case some tasks finish immediately during the loop
|
|
|
|
static_cast<Waiting*>(task.m_handle->m_extraData->ptr)->taskCount = tasks.size();
|
|
|
|
|
|
|
|
// Make sure to only give a weak pointer to avoid circular references!
|
|
|
|
// (Tasks should NEVER own themselves!!)
|
|
|
|
auto markAsDone = [handle = std::weak_ptr(task.m_handle)](T* result) {
|
|
|
|
auto lock = handle.lock();
|
|
|
|
|
|
|
|
// If this task handle has expired, consider the task cancelled
|
|
|
|
// (We don't have to do anything because the lack of a handle
|
|
|
|
// means all the memory has been freed or is managed by
|
|
|
|
// something else)
|
|
|
|
if (!lock) return;
|
|
|
|
|
|
|
|
// Get the waiting handle from the task handle
|
|
|
|
auto waiting = static_cast<Waiting*>(lock->m_extraData->ptr);
|
|
|
|
|
|
|
|
// SAFETY: The lifetime of result pointer is the same as the task that
|
|
|
|
// produced that pointer, so as long as we have an owning reference to
|
|
|
|
// the tasks through `taskListeners` we can be sure `result` is valid
|
|
|
|
waiting->taskResults.push_back(result);
|
|
|
|
|
|
|
|
// If all tasks are done, finish
|
|
|
|
if (waiting->taskResults.size() >= waiting->taskCount) {
|
|
|
|
// SAFETY: The task results' lifetimes are tied to the tasks
|
|
|
|
// which could have their only owner be `waiting->taskListeners`,
|
|
|
|
// but since Waiting is owned by the returned AllTask it should
|
|
|
|
// be safe to access as long as it's accessible
|
|
|
|
AllTask::finish(lock, std::move(waiting->taskResults));
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
// Iterate the tasks & start listening to them using
|
|
|
|
for (auto& taskToWait : tasks) {
|
|
|
|
static_cast<Waiting*>(task.m_handle->m_extraData->ptr)->taskListeners.emplace_back(taskToWait.map(
|
|
|
|
[markAsDone](auto* result) {
|
|
|
|
markAsDone(result);
|
|
|
|
return std::monostate();
|
|
|
|
},
|
|
|
|
[](auto*) { return std::monostate(); },
|
|
|
|
[markAsDone]() { markAsDone(nullptr); }
|
|
|
|
));
|
|
|
|
}
|
|
|
|
return task;
|
2024-04-29 03:54:02 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Create a new Task that listens to this Task and maps the values using
|
|
|
|
* the provided functions.
|
|
|
|
* The new Task takes (shared) ownership of this Task, so the new Task
|
|
|
|
* may very well be its only listener
|
|
|
|
* @param resultMapper Function that converts the finished values of
|
|
|
|
* the mapped Task to a desired type. Note that the function is only
|
|
|
|
* given a pointer to the finish value, as `T` is not guaranteed to be
|
|
|
|
* copiable - the mapper may NOT move out of the value!
|
|
|
|
* @param progressMapper Function that converts the progress values of
|
|
|
|
* the mapped Task to a desired type
|
|
|
|
* @param onCancelled Function that is called if the mapped Task is
|
|
|
|
* cancelled
|
|
|
|
* @param name The name of the Task; used for debugging. The name of
|
|
|
|
* the mapped task is appended to the end
|
2024-04-28 18:13:32 -04:00
|
|
|
*/
|
2024-04-25 10:50:00 -04:00
|
|
|
template <class ResultMapper, class ProgressMapper, class OnCancelled>
|
|
|
|
auto map(ResultMapper&& resultMapper, ProgressMapper&& progressMapper, OnCancelled&& onCancelled, std::string const& name = "<Mapping Task>") const {
|
2024-04-21 17:08:10 -04:00
|
|
|
using T2 = decltype(resultMapper(std::declval<T*>()));
|
|
|
|
using P2 = decltype(progressMapper(std::declval<P*>()));
|
|
|
|
|
2024-04-25 10:50:00 -04:00
|
|
|
static_assert(std::is_move_constructible_v<T2>, "The type being mapped to must be move-constructible!");
|
|
|
|
static_assert(std::is_move_constructible_v<P2>, "The type being mapped to must be move-constructible!");
|
|
|
|
|
2024-04-28 13:42:28 -04:00
|
|
|
Task<T2, P2> task = 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) {
|
2024-04-25 10:50:00 -04:00
|
|
|
onCancelled();
|
2024-04-21 17:08:10 -04:00
|
|
|
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 {
|
2024-04-28 13:42:28 -04:00
|
|
|
task.m_handle->m_extraData = std::make_unique<typename Task<T2, P2>::Handle::ExtraData>(
|
2024-04-21 17:08:10 -04:00
|
|
|
static_cast<void*>(new EventListener<Task>(
|
|
|
|
[
|
|
|
|
handle = std::weak_ptr(task.m_handle),
|
|
|
|
resultMapper = std::move(resultMapper),
|
2024-04-25 10:50:00 -04:00
|
|
|
progressMapper = std::move(progressMapper),
|
|
|
|
onCancelled = std::move(onCancelled)
|
|
|
|
](Event* event) mutable {
|
2024-04-21 17:08:10 -04:00
|
|
|
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()) {
|
2024-04-25 10:50:00 -04:00
|
|
|
onCancelled();
|
2024-04-21 17:08:10 -04:00
|
|
|
Task<T2, P2>::cancel(handle.lock());
|
|
|
|
}
|
|
|
|
},
|
|
|
|
*this
|
|
|
|
)),
|
|
|
|
+[](void* ptr) {
|
|
|
|
delete static_cast<EventListener<Task>*>(ptr);
|
2024-04-25 10:50:00 -04:00
|
|
|
},
|
|
|
|
+[](void* ptr) {
|
|
|
|
// Cancel the mapped task too
|
|
|
|
static_cast<EventListener<Task>*>(ptr)->getFilter().cancel();
|
2024-04-21 17:08:10 -04:00
|
|
|
}
|
|
|
|
);
|
|
|
|
}
|
|
|
|
return task;
|
|
|
|
}
|
|
|
|
|
2024-04-29 03:54:02 -04:00
|
|
|
/**
|
|
|
|
* Create a new Task that listens to this Task and maps the values using
|
|
|
|
* the provided functions.
|
|
|
|
* The new Task takes (shared) ownership of this Task, so the new Task
|
|
|
|
* may very well be its only listener
|
|
|
|
* @param resultMapper Function that converts the finished values of
|
|
|
|
* the mapped Task to a desired type. Note that the function is only
|
|
|
|
* given a pointer to the finish value, as `T` is not guaranteed to be
|
|
|
|
* copiable - the mapper may NOT move out of the value!
|
|
|
|
* @param progressMapper Function that converts the progress values of
|
|
|
|
* the mapped Task to a desired type
|
|
|
|
* @param name The name of the Task; used for debugging. The name of
|
|
|
|
* the mapped task is appended to the end
|
2024-04-28 18:13:32 -04:00
|
|
|
*/ template <class ResultMapper, class ProgressMapper>
|
2024-04-25 10:50:00 -04:00
|
|
|
auto map(ResultMapper&& resultMapper, ProgressMapper&& progressMapper, std::string const& name = "<Mapping Task>") const {
|
|
|
|
return this->map(std::move(resultMapper), std::move(progressMapper), +[]() {}, name);
|
2024-04-29 03:54:02 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Create a new Task that listens to this Task and maps the finish value
|
|
|
|
* using the provided function. Progress is mapped by copy-constructing
|
|
|
|
* the value as-is.
|
|
|
|
* The new Task takes (shared) ownership of this Task, so the new Task
|
|
|
|
* may very well be its only listener
|
|
|
|
* @param resultMapper Function that converts the finished values of
|
|
|
|
* the mapped Task to a desired type. Note that the function is only
|
|
|
|
* given a pointer to the finish value, as `T` is not guaranteed to be
|
|
|
|
* copiable - the mapper may NOT move out of the value!
|
|
|
|
* @param name The name of the Task; used for debugging. The name of
|
|
|
|
* the mapped task is appended to the end
|
2024-04-28 18:13:32 -04:00
|
|
|
*/ template <class ResultMapper>
|
2024-04-22 06:34:57 -04:00
|
|
|
requires std::copy_constructible<P>
|
2024-04-25 10:50:00 -04:00
|
|
|
auto map(ResultMapper&& resultMapper, std::string const& name = "<Mapping Task>") const {
|
2024-04-22 11:16:26 -04:00
|
|
|
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!");
|
|
|
|
}
|