mirror of
https://github.com/matrix-construct/construct
synced 2024-11-19 08:21:09 +01:00
96 lines
3.5 KiB
C++
96 lines
3.5 KiB
C++
// 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_CONTINUATION_H
|
|
|
|
// This file is not included with the IRCd standard include stack because
|
|
// it requires symbols we can't forward declare without boost headers. It
|
|
// is part of the <ircd/asio.h> stack which can be included in your
|
|
// definition file if necessary.
|
|
|
|
namespace ircd::ctx
|
|
{
|
|
struct continuation;
|
|
struct to_asio;
|
|
|
|
using yield_context = boost::asio::yield_context;
|
|
using interruptor = std::function<void (ctx *const &) noexcept>;
|
|
using predicate = std::function<bool ()>;
|
|
}
|
|
|
|
namespace ircd
|
|
{
|
|
using ctx::yield_context;
|
|
using ctx::continuation;
|
|
using ctx::to_asio;
|
|
}
|
|
|
|
/// This object must be placed on the stack when the context is yielding (INTERNAL)
|
|
///
|
|
/// The continuation constructor is the last thing executed before a context
|
|
/// yields. The continuation destructor is the first thing executed when a
|
|
/// context continues. This is not placed by a normal user wishing to context
|
|
/// switch, only a low-level library creator actually implementing the context
|
|
/// switch itself. The placement of this object must be correct. Generally,
|
|
/// we construct the `continuation` as an argument to `yield_context` as such
|
|
/// `yield_context{continuation{}}`. This ensures the continuation destructor
|
|
/// executes before control continues beyond the yield_context call itself and
|
|
/// ties this sequence together neatly.
|
|
///
|
|
/// The instance contains references to some callables which must remain valid.
|
|
///
|
|
/// - predicate (NOT YET USED)
|
|
/// A wakeup condition. This should be a simple boolean function which
|
|
/// tests whether the context should be woken up. The continuation references
|
|
/// this to convey the condition to a scheduler which may test many predicates
|
|
/// while contexts are asleep and then determine a schedule. This is an
|
|
/// alternative to waking up contexts first to test their predicates.
|
|
///
|
|
/// - interruptor
|
|
/// An interruption action. This is called when a context cannot wakeup on its
|
|
/// own after receiving an interruption without help from this action. Common
|
|
/// use for this is with yields to asio.
|
|
///
|
|
struct ircd::ctx::continuation
|
|
{
|
|
static const predicate true_predicate;
|
|
static const predicate false_predicate;
|
|
static const interruptor noop_interruptor;
|
|
|
|
ctx *self;
|
|
const predicate &pred;
|
|
const interruptor &intr;
|
|
|
|
operator const boost::asio::yield_context &() const;
|
|
operator boost::asio::yield_context &();
|
|
|
|
continuation(const predicate & = true_predicate,
|
|
const interruptor & = noop_interruptor);
|
|
|
|
~continuation() noexcept(false);
|
|
};
|
|
|
|
/// This type of continuation should be used when yielding a context to a
|
|
/// boost::asio handler so we can have specific control over that type of
|
|
/// context switch in possible contrast or extension of the regular
|
|
/// continuation behavior.
|
|
///
|
|
/// The statement `yield_context{to_asio{}}` can be passed to any boost::asio
|
|
/// callback handler. Those handlers have overloads to accept this, many of
|
|
/// which are not documented.
|
|
///
|
|
struct ircd::ctx::to_asio
|
|
:ircd::ctx::continuation
|
|
{
|
|
to_asio() = default;
|
|
to_asio(const interruptor &);
|
|
~to_asio() noexcept(false) = default;
|
|
};
|