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-05 17:53:36 +02:00
|
|
|
|
2018-02-05 19:47:46 +01:00
|
|
|
#include <RB_INC_X86INTRIN_H
|
2017-09-21 04:31:54 +02:00
|
|
|
#include <ircd/asio.h>
|
2016-09-05 17:53:36 +02:00
|
|
|
|
2018-01-27 03:13:40 +01:00
|
|
|
/// Internal context implementation
|
2017-09-09 16:30:45 +02:00
|
|
|
///
|
2017-08-28 23:51:22 +02:00
|
|
|
struct ircd::ctx::ctx
|
2016-11-29 16:23:38 +01:00
|
|
|
{
|
|
|
|
using error_code = boost::system::error_code;
|
|
|
|
|
|
|
|
static uint64_t id_ctr; // monotonic
|
|
|
|
|
|
|
|
uint64_t id; // Unique runtime ID
|
|
|
|
const char *name; // User given name (optional)
|
|
|
|
context::flags flags; // User given flags
|
2017-03-29 07:44:01 +02:00
|
|
|
boost::asio::io_service::strand strand; // mutex/serializer
|
2016-11-29 16:23:38 +01:00
|
|
|
boost::asio::steady_timer alarm; // acting semaphore (64B)
|
|
|
|
boost::asio::yield_context *yc; // boost interface
|
|
|
|
uintptr_t stack_base; // assigned when spawned
|
|
|
|
size_t stack_max; // User given stack size
|
|
|
|
int64_t notes; // norm: 0 = asleep; 1 = awake; inc by others; dec by self
|
|
|
|
ctx *adjoindre; // context waiting for this to join()
|
|
|
|
microseconds awake; // monotonic counter
|
2018-01-14 08:10:44 +01:00
|
|
|
ctx *next; // next node in a ctx::list
|
|
|
|
ctx *prev; // prev node in a ctx::list
|
2016-11-29 16:23:38 +01:00
|
|
|
|
2017-10-25 22:45:24 +02:00
|
|
|
bool started() const { return stack_base != 0; }
|
|
|
|
bool finished() const { return started() && yc == nullptr; }
|
2017-03-27 23:56:05 +02:00
|
|
|
|
|
|
|
bool interruption_point(std::nothrow_t); // Check for interrupt (and clear flag)
|
|
|
|
void interruption_point(); // throws interrupted
|
|
|
|
|
|
|
|
bool wait(); // yield context to ios queue (returns on this resume)
|
|
|
|
void jump(); // jump to context directly (returns on your resume)
|
|
|
|
void wake(); // jump to context by queueing with ios (use note())
|
2016-11-29 16:23:38 +01:00
|
|
|
bool note(); // properly request wake()
|
|
|
|
|
|
|
|
void operator()(boost::asio::yield_context, const std::function<void ()>) noexcept;
|
|
|
|
|
2017-10-16 06:12:58 +02:00
|
|
|
ctx(const char *const &name = "<noname>",
|
2016-11-29 16:23:38 +01:00
|
|
|
const size_t &stack_max = DEFAULT_STACK_SIZE,
|
|
|
|
const context::flags &flags = (context::flags)0,
|
|
|
|
boost::asio::io_service *const &ios = ircd::ios);
|
|
|
|
|
|
|
|
ctx(ctx &&) noexcept = delete;
|
|
|
|
ctx(const ctx &) = delete;
|
|
|
|
};
|
|
|
|
|
2017-12-12 21:12:14 +01:00
|
|
|
/// Monotonic ctx id counter state. This counter is incremented for each
|
|
|
|
/// newly created context.
|
2016-11-29 16:23:38 +01:00
|
|
|
decltype(ircd::ctx::ctx::id_ctr)
|
|
|
|
ircd::ctx::ctx::id_ctr
|
|
|
|
{
|
|
|
|
0
|
|
|
|
};
|
|
|
|
|
|
|
|
ircd::ctx::ctx::ctx(const char *const &name,
|
|
|
|
const size_t &stack_max,
|
|
|
|
const context::flags &flags,
|
|
|
|
boost::asio::io_service *const &ios)
|
|
|
|
:id{++id_ctr}
|
|
|
|
,name{name}
|
|
|
|
,flags{flags}
|
2017-03-29 07:44:01 +02:00
|
|
|
,strand{*ios}
|
2016-11-29 16:23:38 +01:00
|
|
|
,alarm{*ios}
|
|
|
|
,yc{nullptr}
|
|
|
|
,stack_base{0}
|
|
|
|
,stack_max{stack_max}
|
|
|
|
,notes{1}
|
|
|
|
,adjoindre{nullptr}
|
|
|
|
,awake{0us}
|
2018-01-14 08:10:44 +01:00
|
|
|
,next{nullptr}
|
|
|
|
,prev{nullptr}
|
2016-11-29 16:23:38 +01:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Base frame for a context.
|
|
|
|
///
|
|
|
|
/// This function is the first thing executed on the new context's stack
|
|
|
|
/// and calls the user's function.
|
2016-11-29 16:23:38 +01:00
|
|
|
void
|
|
|
|
ircd::ctx::ctx::operator()(boost::asio::yield_context yc,
|
|
|
|
const std::function<void ()> func)
|
|
|
|
noexcept
|
|
|
|
{
|
|
|
|
this->yc = &yc;
|
|
|
|
notes = 1;
|
|
|
|
stack_base = uintptr_t(__builtin_frame_address(0));
|
|
|
|
ircd::ctx::current = this;
|
|
|
|
mark(prof::event::CUR_ENTER);
|
|
|
|
|
2017-09-22 22:57:43 +02:00
|
|
|
const unwind atexit([this]
|
2016-11-29 16:23:38 +01:00
|
|
|
{
|
2017-03-24 23:45:35 +01:00
|
|
|
mark(prof::event::CUR_LEAVE);
|
|
|
|
|
2016-11-29 16:23:38 +01:00
|
|
|
if(adjoindre)
|
|
|
|
notify(*adjoindre);
|
|
|
|
|
|
|
|
ircd::ctx::current = nullptr;
|
|
|
|
this->yc = nullptr;
|
|
|
|
|
|
|
|
if(flags & context::DETACH)
|
|
|
|
delete this;
|
|
|
|
});
|
|
|
|
|
2017-03-24 23:46:41 +01:00
|
|
|
// Check for a precocious interrupt
|
|
|
|
if(unlikely(flags & context::INTERRUPTED))
|
|
|
|
return;
|
|
|
|
|
2016-11-29 16:23:38 +01:00
|
|
|
if(likely(bool(func)))
|
|
|
|
func();
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Direct context switch to this context.
|
|
|
|
///
|
|
|
|
/// This currently doesn't work yet because the suspension state of this
|
|
|
|
/// context has to be ready to be jumped to and that isn't implemented yet.
|
2017-03-27 23:56:05 +02:00
|
|
|
void
|
|
|
|
ircd::ctx::ctx::jump()
|
|
|
|
{
|
|
|
|
assert(this->yc);
|
|
|
|
assert(current != this); // can't jump to self
|
|
|
|
|
|
|
|
auto &yc(*this->yc);
|
|
|
|
auto &target(*yc.coro_.lock());
|
|
|
|
|
2017-08-19 00:54:34 +02:00
|
|
|
// Jump from the currently running context (source) to *this (target)
|
|
|
|
// with continuation of source after target
|
|
|
|
{
|
|
|
|
current->notes = 0; // Unconditionally cleared here
|
2017-03-27 23:56:05 +02:00
|
|
|
const continuation continuation{current};
|
|
|
|
target();
|
|
|
|
}
|
|
|
|
|
|
|
|
assert(current != this);
|
2017-08-19 00:54:34 +02:00
|
|
|
assert(current->notes == 1); // notes = 1; set by continuation dtor on wakeup
|
2017-03-27 23:56:05 +02:00
|
|
|
|
|
|
|
interruption_point();
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Yield (suspend) this context until notified.
|
|
|
|
///
|
|
|
|
/// This context must be currently running otherwise bad things. Returns false
|
|
|
|
/// if the context was notified before actually suspending; the note is then
|
|
|
|
/// considered handled an another attempt to `wait()` can be made. Returns true
|
|
|
|
/// if the context suspended and was notified. When a context wakes up the
|
|
|
|
/// note counter is reset.
|
2017-03-27 23:56:05 +02:00
|
|
|
bool
|
|
|
|
ircd::ctx::ctx::wait()
|
|
|
|
{
|
|
|
|
namespace errc = boost::system::errc;
|
|
|
|
|
|
|
|
assert(this->yc);
|
|
|
|
assert(current == this);
|
|
|
|
|
|
|
|
if(--notes > 0)
|
|
|
|
return false;
|
|
|
|
|
|
|
|
boost::system::error_code ec;
|
2017-09-21 04:31:54 +02:00
|
|
|
alarm.async_wait(boost::asio::yield_context{to_asio{this}}[ec]);
|
2017-03-27 23:56:05 +02:00
|
|
|
|
|
|
|
assert(ec == errc::operation_canceled || ec == errc::success);
|
|
|
|
assert(current == this);
|
|
|
|
assert(notes == 1); // notes = 1; set by continuation dtor on wakeup
|
|
|
|
|
|
|
|
interruption_point();
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Notifies this context to resume (wake up from waiting).
|
|
|
|
///
|
|
|
|
/// Returns true if this note was the first note received by this context
|
|
|
|
/// while it's been suspended or false if it's already been notified.
|
2016-11-29 16:23:38 +01:00
|
|
|
bool
|
|
|
|
ircd::ctx::ctx::note()
|
|
|
|
{
|
|
|
|
if(notes++ > 0)
|
|
|
|
return false;
|
|
|
|
|
|
|
|
wake();
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Wakes a context without a note (internal)
|
2016-11-29 16:23:38 +01:00
|
|
|
void
|
|
|
|
ircd::ctx::ctx::wake()
|
|
|
|
try
|
|
|
|
{
|
|
|
|
alarm.cancel();
|
|
|
|
}
|
|
|
|
catch(const boost::system::system_error &e)
|
|
|
|
{
|
|
|
|
ircd::log::error("ctx::wake(%p): %s", this, e.what());
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Throws if this context has been flagged for interruption and clears
|
|
|
|
/// the flag.
|
2017-03-27 23:56:05 +02:00
|
|
|
void
|
|
|
|
ircd::ctx::ctx::interruption_point()
|
2016-11-29 16:23:38 +01:00
|
|
|
{
|
2017-03-27 23:56:05 +02:00
|
|
|
if(unlikely(interruption_point(std::nothrow)))
|
|
|
|
throw interrupted("ctx(%p) '%s'", (const void *)this, name);
|
|
|
|
}
|
2016-11-29 16:23:38 +01:00
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Returns true if this context has been flagged for interruption and
|
|
|
|
/// clears the flag.
|
2017-03-27 23:56:05 +02:00
|
|
|
bool
|
|
|
|
ircd::ctx::ctx::interruption_point(std::nothrow_t)
|
|
|
|
{
|
2016-11-29 16:23:38 +01:00
|
|
|
// Interruption shouldn't be used for normal operation,
|
|
|
|
// so please eat this branch misprediction.
|
|
|
|
if(unlikely(flags & context::INTERRUPTED))
|
|
|
|
{
|
|
|
|
mark(prof::event::CUR_INTERRUPT);
|
|
|
|
flags &= ~context::INTERRUPTED;
|
2017-03-27 23:56:05 +02:00
|
|
|
return true;
|
2016-11-29 16:23:38 +01:00
|
|
|
}
|
2017-03-27 23:56:05 +02:00
|
|
|
else return false;
|
2016-11-29 16:23:38 +01:00
|
|
|
}
|
2016-09-05 17:53:36 +02:00
|
|
|
|
2016-09-10 07:23:07 +02:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
//
|
2016-11-29 16:23:38 +01:00
|
|
|
// ctx/ctx.h
|
2016-09-10 07:23:07 +02:00
|
|
|
//
|
2017-12-12 21:12:14 +01:00
|
|
|
|
2016-11-29 16:23:38 +01:00
|
|
|
__thread ircd::ctx::ctx *ircd::ctx::current;
|
2016-09-05 17:53:36 +02:00
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Yield the currently running context until `time_point` ignoring notes
|
2016-09-19 07:22:22 +02:00
|
|
|
void
|
2017-09-20 04:01:37 +02:00
|
|
|
ircd::ctx::this_ctx::sleep_until(const std::chrono::steady_clock::time_point &tp)
|
2016-09-19 07:22:22 +02:00
|
|
|
{
|
|
|
|
while(!wait_until(tp, std::nothrow));
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Yield the currently running context until notified or `time_point`.
|
|
|
|
///
|
|
|
|
/// Returns true if this function returned because `time_point` was hit or
|
|
|
|
/// false because this context was notified.
|
2016-09-10 07:23:07 +02:00
|
|
|
bool
|
2017-09-20 04:01:37 +02:00
|
|
|
ircd::ctx::this_ctx::wait_until(const std::chrono::steady_clock::time_point &tp,
|
2017-09-26 06:37:14 +02:00
|
|
|
const std::nothrow_t &)
|
2016-09-05 17:53:36 +02:00
|
|
|
{
|
2016-09-10 07:23:07 +02:00
|
|
|
auto &c(cur());
|
|
|
|
c.alarm.expires_at(tp);
|
|
|
|
c.wait(); // now you're yielding with portals
|
|
|
|
|
|
|
|
return std::chrono::steady_clock::now() >= tp;
|
2016-09-07 23:39:41 +02:00
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Yield the currently running context for `duration` or until notified.
|
|
|
|
///
|
|
|
|
/// Returns the duration remaining if notified, or <= 0 if suspended for
|
|
|
|
/// the full duration, or unchanged if no suspend ever took place.
|
2016-09-07 23:39:41 +02:00
|
|
|
std::chrono::microseconds
|
2017-09-20 04:01:37 +02:00
|
|
|
ircd::ctx::this_ctx::wait(const std::chrono::microseconds &duration,
|
|
|
|
const std::nothrow_t &)
|
2016-09-07 23:39:41 +02:00
|
|
|
{
|
|
|
|
auto &c(cur());
|
|
|
|
c.alarm.expires_from_now(duration);
|
|
|
|
c.wait(); // now you're yielding with portals
|
2016-09-10 07:23:07 +02:00
|
|
|
const auto ret(c.alarm.expires_from_now());
|
2016-09-05 17:53:36 +02:00
|
|
|
|
2016-09-07 23:39:41 +02:00
|
|
|
// return remaining duration.
|
2017-10-12 02:43:11 +02:00
|
|
|
// this is > 0 if notified
|
2016-09-07 23:39:41 +02:00
|
|
|
// this is unchanged if a note prevented any wait at all
|
|
|
|
return std::chrono::duration_cast<std::chrono::microseconds>(ret);
|
2016-09-05 17:53:36 +02:00
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Yield the currently running context until notified.
|
2016-09-07 23:39:41 +02:00
|
|
|
void
|
2017-09-20 04:01:37 +02:00
|
|
|
ircd::ctx::this_ctx::wait()
|
2016-09-07 23:39:41 +02:00
|
|
|
{
|
|
|
|
auto &c(cur());
|
|
|
|
c.alarm.expires_at(std::chrono::steady_clock::time_point::max());
|
|
|
|
c.wait(); // now you're yielding with portals
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Post the currently running context to the event queue and then suspend to
|
2017-12-12 21:12:14 +01:00
|
|
|
/// allow other contexts in the queue to run.
|
|
|
|
///
|
|
|
|
/// Until we have our own queue the ios queue makes no guarantees if the queue
|
|
|
|
/// is FIFO or LIFO etc :-/ It is generally bad practice to use this function,
|
|
|
|
/// as one should make the effort to devise a specific cooperative strategy for
|
|
|
|
/// how context switching occurs rather than this coarse/brute technique.
|
2016-10-20 09:54:42 +02:00
|
|
|
void
|
2017-09-20 04:01:37 +02:00
|
|
|
ircd::ctx::this_ctx::yield()
|
2016-10-20 09:54:42 +02:00
|
|
|
{
|
|
|
|
bool done(false);
|
|
|
|
const auto restore([&done, &me(cur())]
|
|
|
|
{
|
|
|
|
done = true;
|
|
|
|
notify(me);
|
|
|
|
});
|
|
|
|
|
|
|
|
// All spurious notifications are ignored until `done`
|
|
|
|
ios->post(restore); do
|
|
|
|
{
|
|
|
|
wait();
|
|
|
|
}
|
|
|
|
while(!done);
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Throws interrupted if the currently running context was interrupted
|
|
|
|
/// and clears the interrupt flag.
|
2017-09-20 04:01:37 +02:00
|
|
|
void
|
|
|
|
ircd::ctx::this_ctx::interruption_point()
|
|
|
|
{
|
|
|
|
return cur().interruption_point();
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Returns true if the currently running context was interrupted and clears
|
|
|
|
/// the interrupt flag.
|
2017-09-20 04:01:37 +02:00
|
|
|
bool
|
|
|
|
ircd::ctx::this_ctx::interruption_requested()
|
|
|
|
{
|
|
|
|
return interruption(cur());
|
|
|
|
}
|
|
|
|
|
2017-10-16 06:12:58 +02:00
|
|
|
/// Returns unique ID of currently running context
|
|
|
|
const uint64_t &
|
|
|
|
ircd::ctx::this_ctx::id()
|
|
|
|
{
|
|
|
|
static const uint64_t zero{0};
|
|
|
|
return current? id(cur()) : zero;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns optional developer-given name for currently running context
|
|
|
|
ircd::string_view
|
|
|
|
ircd::ctx::this_ctx::name()
|
|
|
|
{
|
|
|
|
static const string_view nada{"*"};
|
|
|
|
return current? name(cur()) : nada;
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Yield to context `ctx`.
|
|
|
|
///
|
|
|
|
///
|
2017-03-27 23:56:05 +02:00
|
|
|
void
|
|
|
|
ircd::ctx::yield(ctx &ctx)
|
|
|
|
{
|
|
|
|
assert(current);
|
2017-08-19 00:54:34 +02:00
|
|
|
|
|
|
|
//ctx.jump();
|
|
|
|
// !!! TODO !!!
|
|
|
|
// XXX: We can't jump directly to a context if it's waiting on its alarm, and
|
|
|
|
// we don't know whether it's waiting on its alarm. We can add another flag to
|
|
|
|
// inform us of that, but most contexts are usually waiting on their alarm anyway.
|
|
|
|
//
|
|
|
|
// Perhaps a better way to do this would be to centralize the alarms into a single
|
|
|
|
// context with the sole job of waiting on a single alarm. Then it can schedule
|
|
|
|
// things allowing for more direct jumps until all work is complete.
|
|
|
|
// !!! TODO !!!
|
|
|
|
|
|
|
|
notify(ctx);
|
2017-03-27 23:56:05 +02:00
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Notifies `ctx` to wake up from another std::thread
|
2017-04-03 05:52:30 +02:00
|
|
|
void
|
|
|
|
ircd::ctx::notify(ctx &ctx,
|
|
|
|
threadsafe_t)
|
|
|
|
{
|
2017-09-20 04:01:37 +02:00
|
|
|
signal(ctx, [&ctx]
|
2017-04-03 05:52:30 +02:00
|
|
|
{
|
|
|
|
notify(ctx);
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Notifies `ctx` to wake up. This will enqueue the resumption, not jump
|
|
|
|
/// directly to `ctx`.
|
2016-11-29 16:23:38 +01:00
|
|
|
bool
|
|
|
|
ircd::ctx::notify(ctx &ctx)
|
|
|
|
{
|
|
|
|
return ctx.note();
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Executes `func` sometime between executions of `ctx` with thread-safety
|
|
|
|
/// so `func` and `ctx` are never executed concurrently no matter how many
|
|
|
|
/// threads the io_service has available to execute events on.
|
2017-04-03 05:52:30 +02:00
|
|
|
void
|
2017-09-20 04:01:37 +02:00
|
|
|
ircd::ctx::signal(ctx &ctx,
|
2017-04-03 05:52:30 +02:00
|
|
|
std::function<void ()> func)
|
|
|
|
{
|
|
|
|
ctx.strand.post(std::move(func));
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Marks `ctx` for interruption and enqueues it for resumption to receive the
|
|
|
|
/// interrupt which will be an exception coming out of the point where the
|
|
|
|
/// `ctx` was yielding.
|
2016-11-29 16:23:38 +01:00
|
|
|
void
|
|
|
|
ircd::ctx::interrupt(ctx &ctx)
|
|
|
|
{
|
|
|
|
ctx.flags |= context::INTERRUPTED;
|
|
|
|
ctx.wake();
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Indicates if `ctx` was ever jumped to
|
2016-11-29 16:23:38 +01:00
|
|
|
bool
|
|
|
|
ircd::ctx::started(const ctx &ctx)
|
|
|
|
{
|
|
|
|
return ctx.started();
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Indicates if the base frame for `ctx` returned
|
2016-11-29 16:23:38 +01:00
|
|
|
bool
|
|
|
|
ircd::ctx::finished(const ctx &ctx)
|
|
|
|
{
|
|
|
|
return ctx.finished();
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Indicates if `ctx` was interrupted; does not clear the flag
|
2017-09-20 04:01:37 +02:00
|
|
|
bool
|
|
|
|
ircd::ctx::interruption(const ctx &c)
|
|
|
|
{
|
|
|
|
return c.flags & context::INTERRUPTED;
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Returns the notification count for `ctx
|
2016-11-29 16:23:38 +01:00
|
|
|
const int64_t &
|
|
|
|
ircd::ctx::notes(const ctx &ctx)
|
|
|
|
{
|
|
|
|
return ctx.notes;
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Returns the developer's optional name literal for `ctx`
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::string_view
|
|
|
|
ircd::ctx::name(const ctx &ctx)
|
|
|
|
{
|
|
|
|
return ctx.name;
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:43:11 +02:00
|
|
|
/// Returns a reference to unique ID for `ctx` (which will go away with `ctx`)
|
2016-11-29 16:23:38 +01:00
|
|
|
const uint64_t &
|
|
|
|
ircd::ctx::id(const ctx &ctx)
|
|
|
|
{
|
|
|
|
return ctx.id;
|
|
|
|
}
|
|
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// ctx/continuation.h
|
|
|
|
//
|
|
|
|
|
2017-09-28 03:29:29 +02:00
|
|
|
//
|
|
|
|
// Support for critical_assertion (ctx.h)
|
|
|
|
//
|
|
|
|
|
|
|
|
namespace ircd::ctx
|
|
|
|
{
|
|
|
|
bool critical_asserted;
|
|
|
|
}
|
|
|
|
|
|
|
|
ircd::ctx::this_ctx::critical_assertion::critical_assertion()
|
|
|
|
:theirs{critical_asserted}
|
|
|
|
{
|
|
|
|
critical_asserted = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
ircd::ctx::this_ctx::critical_assertion::~critical_assertion()
|
|
|
|
noexcept
|
|
|
|
{
|
|
|
|
assert(critical_asserted);
|
|
|
|
critical_asserted = theirs;
|
|
|
|
}
|
|
|
|
|
|
|
|
//
|
|
|
|
// continuation
|
|
|
|
//
|
|
|
|
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::continuation::continuation(ctx *const &self)
|
|
|
|
:self{self}
|
|
|
|
{
|
2017-09-28 03:29:29 +02:00
|
|
|
mark(prof::event::CUR_YIELD);
|
|
|
|
assert(!critical_asserted);
|
|
|
|
assert(self != nullptr);
|
|
|
|
assert(self->notes <= 1);
|
|
|
|
ircd::ctx::current = nullptr;
|
2016-11-29 16:23:38 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
ircd::ctx::continuation::~continuation()
|
|
|
|
noexcept
|
|
|
|
{
|
2017-09-28 03:29:29 +02:00
|
|
|
ircd::ctx::current = self;
|
|
|
|
self->notes = 1;
|
|
|
|
mark(prof::event::CUR_CONTINUE);
|
2016-11-29 16:23:38 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
ircd::ctx::continuation::operator boost::asio::yield_context &()
|
|
|
|
{
|
|
|
|
return *self->yc;
|
|
|
|
}
|
|
|
|
|
|
|
|
ircd::ctx::continuation::operator const boost::asio::yield_context &()
|
|
|
|
const
|
|
|
|
{
|
|
|
|
return *self->yc;
|
|
|
|
}
|
|
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// ctx/context.h
|
|
|
|
//
|
|
|
|
|
2017-10-25 22:45:24 +02:00
|
|
|
namespace ircd::ctx
|
|
|
|
{
|
|
|
|
static void spawn(ctx *const c, context::function func);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
ircd::ctx::spawn(ctx *const c,
|
2017-11-16 02:20:14 +01:00
|
|
|
context::function func)
|
2017-10-25 22:45:24 +02:00
|
|
|
{
|
|
|
|
const boost::coroutines::attributes attrs
|
|
|
|
{
|
|
|
|
c->stack_max,
|
|
|
|
boost::coroutines::stack_unwind
|
|
|
|
};
|
|
|
|
|
|
|
|
auto bound
|
|
|
|
{
|
|
|
|
std::bind(&ctx::operator(), c, ph::_1, std::move(func))
|
|
|
|
};
|
|
|
|
|
|
|
|
boost::asio::spawn(c->strand, std::move(bound), attrs);
|
|
|
|
}
|
|
|
|
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::context::context(const char *const &name,
|
|
|
|
const size_t &stack_sz,
|
|
|
|
const flags &flags,
|
2017-09-09 16:30:45 +02:00
|
|
|
function func)
|
2016-11-29 16:23:38 +01:00
|
|
|
:c{std::make_unique<ctx>(name, stack_sz, flags, ircd::ios)}
|
2016-09-07 23:39:41 +02:00
|
|
|
{
|
2017-10-25 22:45:24 +02:00
|
|
|
auto spawn
|
|
|
|
{
|
|
|
|
std::bind(&ircd::ctx::spawn, c.get(), std::move(func))
|
|
|
|
};
|
|
|
|
|
2017-11-06 21:10:55 +01:00
|
|
|
// The profiler is told about the spawn request here, not inside the closure
|
|
|
|
// which is probably the same event-slice as event::CUR_ENTER and not as useful.
|
|
|
|
mark(prof::event::SPAWN);
|
|
|
|
|
|
|
|
// When the user passes the DETACH flag we want to release the unique_ptr
|
|
|
|
// of the ctx if and only if that ctx is committed to freeing itself. Our
|
|
|
|
// commitment ends at the 180 of this function. If no exception was thrown
|
|
|
|
// we expect the context to be committed to entry. If the POST flag is
|
|
|
|
// supplied and it gets lost in the asio queue it will not be entered, and
|
|
|
|
// will not be able to free itself; that will leak.
|
|
|
|
const unwind::nominal release
|
2017-11-01 23:56:40 +01:00
|
|
|
{
|
2017-11-06 21:10:55 +01:00
|
|
|
[this, &flags]
|
|
|
|
{
|
|
|
|
if(flags & context::DETACH)
|
|
|
|
this->detach();
|
|
|
|
}
|
|
|
|
};
|
2017-11-01 23:56:40 +01:00
|
|
|
|
2016-11-29 16:23:38 +01:00
|
|
|
if(flags & POST)
|
2017-11-01 23:56:40 +01:00
|
|
|
{
|
2016-09-07 23:39:41 +02:00
|
|
|
ios->post(std::move(spawn));
|
2017-11-01 23:56:40 +01:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
// The current context must be reasserted if spawn returns here
|
|
|
|
const unwind recurrent([current(ircd::ctx::current)]
|
2017-10-25 22:45:24 +02:00
|
|
|
{
|
2017-11-01 23:56:40 +01:00
|
|
|
ircd::ctx::current = current;
|
|
|
|
});
|
2017-10-25 22:45:24 +02:00
|
|
|
|
2017-11-01 23:56:40 +01:00
|
|
|
if(flags & DISPATCH)
|
|
|
|
ios->dispatch(std::move(spawn));
|
|
|
|
else
|
2016-09-07 23:39:41 +02:00
|
|
|
spawn();
|
|
|
|
}
|
|
|
|
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::context::context(const char *const &name,
|
|
|
|
const size_t &stack_size,
|
2017-09-09 16:30:45 +02:00
|
|
|
function func,
|
2016-11-29 16:23:38 +01:00
|
|
|
const flags &flags)
|
|
|
|
:context
|
|
|
|
{
|
|
|
|
name, stack_size, flags, std::move(func)
|
|
|
|
}
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
ircd::ctx::context::context(const char *const &name,
|
|
|
|
const flags &flags,
|
2017-09-09 16:30:45 +02:00
|
|
|
function func)
|
2016-11-29 16:23:38 +01:00
|
|
|
:context
|
|
|
|
{
|
|
|
|
name, DEFAULT_STACK_SIZE, flags, std::move(func)
|
|
|
|
}
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
ircd::ctx::context::context(const char *const &name,
|
2017-09-09 16:30:45 +02:00
|
|
|
function func,
|
2016-11-29 16:23:38 +01:00
|
|
|
const flags &flags)
|
|
|
|
:context
|
|
|
|
{
|
|
|
|
name, DEFAULT_STACK_SIZE, flags, std::move(func)
|
|
|
|
}
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2017-09-09 16:30:45 +02:00
|
|
|
ircd::ctx::context::context(function func,
|
2016-11-29 16:23:38 +01:00
|
|
|
const flags &flags)
|
2016-09-05 17:53:36 +02:00
|
|
|
:context
|
|
|
|
{
|
2017-10-16 06:12:58 +02:00
|
|
|
"<noname>", DEFAULT_STACK_SIZE, flags, std::move(func)
|
2016-09-05 17:53:36 +02:00
|
|
|
}
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
ircd::ctx::context::~context()
|
|
|
|
noexcept
|
|
|
|
{
|
2016-09-07 23:39:41 +02:00
|
|
|
if(!c)
|
|
|
|
return;
|
|
|
|
|
|
|
|
// Can't join to bare metal, only from within another context.
|
2017-10-25 22:45:24 +02:00
|
|
|
if(current)
|
|
|
|
{
|
|
|
|
interrupt();
|
|
|
|
join();
|
|
|
|
}
|
2016-09-07 23:39:41 +02:00
|
|
|
|
2017-10-25 22:45:24 +02:00
|
|
|
// because *this uses unique_ptr's, if we dtor the ircd::ctx from
|
|
|
|
// right here and ircd::ctx hasn't been entered yet because the user
|
|
|
|
// passed the POST flag, the ctx::spawn() is still sitting in the ios
|
|
|
|
// queue.
|
|
|
|
if(c && !started(*c))
|
|
|
|
{
|
|
|
|
c->flags |= context::DETACH;
|
|
|
|
c.release();
|
|
|
|
}
|
2016-09-05 17:53:36 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
ircd::ctx::context::join()
|
|
|
|
{
|
2016-09-07 23:39:41 +02:00
|
|
|
if(joined())
|
|
|
|
return;
|
2016-09-05 17:53:36 +02:00
|
|
|
|
2016-09-26 00:46:54 +02:00
|
|
|
mark(prof::event::JOIN);
|
2017-11-06 21:10:55 +01:00
|
|
|
assert(bool(c));
|
2016-09-07 23:39:41 +02:00
|
|
|
assert(!c->adjoindre);
|
2016-09-26 00:46:54 +02:00
|
|
|
c->adjoindre = &cur(); // Set the target context to notify this context when it finishes
|
2016-09-07 23:39:41 +02:00
|
|
|
wait();
|
2016-09-26 00:46:54 +02:00
|
|
|
mark(prof::event::JOINED);
|
2016-09-05 17:53:36 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
ircd::ctx::ctx *
|
|
|
|
ircd::ctx::context::detach()
|
|
|
|
{
|
2017-11-06 21:10:55 +01:00
|
|
|
assert(bool(c));
|
2016-11-29 16:23:38 +01:00
|
|
|
c->flags |= DETACH;
|
2016-09-05 17:53:36 +02:00
|
|
|
return c.release();
|
|
|
|
}
|
|
|
|
|
2016-09-21 23:15:49 +02:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// ctx_pool.h
|
|
|
|
//
|
|
|
|
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::pool::pool(const char *const &name,
|
|
|
|
const size_t &stack_size,
|
|
|
|
const size_t &size)
|
|
|
|
:name{name}
|
|
|
|
,stack_size{stack_size}
|
2017-11-26 03:21:21 +01:00
|
|
|
,running{0}
|
|
|
|
,working{0}
|
2016-09-21 23:15:49 +02:00
|
|
|
{
|
|
|
|
add(size);
|
|
|
|
}
|
|
|
|
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::pool::~pool()
|
2016-09-21 23:15:49 +02:00
|
|
|
noexcept
|
|
|
|
{
|
|
|
|
del(size());
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::pool::operator()(closure closure)
|
2016-09-21 23:15:49 +02:00
|
|
|
{
|
2016-11-29 16:23:38 +01:00
|
|
|
queue.push_back(std::move(closure));
|
2016-09-21 23:15:49 +02:00
|
|
|
dock.notify_one();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::pool::del(const size_t &num)
|
2016-09-21 23:15:49 +02:00
|
|
|
{
|
|
|
|
const ssize_t requested(size() - num);
|
|
|
|
const size_t target(std::max(requested, ssize_t(0)));
|
|
|
|
while(ctxs.size() > target)
|
|
|
|
ctxs.pop_back();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::pool::add(const size_t &num)
|
2016-09-21 23:15:49 +02:00
|
|
|
{
|
|
|
|
for(size_t i(0); i < num; ++i)
|
2016-11-29 16:23:38 +01:00
|
|
|
ctxs.emplace_back(name, stack_size, context::POST, std::bind(&pool::main, this));
|
2016-09-21 23:15:49 +02:00
|
|
|
}
|
|
|
|
|
2017-09-20 04:01:37 +02:00
|
|
|
void
|
|
|
|
ircd::ctx::pool::join()
|
|
|
|
{
|
|
|
|
del(size());
|
|
|
|
}
|
|
|
|
|
2016-09-21 23:15:49 +02:00
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::pool::interrupt()
|
|
|
|
{
|
|
|
|
for(auto &context : ctxs)
|
|
|
|
context.interrupt();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
ircd::ctx::pool::main()
|
2016-09-21 23:15:49 +02:00
|
|
|
try
|
|
|
|
{
|
2017-11-26 03:21:21 +01:00
|
|
|
++running;
|
2017-09-22 22:57:43 +02:00
|
|
|
const unwind avail([this]
|
2016-09-21 23:15:49 +02:00
|
|
|
{
|
2017-11-26 03:21:21 +01:00
|
|
|
--running;
|
2016-09-21 23:15:49 +02:00
|
|
|
});
|
|
|
|
|
|
|
|
while(1)
|
|
|
|
next();
|
|
|
|
}
|
|
|
|
catch(const interrupted &e)
|
|
|
|
{
|
2018-01-18 05:35:56 +01:00
|
|
|
/*
|
2016-09-21 23:15:49 +02:00
|
|
|
log::debug("pool(%p) ctx(%p): %s",
|
|
|
|
this,
|
|
|
|
&cur(),
|
|
|
|
e.what());
|
2018-01-18 05:35:56 +01:00
|
|
|
*/
|
2016-09-21 23:15:49 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::pool::next()
|
2016-09-21 23:15:49 +02:00
|
|
|
try
|
|
|
|
{
|
|
|
|
dock.wait([this]
|
|
|
|
{
|
|
|
|
return !queue.empty();
|
|
|
|
});
|
|
|
|
|
2017-11-26 03:21:21 +01:00
|
|
|
++working;
|
2017-09-22 22:57:43 +02:00
|
|
|
const unwind avail([this]
|
2016-09-21 23:15:49 +02:00
|
|
|
{
|
2017-11-26 03:21:21 +01:00
|
|
|
--working;
|
2016-09-21 23:15:49 +02:00
|
|
|
});
|
|
|
|
|
|
|
|
const auto func(std::move(queue.front()));
|
|
|
|
queue.pop_front();
|
|
|
|
func();
|
|
|
|
}
|
|
|
|
catch(const interrupted &e)
|
|
|
|
{
|
|
|
|
throw;
|
|
|
|
}
|
|
|
|
catch(const std::exception &e)
|
|
|
|
{
|
|
|
|
log::critical("pool(%p) ctx(%p): unhandled: %s",
|
|
|
|
this,
|
|
|
|
&cur(),
|
|
|
|
e.what());
|
|
|
|
}
|
2016-09-26 00:46:54 +02:00
|
|
|
|
2017-10-19 09:58:43 +02:00
|
|
|
void
|
|
|
|
ircd::ctx::debug_stats(const pool &pool)
|
|
|
|
{
|
|
|
|
log::debug("pool '%s' (stack size: %zu) total: %zu avail: %zu queued: %zu active: %zu pending: %zu",
|
|
|
|
pool.name,
|
|
|
|
pool.stack_size,
|
|
|
|
pool.size(),
|
|
|
|
pool.avail(),
|
|
|
|
pool.queued(),
|
|
|
|
pool.active(),
|
|
|
|
pool.pending());
|
|
|
|
}
|
|
|
|
|
2016-09-26 00:46:54 +02:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// ctx_prof.h
|
|
|
|
//
|
|
|
|
|
2017-08-28 23:51:22 +02:00
|
|
|
namespace ircd::ctx::prof
|
|
|
|
{
|
|
|
|
time_point cur_slice_start; // Time slice state
|
2018-02-05 19:47:46 +01:00
|
|
|
uint64_t cur_slice_rdtsc; // Time slice state
|
2017-08-28 23:51:22 +02:00
|
|
|
|
|
|
|
void check_stack();
|
|
|
|
void check_slice();
|
|
|
|
void slice_start();
|
2016-09-26 00:46:54 +02:00
|
|
|
|
2017-08-28 23:51:22 +02:00
|
|
|
void handle_cur_continue();
|
|
|
|
void handle_cur_yield();
|
|
|
|
void handle_cur_leave();
|
|
|
|
void handle_cur_enter();
|
|
|
|
}
|
|
|
|
|
|
|
|
struct ircd::ctx::prof::settings ircd::ctx::prof::settings
|
2016-09-26 00:46:54 +02:00
|
|
|
{
|
2017-11-16 02:20:14 +01:00
|
|
|
0.33, // stack_usage_warning at 1/3 engineering tolerance
|
|
|
|
0.50, // stack_usage_assertion at 1/2 engineering tolerance
|
2016-09-26 00:46:54 +02:00
|
|
|
|
2017-11-16 02:20:14 +01:00
|
|
|
50ms, // slice_warning at 1/20 slices per second
|
|
|
|
0us, // slice_interrupt unused until project more mature...
|
|
|
|
0us, // slice_assertion unused; warning sufficient for now...
|
2016-09-26 00:46:54 +02:00
|
|
|
};
|
|
|
|
|
2018-02-05 19:48:46 +01:00
|
|
|
#ifdef RB_DEBUG
|
2016-09-26 00:46:54 +02:00
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::prof::mark(const event &e)
|
2016-09-26 00:46:54 +02:00
|
|
|
{
|
|
|
|
switch(e)
|
|
|
|
{
|
|
|
|
case event::CUR_ENTER: handle_cur_enter(); break;
|
|
|
|
case event::CUR_LEAVE: handle_cur_leave(); break;
|
|
|
|
case event::CUR_YIELD: handle_cur_yield(); break;
|
|
|
|
case event::CUR_CONTINUE: handle_cur_continue(); break;
|
|
|
|
default: break;
|
|
|
|
}
|
|
|
|
}
|
2018-02-05 19:48:46 +01:00
|
|
|
#else
|
|
|
|
void
|
|
|
|
ircd::ctx::prof::mark(const event &e)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
#endif
|
2016-09-26 00:46:54 +02:00
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::prof::handle_cur_enter()
|
2016-09-26 00:46:54 +02:00
|
|
|
{
|
|
|
|
slice_start();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::prof::handle_cur_leave()
|
2016-09-26 00:46:54 +02:00
|
|
|
{
|
|
|
|
check_slice();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::prof::handle_cur_yield()
|
2016-09-26 00:46:54 +02:00
|
|
|
{
|
|
|
|
check_stack();
|
|
|
|
check_slice();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::prof::handle_cur_continue()
|
2016-09-26 00:46:54 +02:00
|
|
|
{
|
|
|
|
slice_start();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::prof::slice_start()
|
2016-09-26 00:46:54 +02:00
|
|
|
{
|
2018-02-05 19:47:46 +01:00
|
|
|
cur_slice_rdtsc = __rdtsc();
|
2016-09-26 00:46:54 +02:00
|
|
|
cur_slice_start = steady_clock::now();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::prof::check_slice()
|
2016-09-26 00:46:54 +02:00
|
|
|
{
|
2018-02-05 19:47:46 +01:00
|
|
|
const uint64_t now_rdtsc(__rdtsc());
|
|
|
|
const uint64_t rdtsc_usage(now_rdtsc - cur_slice_rdtsc);
|
|
|
|
|
|
|
|
const auto now_sc(steady_clock::now());
|
|
|
|
const auto time_usage(now_sc - cur_slice_start);
|
2016-11-29 16:23:38 +01:00
|
|
|
|
2018-02-05 19:47:46 +01:00
|
|
|
auto &c(cur());
|
2016-11-29 16:23:38 +01:00
|
|
|
c.awake += duration_cast<microseconds>(time_usage);
|
|
|
|
|
2016-09-26 00:46:54 +02:00
|
|
|
if(unlikely(settings.slice_warning > 0us && time_usage >= settings.slice_warning))
|
|
|
|
{
|
2018-02-05 19:47:46 +01:00
|
|
|
log::warning
|
|
|
|
{
|
|
|
|
"context timeslice exceeded '%s' (%lu) total: %06ld$us last: %lu$ns %lu$tsc",
|
|
|
|
name(c),
|
|
|
|
id(c),
|
|
|
|
c.awake.count(),
|
|
|
|
duration_cast<nanoseconds>(time_usage).count(),
|
|
|
|
rdtsc_usage
|
|
|
|
};
|
2016-09-26 00:46:54 +02:00
|
|
|
|
|
|
|
assert(settings.slice_assertion == 0us || time_usage < settings.slice_assertion);
|
|
|
|
}
|
|
|
|
|
|
|
|
if(unlikely(settings.slice_interrupt > 0us && time_usage >= settings.slice_interrupt))
|
2018-02-05 19:47:46 +01:00
|
|
|
throw interrupted
|
|
|
|
{
|
|
|
|
"Time slice exceeded '%s' (%lu) (last: %06ld microseconds)",
|
|
|
|
name(c),
|
|
|
|
id(c),
|
|
|
|
duration_cast<microseconds>(time_usage).count()
|
|
|
|
};
|
2016-09-26 00:46:54 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::prof::check_stack()
|
2016-09-26 00:46:54 +02:00
|
|
|
{
|
|
|
|
auto &c(cur());
|
|
|
|
const double &stack_max(c.stack_max);
|
|
|
|
const auto stack_usage(stack_usage_here(c));
|
|
|
|
|
|
|
|
if(unlikely(stack_usage > stack_max * settings.stack_usage_warning))
|
|
|
|
{
|
2017-09-30 08:06:23 +02:00
|
|
|
log::warning("context stack usage ctx(%p) used %zu of %zu bytes",
|
2016-09-26 00:46:54 +02:00
|
|
|
(const void *)&c,
|
|
|
|
stack_usage,
|
|
|
|
c.stack_max);
|
|
|
|
|
|
|
|
assert(stack_usage < c.stack_max * settings.stack_usage_assertion);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
size_t
|
2017-09-01 02:42:15 +02:00
|
|
|
ircd::ctx::stack_usage_here()
|
|
|
|
{
|
|
|
|
assert(current);
|
|
|
|
return stack_usage_here(*current);
|
|
|
|
}
|
|
|
|
|
|
|
|
size_t
|
|
|
|
ircd::ctx::stack_usage_here(const ctx &ctx)
|
2016-09-26 00:46:54 +02:00
|
|
|
{
|
|
|
|
return ctx.stack_base - uintptr_t(__builtin_frame_address(0));
|
|
|
|
}
|
2016-09-27 10:40:33 +02:00
|
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// ctx_ole.h
|
|
|
|
//
|
|
|
|
|
2017-08-28 23:51:22 +02:00
|
|
|
namespace ircd::ctx::ole
|
|
|
|
{
|
|
|
|
using closure = std::function<void () noexcept>;
|
2016-09-27 10:40:33 +02:00
|
|
|
|
2017-08-28 23:51:22 +02:00
|
|
|
std::mutex mutex;
|
|
|
|
std::condition_variable cond;
|
|
|
|
std::deque<closure> queue;
|
|
|
|
bool interruption;
|
|
|
|
std::thread *thread;
|
2016-09-27 10:40:33 +02:00
|
|
|
|
2017-08-28 23:51:22 +02:00
|
|
|
closure pop();
|
|
|
|
void worker() noexcept;
|
|
|
|
void push(closure &&);
|
|
|
|
}
|
2016-09-27 10:40:33 +02:00
|
|
|
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::ole::init::init()
|
2016-09-27 10:40:33 +02:00
|
|
|
{
|
|
|
|
assert(!thread);
|
|
|
|
interruption = false;
|
|
|
|
thread = new std::thread(&worker);
|
|
|
|
}
|
|
|
|
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::ole::init::~init()
|
2016-09-27 10:40:33 +02:00
|
|
|
noexcept
|
|
|
|
{
|
|
|
|
if(!thread)
|
|
|
|
return;
|
|
|
|
|
|
|
|
mutex.lock();
|
|
|
|
interruption = true;
|
|
|
|
cond.notify_one();
|
|
|
|
mutex.unlock();
|
|
|
|
thread->join();
|
|
|
|
delete thread;
|
|
|
|
thread = nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::ole::offload(const std::function<void ()> &func)
|
2016-09-27 10:40:33 +02:00
|
|
|
{
|
2017-03-29 07:44:01 +02:00
|
|
|
bool done(false);
|
|
|
|
auto *const context(current);
|
2017-03-31 06:12:36 +02:00
|
|
|
const auto kick([&context, &done]
|
2017-03-29 07:44:01 +02:00
|
|
|
{
|
|
|
|
done = true;
|
|
|
|
notify(*context);
|
|
|
|
});
|
|
|
|
|
2016-09-27 10:40:33 +02:00
|
|
|
std::exception_ptr eptr;
|
2017-03-31 06:12:36 +02:00
|
|
|
auto closure([&func, &eptr, &context, &kick]
|
2016-09-27 10:40:33 +02:00
|
|
|
() noexcept
|
|
|
|
{
|
|
|
|
try
|
|
|
|
{
|
|
|
|
func();
|
|
|
|
}
|
|
|
|
catch(...)
|
|
|
|
{
|
|
|
|
eptr = std::current_exception();
|
|
|
|
}
|
|
|
|
|
2017-08-23 22:59:27 +02:00
|
|
|
// To wake the context on the IRCd thread we give it the kick
|
2017-09-20 04:01:37 +02:00
|
|
|
signal(*context, kick);
|
2016-09-27 10:40:33 +02:00
|
|
|
});
|
|
|
|
|
|
|
|
push(std::move(closure)); do
|
|
|
|
{
|
|
|
|
wait();
|
|
|
|
}
|
2017-03-29 07:44:01 +02:00
|
|
|
while(!done);
|
2016-09-27 10:40:33 +02:00
|
|
|
|
|
|
|
if(eptr)
|
|
|
|
std::rethrow_exception(eptr);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::ole::push(closure &&func)
|
2016-09-27 10:40:33 +02:00
|
|
|
{
|
|
|
|
const std::lock_guard<decltype(mutex)> lock(mutex);
|
|
|
|
queue.emplace_back(std::move(func));
|
|
|
|
cond.notify_one();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::ole::worker()
|
2016-09-27 10:40:33 +02:00
|
|
|
noexcept try
|
|
|
|
{
|
|
|
|
while(1)
|
|
|
|
{
|
|
|
|
const auto func(pop());
|
|
|
|
func();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
catch(const interrupted &)
|
|
|
|
{
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2016-11-29 16:23:38 +01:00
|
|
|
ircd::ctx::ole::closure
|
|
|
|
ircd::ctx::ole::pop()
|
2016-09-27 10:40:33 +02:00
|
|
|
{
|
|
|
|
std::unique_lock<decltype(mutex)> lock(mutex);
|
|
|
|
cond.wait(lock, []
|
|
|
|
{
|
|
|
|
if(!queue.empty())
|
|
|
|
return true;
|
|
|
|
|
|
|
|
if(unlikely(interruption))
|
|
|
|
throw interrupted();
|
|
|
|
|
|
|
|
return false;
|
|
|
|
});
|
|
|
|
|
|
|
|
auto c(std::move(queue.front()));
|
|
|
|
queue.pop_front();
|
|
|
|
return std::move(c);
|
|
|
|
}
|
2017-10-12 02:38:24 +02:00
|
|
|
|
2018-01-14 08:10:44 +01:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// ctx_list.h
|
|
|
|
//
|
|
|
|
|
|
|
|
void
|
|
|
|
ircd::ctx::list::remove(ctx *const &c)
|
|
|
|
{
|
|
|
|
assert(c);
|
|
|
|
|
|
|
|
if(c == head)
|
|
|
|
{
|
|
|
|
pop_front();
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
if(c == tail)
|
|
|
|
{
|
|
|
|
pop_back();
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
assert(c->next && c->prev);
|
|
|
|
c->next->prev = c->prev;
|
|
|
|
c->prev->next = c->next;
|
|
|
|
c->next = nullptr;
|
|
|
|
c->prev = nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
ircd::ctx::ctx *
|
|
|
|
ircd::ctx::list::pop_back()
|
|
|
|
{
|
|
|
|
const auto tail
|
|
|
|
{
|
|
|
|
this->tail
|
|
|
|
};
|
|
|
|
|
|
|
|
if(!tail)
|
|
|
|
return tail;
|
|
|
|
|
|
|
|
assert(!tail->next);
|
|
|
|
if(!tail->prev)
|
|
|
|
{
|
|
|
|
this->head = nullptr;
|
|
|
|
this->tail = nullptr;
|
|
|
|
} else {
|
|
|
|
assert(tail->prev->next == tail);
|
|
|
|
tail->prev->next = nullptr;
|
|
|
|
this->tail = tail->prev;
|
|
|
|
}
|
|
|
|
|
|
|
|
tail->prev = nullptr;
|
|
|
|
tail->next = nullptr;
|
|
|
|
return tail;
|
|
|
|
}
|
|
|
|
|
|
|
|
ircd::ctx::ctx *
|
|
|
|
ircd::ctx::list::pop_front()
|
|
|
|
{
|
|
|
|
const auto head
|
|
|
|
{
|
|
|
|
this->head
|
|
|
|
};
|
|
|
|
|
|
|
|
if(!head)
|
|
|
|
return head;
|
|
|
|
|
|
|
|
assert(!head->prev);
|
|
|
|
if(!head->next)
|
|
|
|
{
|
|
|
|
this->head = nullptr;
|
|
|
|
this->tail = nullptr;
|
|
|
|
} else {
|
|
|
|
assert(head->next->prev == head);
|
|
|
|
head->next->prev = nullptr;
|
|
|
|
this->head = head->next;
|
|
|
|
}
|
|
|
|
|
|
|
|
head->prev = nullptr;
|
|
|
|
head->next = nullptr;
|
|
|
|
return head;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
ircd::ctx::list::push_front(ctx *const &c)
|
|
|
|
{
|
|
|
|
assert(c->next == nullptr);
|
|
|
|
assert(c->prev == nullptr);
|
|
|
|
|
|
|
|
if(!head)
|
|
|
|
{
|
|
|
|
head = c;
|
|
|
|
tail = c;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
assert(head->prev == nullptr);
|
|
|
|
head->prev = c;
|
|
|
|
c->next = head;
|
|
|
|
head = c;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
ircd::ctx::list::push_back(ctx *const &c)
|
|
|
|
{
|
|
|
|
assert(c->next == nullptr);
|
|
|
|
assert(c->prev == nullptr);
|
|
|
|
|
|
|
|
if(!tail)
|
|
|
|
{
|
|
|
|
assert(!head);
|
|
|
|
head = c;
|
|
|
|
tail = c;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
assert(tail->next == nullptr);
|
|
|
|
tail->next = c;
|
|
|
|
c->prev = tail;
|
|
|
|
tail = c;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
ircd::ctx::list::rfor_each(const std::function<void (ctx &)> &closure)
|
|
|
|
{
|
|
|
|
for(ctx *tail{this->tail}; tail; tail = prev(tail))
|
|
|
|
closure(*tail);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
ircd::ctx::list::rfor_each(const std::function<void (const ctx &)> &closure)
|
|
|
|
const
|
|
|
|
{
|
|
|
|
for(const ctx *tail{this->tail}; tail; tail = prev(tail))
|
|
|
|
closure(*tail);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
ircd::ctx::list::for_each(const std::function<void (ctx &)> &closure)
|
|
|
|
{
|
|
|
|
for(ctx *head{this->head}; head; head = next(head))
|
|
|
|
closure(*head);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
ircd::ctx::list::for_each(const std::function<void (const ctx &)> &closure)
|
|
|
|
const
|
|
|
|
{
|
|
|
|
for(const ctx *head{this->head}; head; head = next(head))
|
|
|
|
closure(*head);
|
|
|
|
}
|
|
|
|
|
|
|
|
bool
|
|
|
|
ircd::ctx::list::runtil(const std::function<bool (ctx &)> &closure)
|
|
|
|
{
|
|
|
|
for(ctx *tail{this->tail}; tail; tail = prev(tail))
|
|
|
|
if(!closure(*tail))
|
|
|
|
return false;
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool
|
|
|
|
ircd::ctx::list::runtil(const std::function<bool (const ctx &)> &closure)
|
|
|
|
const
|
|
|
|
{
|
|
|
|
for(const ctx *tail{this->tail}; tail; tail = prev(tail))
|
|
|
|
if(!closure(*tail))
|
|
|
|
return false;
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool
|
|
|
|
ircd::ctx::list::until(const std::function<bool (ctx &)> &closure)
|
|
|
|
{
|
|
|
|
for(ctx *head{this->head}; head; head = next(head))
|
|
|
|
if(!closure(*head))
|
|
|
|
return false;
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool
|
|
|
|
ircd::ctx::list::until(const std::function<bool (const ctx &)> &closure)
|
|
|
|
const
|
|
|
|
{
|
|
|
|
for(const ctx *head{this->head}; head; head = next(head))
|
|
|
|
if(!closure(*head))
|
|
|
|
return false;
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
ircd::ctx::ctx *
|
|
|
|
ircd::ctx::list::prev(ctx *const &c)
|
|
|
|
{
|
|
|
|
assert(c);
|
|
|
|
return c->prev;
|
|
|
|
}
|
|
|
|
|
|
|
|
ircd::ctx::ctx *
|
|
|
|
ircd::ctx::list::next(ctx *const &c)
|
|
|
|
{
|
|
|
|
assert(c);
|
|
|
|
return c->next;
|
|
|
|
}
|
|
|
|
|
|
|
|
const ircd::ctx::ctx *
|
|
|
|
ircd::ctx::list::prev(const ctx *const &c)
|
|
|
|
{
|
|
|
|
assert(c);
|
|
|
|
return c->prev;
|
|
|
|
}
|
|
|
|
|
|
|
|
const ircd::ctx::ctx *
|
|
|
|
ircd::ctx::list::next(const ctx *const &c)
|
|
|
|
{
|
|
|
|
assert(c);
|
|
|
|
return c->next;
|
|
|
|
}
|
|
|
|
|
2017-10-12 02:38:24 +02:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// ircd/ios.h
|
|
|
|
//
|
|
|
|
|
|
|
|
void
|
|
|
|
ircd::post(std::function<void ()> function)
|
|
|
|
{
|
|
|
|
ircd::ios->post(std::move(function));
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
ircd::dispatch(std::function<void ()> function)
|
|
|
|
{
|
|
|
|
ircd::ios->dispatch(std::move(function));
|
|
|
|
}
|