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.
|
2017-09-30 08:06:23 +02:00
|
|
|
|
|
|
|
#pragma once
|
|
|
|
#define HAVE_IRCD_CTX_PEEK_H
|
|
|
|
|
|
|
|
namespace ircd::ctx
|
|
|
|
{
|
|
|
|
template<class T> class peek;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Device for a context to share data on its stack with others while yielding
|
|
|
|
///
|
|
|
|
/// The peek yields a context while other contexts examine the object pointed
|
|
|
|
/// to in the peek. This allows a producing context to construct something
|
|
|
|
/// on its stack and then wait for the consuming contexts to do something with
|
|
|
|
/// that data before the producer resumes and potentially destroys the data.
|
|
|
|
/// This creates a very simple and lightweight single-producer/multi-consumer
|
|
|
|
/// queue mechanism using only context switching.
|
|
|
|
///
|
|
|
|
/// Consumers get one chance to safely peek the data when a call to wait()
|
|
|
|
/// returns. Once the consumer context yields again for any reason the data is
|
|
|
|
/// potentially invalid. The data can only be peeked once by the consumer
|
|
|
|
/// because the second call to wait() will yield until the next data is
|
|
|
|
/// made available by the producer, not the same data.
|
|
|
|
///
|
|
|
|
/// Producers will share an object during the call to notify(). Once the call
|
|
|
|
/// to notify() returns all consumers have peeked the data and the producer is
|
|
|
|
/// free to destroy it.
|
|
|
|
///
|
|
|
|
template<class T>
|
|
|
|
class ircd::ctx::peek
|
|
|
|
{
|
|
|
|
T *t {nullptr};
|
|
|
|
dock a, b;
|
|
|
|
|
|
|
|
bool ready() const;
|
|
|
|
|
|
|
|
public:
|
|
|
|
size_t waiting() const;
|
|
|
|
|
|
|
|
// Consumer interface;
|
|
|
|
template<class time_point> T &wait_until(time_point&&);
|
|
|
|
template<class duration> T &wait_for(const duration &);
|
|
|
|
T &wait();
|
|
|
|
|
|
|
|
// Producer interface;
|
|
|
|
void notify(T &);
|
|
|
|
|
|
|
|
peek() = default;
|
|
|
|
~peek() noexcept;
|
|
|
|
};
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
ircd::ctx::peek<T>::~peek()
|
|
|
|
noexcept
|
|
|
|
{
|
|
|
|
assert(!waiting());
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
void
|
|
|
|
ircd::ctx::peek<T>::notify(T &t)
|
|
|
|
{
|
|
|
|
const unwind afterward{[this]
|
|
|
|
{
|
|
|
|
assert(a.empty());
|
|
|
|
this->t = nullptr;
|
|
|
|
if(!b.empty())
|
|
|
|
{
|
|
|
|
b.notify_all();
|
|
|
|
yield();
|
|
|
|
}
|
|
|
|
}};
|
|
|
|
|
|
|
|
assert(b.empty());
|
|
|
|
this->t = &t;
|
|
|
|
a.notify_all();
|
|
|
|
yield();
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
T &
|
|
|
|
ircd::ctx::peek<T>::wait()
|
|
|
|
{
|
|
|
|
b.wait([this]
|
|
|
|
{
|
|
|
|
return !ready();
|
|
|
|
});
|
|
|
|
|
|
|
|
a.wait([this]
|
|
|
|
{
|
|
|
|
return ready();
|
|
|
|
});
|
|
|
|
|
|
|
|
assert(t != nullptr);
|
|
|
|
return *t;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
template<class duration>
|
|
|
|
T &
|
|
|
|
ircd::ctx::peek<T>::wait_for(const duration &dur)
|
|
|
|
{
|
|
|
|
return wait_until(now<steady_point>() + dur);
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
template<class time_point>
|
|
|
|
T &
|
|
|
|
ircd::ctx::peek<T>::wait_until(time_point&& tp)
|
|
|
|
{
|
|
|
|
if(!b.wait_until(tp, [this]
|
|
|
|
{
|
|
|
|
return !ready();
|
|
|
|
}))
|
|
|
|
throw timeout();
|
|
|
|
|
|
|
|
if(!a.wait_until(tp, [this]
|
|
|
|
{
|
|
|
|
return ready();
|
|
|
|
}))
|
|
|
|
throw timeout();
|
|
|
|
|
|
|
|
assert(t != nullptr);
|
|
|
|
return *t;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
size_t
|
|
|
|
ircd::ctx::peek<T>::waiting()
|
|
|
|
const
|
|
|
|
{
|
|
|
|
return a.size() + b.size();
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class T>
|
|
|
|
bool
|
|
|
|
ircd::ctx::peek<T>::ready()
|
|
|
|
const
|
|
|
|
{
|
|
|
|
return t != nullptr;
|
|
|
|
}
|