0
0
Fork 0
mirror of https://github.com/matrix-construct/construct synced 2024-10-30 18:39:02 +01:00
construct/include/ircd/ctx/promise.h

209 lines
5.1 KiB
C
Raw Normal View History

2018-02-04 03:22:01 +01:00
// Matrix Construct
//
// Copyright (C) Matrix Construct Developers, Authors & Contributors
// Copyright (C) 2016-2018 Jason Volk <jason@zemos.net>
//
// Permission to use, copy, modify, and/or distribute this software for any
// purpose with or without fee is hereby granted, provided that the above
// copyright notice and this permission notice is present in all copies. The
// full license for this software is available in the LICENSE file.
#pragma once
#define HAVE_IRCD_CTX_PROMISE_H
namespace ircd::ctx
{
IRCD_EXCEPTION(ircd::ctx::error, future_error)
IRCD_EXCEPTION(future_error, no_state)
IRCD_EXCEPTION(future_error, broken_promise)
IRCD_EXCEPTION(future_error, future_already_retrieved)
IRCD_EXCEPTION(future_error, promise_already_satisfied)
template<class T = void> class promise;
template<> class promise<void>;
}
template<class T>
class ircd::ctx::promise
{
std::shared_ptr<shared_state<T>> st;
public:
2017-12-18 23:06:14 +01:00
using value_type = typename shared_state<T>::value_type;
using pointer_type = typename shared_state<T>::pointer_type;
using reference_type = typename shared_state<T>::reference_type;
bool valid() const { return bool(st); }
bool finished() const { return !valid() || st->finished; }
bool operator!() const { return !valid(); }
operator bool() const { return valid(); }
const shared_state<T> &get_state() const { return *st; }
shared_state<T> &get_state() { return *st; }
void set_exception(std::exception_ptr eptr);
void set_value(const T &val);
void set_value(T&& val);
void reset();
promise();
promise(promise &&o) noexcept = default;
promise(const promise &);
promise &operator=(const promise &) = delete;
promise &operator=(promise &&) noexcept = default;
~promise() noexcept;
};
template<>
class ircd::ctx::promise<void>
{
std::shared_ptr<shared_state<void>> st;
public:
2017-12-18 23:06:14 +01:00
using value_type = typename shared_state<void>::value_type;
bool valid() const { return bool(st); }
bool finished() const { return !valid() || st->finished; }
bool operator!() const { return !valid(); }
operator bool() const { return valid(); }
const shared_state<void> &get_state() const { return *st; }
shared_state<void> &get_state() { return *st; }
void set_exception(std::exception_ptr eptr);
void set_value();
void reset();
promise();
promise(promise &&o) noexcept = default;
promise(const promise &);
promise &operator=(const promise &) = delete;
promise &operator=(promise &&) noexcept = default;
~promise() noexcept;
};
inline
2017-12-18 23:06:14 +01:00
ircd::ctx::promise<void>::promise()
:st{std::make_shared<shared_state<void>>()}
{
++st->promise_refcnt;
assert(st->promise_refcnt == 1);
}
template<class T>
2017-12-18 23:06:14 +01:00
ircd::ctx::promise<T>::promise()
:st{std::make_shared<shared_state<T>>()}
{
++st->promise_refcnt;
assert(st->promise_refcnt == 1);
}
inline
ircd::ctx::promise<void>::promise(const promise<void> &o)
:st{o.st}
{
if(valid())
{
++st->promise_refcnt;
assert(st->promise_refcnt > 1);
}
}
template<class T>
ircd::ctx::promise<T>::promise(const promise<T> &o)
:st{o.st}
{
if(valid())
{
++st->promise_refcnt;
assert(st->promise_refcnt > 1);
}
}
inline
ircd::ctx::promise<void>::~promise()
noexcept
{
if(valid())
if(!--st->promise_refcnt)
if(!st->finished && !st.unique())
set_exception(std::make_exception_ptr(broken_promise()));
}
template<class T>
ircd::ctx::promise<T>::~promise()
noexcept
{
if(valid())
if(!--st->promise_refcnt)
if(!st->finished && !st.unique())
set_exception(std::make_exception_ptr(broken_promise()));
}
inline void
ircd::ctx::promise<void>::reset()
{
if(valid())
st->reset();
}
template<class T>
void
ircd::ctx::promise<T>::reset()
{
if(valid())
st->reset();
}
template<class T>
void
ircd::ctx::promise<T>::set_value(T&& val)
{
assert(valid());
assert(!finished());
st->val = std::move(val);
st->finished = true;
st->cond.notify_all();
}
inline void
ircd::ctx::promise<void>::set_value()
{
assert(valid());
assert(!finished());
st->finished = true;
st->cond.notify_all();
}
template<class T>
void
ircd::ctx::promise<T>::set_value(const T &val)
{
assert(valid());
assert(!finished());
st->val = val;
st->finished = true;
st->cond.notify_all();
}
inline void
ircd::ctx::promise<void>::set_exception(std::exception_ptr eptr)
{
assert(valid());
assert(!finished());
st->eptr = std::move(eptr);
st->finished = true;
st->cond.notify_all();
}
template<class T>
void
ircd::ctx::promise<T>::set_exception(std::exception_ptr eptr)
{
assert(valid());
assert(!finished());
st->eptr = std::move(eptr);
st->finished = true;
st->cond.notify_all();
}