0
0
Fork 0
mirror of https://github.com/matrix-construct/construct synced 2024-11-29 10:12:39 +01:00

ircd::ctx: Add async() function.

This commit is contained in:
Jason Volk 2016-09-19 20:07:30 -07:00
parent 8f9e6c93d6
commit 5e8c4bb2a1
3 changed files with 103 additions and 7 deletions

95
include/ircd/ctx_async.h Normal file
View file

@ -0,0 +1,95 @@
/*
* Copyright (C) 2016 Charybdis Development Team
* Copyright (C) 2016 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.
*
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
* WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
* DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT,
* INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
* STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
* IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
* POSSIBILITY OF SUCH DAMAGE.
*/
#pragma once
#define HAVE_IRCD_CTX_ASYNC_H
namespace ircd {
namespace ctx {
template<class F,
class... A>
constexpr bool
is_void_result()
{
return std::is_void<typename std::result_of<F (A...)>::type>::value;
}
template<class F,
class... A>
using future_void = typename std::enable_if<is_void_result<F, A...>(), future<void>>::type;
template<class F,
class... A>
using future_value = typename std::enable_if<!is_void_result<F, A...>(),
future<typename std::result_of<F (A...)>::type>>::type;
template<size_t stack_size = DEFAULT_STACK_SIZE,
enum flags flags = (enum flags)0,
class F,
class... A>
future_value<F, A...>
async(F&& f,
A&&... a)
{
using R = typename std::result_of<F (A...)>::type;
auto func(std::bind(std::forward<F>(f), std::forward<A>(a)...));
auto p(std::make_shared<promise<R>>());
auto wrapper([p, func(std::move(func))]
() mutable -> void
{
p->set_value(func());
});
future<R> ret(*p);
//TODO: DEFER_POST?
context(stack_size, std::move(wrapper), SELF_DESTRUCT | DEFER_POST | flags);
return ret;
}
template<size_t stack_size = DEFAULT_STACK_SIZE,
enum flags flags = (enum flags)0,
class F,
class... A>
future_void<F, A...>
async(F&& f,
A&&... a)
{
using R = typename std::result_of<F (A...)>::type;
auto func(std::bind(std::forward<F>(f), std::forward<A>(a)...));
auto p(std::make_shared<promise<R>>());
auto wrapper([p, func(std::move(func))]
() mutable -> void
{
func();
p->set_value();
});
future<R> ret(*p);
//TODO: DEFER_POST?
context(stack_size, std::move(wrapper), SELF_DESTRUCT | DEFER_POST | flags);
return ret;
}
} // namespace ctx
} // namespace ircd

View file

@ -42,16 +42,16 @@ class future
using pointer_type = typename shared_state<T>::pointer_type; using pointer_type = typename shared_state<T>::pointer_type;
using reference_type = typename shared_state<T>::reference_type; using reference_type = typename shared_state<T>::reference_type;
bool valid() const { return bool(st); } bool valid() const { return bool(st); }
bool operator!() const { return !valid(); } bool operator!() const { return !valid(); }
operator bool() const { return valid(); } operator bool() const { return valid(); }
template<class time_point> future_status wait_until(const time_point &) const; template<class time_point> future_status wait_until(const time_point &) const;
template<class duration> future_status wait(const duration &d) const; template<class duration> future_status wait(const duration &d) const;
void wait() const; void wait() const;
T get(); T get();
operator T() { return get(); } operator T() { return get(); }
future(); future();
future(promise<T> &promise); future(promise<T> &promise);
@ -65,9 +65,9 @@ class future<void>
public: public:
using value_type = typename shared_state<void>::value_type; using value_type = typename shared_state<void>::value_type;
bool valid() const { return bool(st); } bool valid() const { return bool(st); }
bool operator!() const { return !valid(); } bool operator!() const { return !valid(); }
operator bool() const { return valid(); } operator bool() const { return valid(); }
template<class time_point> future_status wait_until(const time_point &) const; template<class time_point> future_status wait_until(const time_point &) const;
template<class duration> future_status wait(const duration &d) const; template<class duration> future_status wait(const duration &d) const;

View file

@ -95,6 +95,7 @@ namespace ircd
#include "ctx_shared_state.h" #include "ctx_shared_state.h"
#include "ctx_promise.h" #include "ctx_promise.h"
#include "ctx_future.h" #include "ctx_future.h"
#include "ctx_async.h"
#include "line.h" #include "line.h"
#include "tape.h" #include "tape.h"