Add ConsumableQueue helper container.
This commit is contained in:
parent
8212d9e16a
commit
3d8183248c
169
source/eventcore/internal/consumablequeue.d
Normal file
169
source/eventcore/internal/consumablequeue.d
Normal file
|
@ -0,0 +1,169 @@
|
||||||
|
module eventcore.internal.consumablequeue;
|
||||||
|
|
||||||
|
/** FIFO queue with support for chunk-wise consumption.
|
||||||
|
*/
|
||||||
|
class ConsumableQueue(T)
|
||||||
|
{
|
||||||
|
nothrow:
|
||||||
|
|
||||||
|
private {
|
||||||
|
struct Slot {
|
||||||
|
T value;
|
||||||
|
uint rc;
|
||||||
|
}
|
||||||
|
Slot[] m_storage;
|
||||||
|
size_t m_capacityMask;
|
||||||
|
size_t m_first;
|
||||||
|
size_t m_consumedCount;
|
||||||
|
size_t m_pendingCount;
|
||||||
|
}
|
||||||
|
|
||||||
|
@property size_t length() const { return m_pendingCount; }
|
||||||
|
|
||||||
|
/** Inserts a single element into the queue.
|
||||||
|
*/
|
||||||
|
@safe void put(T element)
|
||||||
|
{
|
||||||
|
reserve(1);
|
||||||
|
auto idx = (m_first + m_consumedCount + m_pendingCount++) & m_capacityMask;
|
||||||
|
m_storage[idx] = Slot(element, 0);
|
||||||
|
}
|
||||||
|
|
||||||
|
/** Reserves space for inserting at least `count` elements.
|
||||||
|
*/
|
||||||
|
void reserve(size_t count)
|
||||||
|
@safe {
|
||||||
|
auto min_capacity = m_consumedCount + m_pendingCount + count;
|
||||||
|
if (min_capacity <= m_storage.length)
|
||||||
|
return;
|
||||||
|
|
||||||
|
auto new_capacity = m_storage.length ? m_storage.length : 16;
|
||||||
|
while (new_capacity < min_capacity) new_capacity *= 2;
|
||||||
|
auto new_capacity_mask = new_capacity - 1;
|
||||||
|
|
||||||
|
auto new_storage = new Slot[new_capacity];
|
||||||
|
foreach (i; 0 .. m_consumedCount + m_pendingCount)
|
||||||
|
new_storage[(m_first + i) & new_capacity_mask] = m_storage[(m_first + i) & m_capacityMask];
|
||||||
|
|
||||||
|
m_storage = new_storage;
|
||||||
|
m_capacityMask = new_capacity_mask;
|
||||||
|
}
|
||||||
|
|
||||||
|
/** Consumes all elements of the queue and returns a range containing the
|
||||||
|
consumed elements.
|
||||||
|
|
||||||
|
Any elements added after the call to `consume` will not show up in the
|
||||||
|
returned range.
|
||||||
|
*/
|
||||||
|
ConsumedRange consume()
|
||||||
|
@safe {
|
||||||
|
auto first = m_first;
|
||||||
|
auto count = m_pendingCount;
|
||||||
|
m_first += count;
|
||||||
|
m_pendingCount = 0;
|
||||||
|
return ConsumedRange(this, first, count);
|
||||||
|
}
|
||||||
|
|
||||||
|
static struct ConsumedRange {
|
||||||
|
nothrow:
|
||||||
|
|
||||||
|
private {
|
||||||
|
ConsumableQueue m_queue;
|
||||||
|
size_t m_first;
|
||||||
|
size_t m_count;
|
||||||
|
}
|
||||||
|
|
||||||
|
this(ConsumableQueue queue, size_t first, size_t count)
|
||||||
|
{
|
||||||
|
m_queue = queue;
|
||||||
|
m_queue.m_storage[first].rc++;
|
||||||
|
m_first = first;
|
||||||
|
m_count = count;
|
||||||
|
}
|
||||||
|
|
||||||
|
this(this)
|
||||||
|
{
|
||||||
|
m_queue.m_storage[m_first].rc++;
|
||||||
|
}
|
||||||
|
|
||||||
|
~this()
|
||||||
|
{
|
||||||
|
m_queue.consumed(m_first, false);
|
||||||
|
}
|
||||||
|
|
||||||
|
@property ConsumedRange save() { return this; }
|
||||||
|
|
||||||
|
@property bool empty() const { return m_count == 0; }
|
||||||
|
|
||||||
|
@property size_t length() const { return m_count; }
|
||||||
|
|
||||||
|
@property ref inout(T) front() inout { return m_queue.m_storage[m_first].value; }
|
||||||
|
|
||||||
|
void popFront()
|
||||||
|
{
|
||||||
|
m_queue.consumed(m_first, m_count > 1);
|
||||||
|
m_first++;
|
||||||
|
m_count--;
|
||||||
|
}
|
||||||
|
|
||||||
|
ref inout(T) opIndex(size_t idx) inout { return m_queue.m_storage[(m_first + idx) & m_queue.m_capacityMask].value; }
|
||||||
|
|
||||||
|
int opApply(scope int delegate(ref T) @safe nothrow del)
|
||||||
|
{
|
||||||
|
foreach (i; 0 .. m_count)
|
||||||
|
if (auto ret = del(m_queue.m_storage[(m_first + i) & m_queue.m_capacityMask].value))
|
||||||
|
return ret;
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
private void consumed(size_t first, bool shift_up)
|
||||||
|
{
|
||||||
|
if (shift_up) {
|
||||||
|
if (!--m_storage[first].rc && first == m_first) {
|
||||||
|
m_first++;
|
||||||
|
m_consumedCount--;
|
||||||
|
}
|
||||||
|
m_storage[(first+1) & m_capacityMask].rc++;
|
||||||
|
} else {
|
||||||
|
m_storage[first].rc--;
|
||||||
|
if (first == m_first)
|
||||||
|
while (!m_storage[m_first].rc) {
|
||||||
|
m_first++;
|
||||||
|
m_consumedCount--;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
///
|
||||||
|
unittest {
|
||||||
|
import std.algorithm.comparison : equal;
|
||||||
|
auto q = new ConsumableQueue!int;
|
||||||
|
|
||||||
|
q.put(1);
|
||||||
|
q.put(2);
|
||||||
|
q.put(3);
|
||||||
|
|
||||||
|
auto r1 = q.consume;
|
||||||
|
assert(r1.length == 3);
|
||||||
|
|
||||||
|
q.put(4);
|
||||||
|
q.put(5);
|
||||||
|
|
||||||
|
auto r2 = q.consume;
|
||||||
|
assert(r2.length == 2);
|
||||||
|
|
||||||
|
q.put(6);
|
||||||
|
|
||||||
|
auto r3 = r1.save;
|
||||||
|
assert(r3.length == 3);
|
||||||
|
|
||||||
|
assert(r2.equal([4, 5]));
|
||||||
|
assert(r1.equal([1, 2, 3]));
|
||||||
|
assert(r3.equal([1, 2, 3]));
|
||||||
|
assert(q.m_consumedCount == 0);
|
||||||
|
assert(q.length == 1);
|
||||||
|
assert(q.consume.equal([6]));
|
||||||
|
assert(q.length == 0);
|
||||||
|
}
|
Loading…
Reference in a new issue