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.
|
2016-09-19 08:31:56 +02:00
|
|
|
|
|
|
|
#pragma once
|
|
|
|
#define HAVE_IRCD_CTX_PROMISE_H
|
|
|
|
|
2017-08-28 23:51:22 +02:00
|
|
|
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>;
|
|
|
|
}
|
2016-09-19 08:31:56 +02:00
|
|
|
|
2017-08-28 23:51:22 +02:00
|
|
|
template<class T>
|
|
|
|
class ircd::ctx::promise
|
2016-09-19 08:31:56 +02:00
|
|
|
{
|
|
|
|
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;
|
2016-09-19 08:31:56 +02:00
|
|
|
|
|
|
|
bool valid() const { return bool(st); }
|
2018-01-17 07:43:33 +01:00
|
|
|
bool finished() const { return !valid() || st->finished; }
|
2016-09-19 08:31:56 +02:00
|
|
|
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();
|
2017-12-24 01:17:58 +01:00
|
|
|
promise(promise &&o) noexcept = default;
|
2017-12-29 23:32:08 +01:00
|
|
|
promise(const promise &);
|
2018-01-16 03:00:54 +01:00
|
|
|
promise &operator=(const promise &) = delete;
|
|
|
|
promise &operator=(promise &&) noexcept = default;
|
2016-09-19 08:31:56 +02:00
|
|
|
~promise() noexcept;
|
|
|
|
};
|
|
|
|
|
|
|
|
template<>
|
2017-08-28 23:51:22 +02:00
|
|
|
class ircd::ctx::promise<void>
|
2016-09-19 08:31:56 +02:00
|
|
|
{
|
|
|
|
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;
|
2016-09-19 08:31:56 +02:00
|
|
|
|
|
|
|
bool valid() const { return bool(st); }
|
2018-01-17 07:43:33 +01:00
|
|
|
bool finished() const { return !valid() || st->finished; }
|
2016-09-19 08:31:56 +02:00
|
|
|
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();
|
2017-12-24 01:17:58 +01:00
|
|
|
promise(promise &&o) noexcept = default;
|
2017-12-29 23:32:08 +01:00
|
|
|
promise(const promise &);
|
2018-01-16 03:00:54 +01:00
|
|
|
promise &operator=(const promise &) = delete;
|
|
|
|
promise &operator=(promise &&) noexcept = default;
|
2016-09-19 08:31:56 +02:00
|
|
|
~promise() noexcept;
|
|
|
|
};
|
|
|
|
|
|
|
|
inline
|
2017-12-18 23:06:14 +01:00
|
|
|
ircd::ctx::promise<void>::promise()
|
|
|
|
:st{std::make_shared<shared_state<void>>()}
|
2016-09-19 08:31:56 +02:00
|
|
|
{
|
2017-12-29 23:32:08 +01:00
|
|
|
++st->promise_refcnt;
|
|
|
|
assert(st->promise_refcnt == 1);
|
2016-09-19 08:31:56 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
template<class T>
|
2017-12-18 23:06:14 +01:00
|
|
|
ircd::ctx::promise<T>::promise()
|
|
|
|
:st{std::make_shared<shared_state<T>>()}
|
2016-09-19 08:31:56 +02:00
|
|
|
{
|
2017-12-29 23:32:08 +01:00
|
|
|
++st->promise_refcnt;
|
|
|
|
assert(st->promise_refcnt == 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
inline
|
|
|
|
ircd::ctx::promise<void>::promise(const promise<void> &o)
|
|
|
|
:st{o.st}
|
|
|
|
{
|
2018-01-17 11:50:59 +01:00
|
|
|
if(valid())
|
|
|
|
{
|
|
|
|
++st->promise_refcnt;
|
|
|
|
assert(st->promise_refcnt > 1);
|
|
|
|
}
|
2017-12-29 23:32:08 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
ircd::ctx::promise<T>::promise(const promise<T> &o)
|
|
|
|
:st{o.st}
|
|
|
|
{
|
2018-01-17 11:50:59 +01:00
|
|
|
if(valid())
|
|
|
|
{
|
|
|
|
++st->promise_refcnt;
|
|
|
|
assert(st->promise_refcnt > 1);
|
|
|
|
}
|
2016-09-19 08:31:56 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
inline
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::promise<void>::~promise()
|
2016-09-19 08:31:56 +02:00
|
|
|
noexcept
|
|
|
|
{
|
2017-12-29 23:32:08 +01:00
|
|
|
if(valid())
|
|
|
|
if(!--st->promise_refcnt)
|
|
|
|
if(!st->finished && !st.unique())
|
|
|
|
set_exception(std::make_exception_ptr(broken_promise()));
|
2016-09-19 08:31:56 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
template<class T>
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::promise<T>::~promise()
|
2016-09-19 08:31:56 +02:00
|
|
|
noexcept
|
|
|
|
{
|
2017-12-29 23:32:08 +01:00
|
|
|
if(valid())
|
|
|
|
if(!--st->promise_refcnt)
|
|
|
|
if(!st->finished && !st.unique())
|
|
|
|
set_exception(std::make_exception_ptr(broken_promise()));
|
2016-09-19 08:31:56 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
inline void
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::promise<void>::reset()
|
2016-09-19 08:31:56 +02:00
|
|
|
{
|
|
|
|
if(valid())
|
|
|
|
st->reset();
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
void
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::promise<T>::reset()
|
2016-09-19 08:31:56 +02:00
|
|
|
{
|
|
|
|
if(valid())
|
|
|
|
st->reset();
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
void
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::promise<T>::set_value(T&& val)
|
2016-09-19 08:31:56 +02:00
|
|
|
{
|
2018-01-17 11:50:59 +01:00
|
|
|
assert(valid());
|
2018-01-17 07:43:33 +01:00
|
|
|
assert(!finished());
|
2016-09-19 08:31:56 +02:00
|
|
|
st->val = std::move(val);
|
|
|
|
st->finished = true;
|
|
|
|
st->cond.notify_all();
|
|
|
|
}
|
|
|
|
|
|
|
|
inline void
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::promise<void>::set_value()
|
2016-09-19 08:31:56 +02:00
|
|
|
{
|
2018-01-17 11:50:59 +01:00
|
|
|
assert(valid());
|
2018-01-17 07:43:33 +01:00
|
|
|
assert(!finished());
|
2016-09-19 08:31:56 +02:00
|
|
|
st->finished = true;
|
|
|
|
st->cond.notify_all();
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
void
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::promise<T>::set_value(const T &val)
|
2016-09-19 08:31:56 +02:00
|
|
|
{
|
2018-01-17 11:50:59 +01:00
|
|
|
assert(valid());
|
2018-01-17 07:43:33 +01:00
|
|
|
assert(!finished());
|
2016-09-19 08:31:56 +02:00
|
|
|
st->val = val;
|
|
|
|
st->finished = true;
|
|
|
|
st->cond.notify_all();
|
|
|
|
}
|
|
|
|
|
|
|
|
inline void
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::promise<void>::set_exception(std::exception_ptr eptr)
|
2016-09-19 08:31:56 +02:00
|
|
|
{
|
2018-01-17 11:50:59 +01:00
|
|
|
assert(valid());
|
2018-01-17 07:43:33 +01:00
|
|
|
assert(!finished());
|
2016-09-19 08:31:56 +02:00
|
|
|
st->eptr = std::move(eptr);
|
|
|
|
st->finished = true;
|
|
|
|
st->cond.notify_all();
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
void
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::promise<T>::set_exception(std::exception_ptr eptr)
|
2016-09-19 08:31:56 +02:00
|
|
|
{
|
2018-01-17 11:50:59 +01:00
|
|
|
assert(valid());
|
2018-01-17 07:43:33 +01:00
|
|
|
assert(!finished());
|
2016-09-19 08:31:56 +02:00
|
|
|
st->eptr = std::move(eptr);
|
|
|
|
st->finished = true;
|
|
|
|
st->cond.notify_all();
|
|
|
|
}
|