lokinet/llarp/util/thread/queue.hpp

568 lines
13 KiB
C++
Raw Normal View History

2018-11-17 21:07:04 +00:00
#ifndef LLARP_QUEUE_HPP
#define LLARP_QUEUE_HPP
2019-09-01 13:26:16 +00:00
#include <util/thread/queue_manager.hpp>
#include <util/thread/threading.hpp>
2018-11-17 21:07:04 +00:00
#include <nonstd/optional.hpp>
2018-11-17 21:07:04 +00:00
#include <atomic>
#include <tuple>
namespace llarp
{
namespace thread
{
template <typename Type>
2018-11-17 21:07:04 +00:00
class QueuePushGuard;
template <typename Type>
2018-11-17 21:07:04 +00:00
class QueuePopGuard;
template <typename Type>
2018-11-17 21:07:04 +00:00
class Queue
{
// This class provides a thread-safe, lock-free, fixed-size queue.
public:
static constexpr size_t Alignment = 64;
private:
Type* m_data;
const char m_dataPadding[Alignment - sizeof(Type*)];
2018-11-17 21:07:04 +00:00
QueueManager m_manager;
std::atomic<std::uint32_t> m_waitingPoppers;
2018-11-17 21:07:04 +00:00
util::Semaphore m_popSemaphore;
const char m_popSemaphorePadding[(2u * Alignment) - sizeof(util::Semaphore)];
2018-11-17 21:07:04 +00:00
std::atomic<std::uint32_t> m_waitingPushers;
2018-11-17 21:07:04 +00:00
util::Semaphore m_pushSemaphore;
const char m_pushSemaphorePadding[(2u * Alignment) - sizeof(util::Semaphore)];
2018-11-17 21:07:04 +00:00
friend QueuePopGuard<Type>;
friend QueuePushGuard<Type>;
2018-11-17 21:07:04 +00:00
public:
explicit Queue(size_t capacity);
~Queue();
Queue(const Queue&) = delete;
Queue&
operator=(const Queue&) = delete;
2018-11-17 21:07:04 +00:00
// Push back to the queue, blocking until space is available (if
// required). Will fail if the queue is disabled (or becomes disabled
// while waiting for space on the queue).
QueueReturn
pushBack(const Type& value);
2018-11-17 21:07:04 +00:00
QueueReturn
pushBack(Type&& value);
2018-11-17 21:07:04 +00:00
// Try to push back to the queue. Return false if the queue is full or
// disabled.
QueueReturn
tryPushBack(const Type& value);
2018-11-17 21:07:04 +00:00
QueueReturn
tryPushBack(Type&& value);
2018-11-17 21:07:04 +00:00
// Remove an element from the queue. Block until an element is available
Type
popFront();
// Remove an element from the queue. Block until an element is available
// or until <timeout> microseconds have elapsed
nonstd::optional<Type>
popFrontWithTimeout(std::chrono::microseconds timeout);
nonstd::optional<Type>
2018-11-17 21:07:04 +00:00
tryPopFront();
// Remove all elements from the queue. Note this is not atomic, and if
// other threads `pushBack` onto the queue during this call, the `size` of
// the queue is not guaranteed to be 0.
void
removeAll();
// Disable the queue. All push operations will fail "fast" (including
// blocked operations). Calling this method on a disabled queue has no
// effect.
void
disable();
// Enable the queue. Calling this method on a disabled queue has no
// effect.
void
enable();
size_t
capacity() const;
size_t
size() const;
bool
enabled() const;
bool
full() const;
bool
empty() const;
};
// Provide a guard class to provide exception safety for pushing to a queue.
// On destruction, unless the `release` method has been called, will remove
// and destroy all elements from the queue, putting the queue into an empty
// state.
template <typename Type>
2018-11-17 21:07:04 +00:00
class QueuePushGuard
{
private:
Queue<Type>* m_queue;
2018-11-17 21:07:04 +00:00
uint32_t m_generation;
uint32_t m_index;
public:
QueuePushGuard(Queue<Type>& queue, uint32_t generation, uint32_t index)
2018-11-17 21:07:04 +00:00
: m_queue(&queue), m_generation(generation), m_index(index)
{
}
~QueuePushGuard();
void
release();
};
// Provide a guard class to provide exception safety for popping from a
// queue. On destruction, this will pop the the given element from the
// queue.
template <typename Type>
2018-11-17 21:07:04 +00:00
class QueuePopGuard
{
private:
Queue<Type>& m_queue;
2018-11-17 21:07:04 +00:00
uint32_t m_generation;
uint32_t m_index;
public:
QueuePopGuard(Queue<Type>& queue, uint32_t generation, uint32_t index)
2018-11-17 21:07:04 +00:00
: m_queue(queue), m_generation(generation), m_index(index)
{
}
~QueuePopGuard();
};
template <typename Type>
Queue<Type>::Queue(size_t capacity)
2018-11-17 21:07:04 +00:00
: m_data(nullptr)
, m_dataPadding()
, m_manager(capacity)
, m_waitingPoppers(0)
, m_popSemaphore(0)
, m_popSemaphorePadding()
, m_waitingPushers(0)
, m_pushSemaphore(0)
, m_pushSemaphorePadding()
{
m_data = static_cast<Type*>(::operator new(capacity * sizeof(Type)));
2018-11-17 21:07:04 +00:00
}
template <typename Type>
Queue<Type>::~Queue()
2018-11-17 21:07:04 +00:00
{
removeAll();
// We have already deleted the queue members above, free as (void *)
::operator delete(static_cast<void*>(m_data));
2018-11-17 21:07:04 +00:00
}
template <typename Type>
2018-11-17 21:07:04 +00:00
QueueReturn
Queue<Type>::tryPushBack(const Type& value)
2018-11-17 21:07:04 +00:00
{
uint32_t generation = 0;
uint32_t index = 0;
2018-11-17 21:07:04 +00:00
// Sync point A
//
// The next call writes with full sequential consistency to the push
// index, which guarantees that the relaxed read to the waiting poppers
// count sees any waiting poppers from Sync point B.
QueueReturn retVal = m_manager.reservePushIndex(generation, index);
if (retVal != QueueReturn::Success)
2018-11-17 21:07:04 +00:00
{
return retVal;
}
// Copy into the array. If the copy constructor throws, the pushGuard will
// roll the reserve back.
QueuePushGuard<Type> pushGuard(*this, generation, index);
2018-11-17 21:07:04 +00:00
// Construct in place.
::new (&m_data[index]) Type(value);
2018-11-17 21:07:04 +00:00
pushGuard.release();
m_manager.commitPushIndex(generation, index);
if (m_waitingPoppers > 0)
2018-11-17 21:07:04 +00:00
{
m_popSemaphore.notify();
}
return QueueReturn::Success;
}
template <typename Type>
2018-11-17 21:07:04 +00:00
QueueReturn
Queue<Type>::tryPushBack(Type&& value)
2018-11-17 21:07:04 +00:00
{
uint32_t generation = 0;
uint32_t index = 0;
2018-11-17 21:07:04 +00:00
// Sync point A
//
// The next call writes with full sequential consistency to the push
// index, which guarantees that the relaxed read to the waiting poppers
// count sees any waiting poppers from Sync point B.
QueueReturn retVal = m_manager.reservePushIndex(generation, index);
if (retVal != QueueReturn::Success)
2018-11-17 21:07:04 +00:00
{
return retVal;
}
// Copy into the array. If the copy constructor throws, the pushGuard will
// roll the reserve back.
QueuePushGuard<Type> pushGuard(*this, generation, index);
2018-11-17 21:07:04 +00:00
Type& dummy = value;
2018-11-17 21:07:04 +00:00
// Construct in place.
::new (&m_data[index]) Type(std::move(dummy));
2018-11-17 21:07:04 +00:00
pushGuard.release();
m_manager.commitPushIndex(generation, index);
if (m_waitingPoppers > 0)
2018-11-17 21:07:04 +00:00
{
m_popSemaphore.notify();
}
return QueueReturn::Success;
}
template <typename Type>
nonstd::optional<Type>
Queue<Type>::tryPopFront()
2018-11-17 21:07:04 +00:00
{
uint32_t generation;
uint32_t index;
// Sync Point C.
//
// The call to reservePopIndex writes with full *sequential* consistency,
// which guarantees the relaxed read to waiting poppers is synchronized
// with Sync Point D.
QueueReturn retVal = m_manager.reservePopIndex(generation, index);
if (retVal != QueueReturn::Success)
2018-11-17 21:07:04 +00:00
{
return {};
}
// Pop guard will (even if the move/copy constructor throws)
// - destroy the original object
// - update the queue
// - notify any waiting pushers
QueuePopGuard<Type> popGuard(*this, generation, index);
return nonstd::optional<Type>(std::move(m_data[index]));
2018-11-17 21:07:04 +00:00
}
template <typename Type>
2018-11-17 21:07:04 +00:00
QueueReturn
Queue<Type>::pushBack(const Type& value)
2018-11-17 21:07:04 +00:00
{
for (;;)
2018-11-17 21:07:04 +00:00
{
QueueReturn retVal = tryPushBack(value);
switch (retVal)
2018-11-17 21:07:04 +00:00
{
// Queue disabled.
case QueueReturn::QueueDisabled:
// We pushed the value back
case QueueReturn::Success:
return retVal;
default:
// continue on.
break;
}
m_waitingPushers.fetch_add(1, std::memory_order_relaxed);
// Sync Point B.
//
// The call to `full` below loads the push index with full *sequential*
// consistency, which gives visibility of the change above to
// waiting pushers in Synchronisation Point B.
if (full() && enabled())
2018-11-17 21:07:04 +00:00
{
m_pushSemaphore.wait();
}
m_waitingPushers.fetch_add(-1, std::memory_order_relaxed);
}
}
template <typename Type>
2018-11-17 21:07:04 +00:00
QueueReturn
Queue<Type>::pushBack(Type&& value)
2018-11-17 21:07:04 +00:00
{
for (;;)
2018-11-17 21:07:04 +00:00
{
QueueReturn retVal = tryPushBack(std::move(value));
switch (retVal)
2018-11-17 21:07:04 +00:00
{
// Queue disabled.
case QueueReturn::QueueDisabled:
// We pushed the value back
case QueueReturn::Success:
return retVal;
default:
// continue on.
break;
}
m_waitingPushers.fetch_add(1, std::memory_order_relaxed);
// Sync Point B.
//
// The call to `full` below loads the push index with full *sequential*
// consistency, which gives visibility of the change above to
// waiting pushers in Synchronisation Point C.
if (full() && enabled())
2018-11-17 21:07:04 +00:00
{
m_pushSemaphore.wait();
}
m_waitingPushers.fetch_add(-1, std::memory_order_relaxed);
}
}
template <typename Type>
2018-11-17 21:07:04 +00:00
Type
Queue<Type>::popFront()
2018-11-17 21:07:04 +00:00
{
uint32_t generation = 0;
uint32_t index = 0;
while (m_manager.reservePopIndex(generation, index) != QueueReturn::Success)
2018-11-17 21:07:04 +00:00
{
m_waitingPoppers.fetch_add(1, std::memory_order_relaxed);
if (empty())
2018-11-17 21:07:04 +00:00
{
m_popSemaphore.wait();
}
m_waitingPoppers.fetch_sub(1, std::memory_order_relaxed);
}
QueuePopGuard<Type> popGuard(*this, generation, index);
2018-11-17 21:07:04 +00:00
return Type(std::move(m_data[index]));
}
template <typename Type>
nonstd::optional<Type>
Queue<Type>::popFrontWithTimeout(std::chrono::microseconds timeout)
{
uint32_t generation = 0;
uint32_t index = 0;
bool secondTry = false;
bool success = false;
for (;;)
{
success = m_manager.reservePopIndex(generation, index) == QueueReturn::Success;
if (secondTry || success)
2020-03-07 01:20:11 +00:00
break;
m_waitingPoppers.fetch_add(1, std::memory_order_relaxed);
if (empty())
{
m_popSemaphore.waitFor(timeout);
secondTry = true;
}
m_waitingPoppers.fetch_sub(1, std::memory_order_relaxed);
}
if (success)
{
QueuePopGuard<Type> popGuard(*this, generation, index);
return Type(std::move(m_data[index]));
}
return {};
}
template <typename Type>
2018-11-17 21:07:04 +00:00
void
Queue<Type>::removeAll()
2018-11-17 21:07:04 +00:00
{
size_t elemCount = size();
uint32_t poppedItems = 0;
while (poppedItems++ < elemCount)
2018-11-17 21:07:04 +00:00
{
uint32_t generation = 0;
uint32_t index = 0;
2018-11-17 21:07:04 +00:00
if (m_manager.reservePopIndex(generation, index) != QueueReturn::Success)
2018-11-17 21:07:04 +00:00
{
break;
}
m_data[index].~Type();
m_manager.commitPopIndex(generation, index);
}
size_t wakeups = std::min(poppedItems, m_waitingPushers.load());
while (wakeups--)
2018-11-17 21:07:04 +00:00
{
m_pushSemaphore.notify();
}
}
template <typename Type>
2018-11-17 21:07:04 +00:00
void
Queue<Type>::disable()
2018-11-17 21:07:04 +00:00
{
m_manager.disable();
uint32_t numWaiting = m_waitingPushers;
while (numWaiting--)
2018-11-17 21:07:04 +00:00
{
m_pushSemaphore.notify();
}
}
template <typename Type>
2018-11-17 21:07:04 +00:00
void
Queue<Type>::enable()
2018-11-17 21:07:04 +00:00
{
m_manager.enable();
}
template <typename Type>
2018-11-17 21:07:04 +00:00
size_t
Queue<Type>::capacity() const
2018-11-17 21:07:04 +00:00
{
return m_manager.capacity();
}
template <typename Type>
2018-11-17 21:07:04 +00:00
size_t
Queue<Type>::size() const
2018-11-17 21:07:04 +00:00
{
return m_manager.size();
}
template <typename Type>
2018-11-17 21:07:04 +00:00
bool
Queue<Type>::enabled() const
2018-11-17 21:07:04 +00:00
{
return m_manager.enabled();
}
template <typename Type>
2018-11-17 21:07:04 +00:00
bool
Queue<Type>::full() const
2018-11-17 21:07:04 +00:00
{
return (capacity() <= size());
}
template <typename Type>
2018-11-17 21:07:04 +00:00
bool
Queue<Type>::empty() const
2018-11-17 21:07:04 +00:00
{
return (0 >= size());
}
template <typename Type>
QueuePushGuard<Type>::~QueuePushGuard()
2018-11-17 21:07:04 +00:00
{
if (m_queue)
2018-11-17 21:07:04 +00:00
{
// Thread currently has the cell at index/generation. Dispose of it.
uint32_t generation = 0;
uint32_t index = 0;
2018-11-17 21:07:04 +00:00
// We should always have at least one item to pop.
size_t poppedItems = 1;
while (m_queue->m_manager.reservePopForClear(generation, index, m_generation, m_index))
2018-11-17 21:07:04 +00:00
{
m_queue->m_data[index].~Type();
poppedItems++;
m_queue->m_manager.commitPopIndex(generation, index);
}
// And release
m_queue->m_manager.abortPushIndexReservation(m_generation, m_index);
while (poppedItems--)
2018-11-17 21:07:04 +00:00
{
m_queue->m_pushSemaphore.notify();
}
}
}
template <typename Type>
2018-11-17 21:07:04 +00:00
void
QueuePushGuard<Type>::release()
2018-11-17 21:07:04 +00:00
{
m_queue = nullptr;
}
template <typename Type>
QueuePopGuard<Type>::~QueuePopGuard()
2018-11-17 21:07:04 +00:00
{
m_queue.m_data[m_index].~Type();
m_queue.m_manager.commitPopIndex(m_generation, m_index);
// Notify a pusher
if (m_queue.m_waitingPushers > 0)
2018-11-17 21:07:04 +00:00
{
m_queue.m_pushSemaphore.notify();
}
}
} // namespace thread
} // namespace llarp
#endif