ConcurrentVector.h [plain text]
#pragma once
#include <wtf/ConcurrentBuffer.h>
#include <wtf/Noncopyable.h>
namespace WTF {
template <typename T, size_t SegmentSize = 8> class ConcurrentVector;
template <typename T, size_t SegmentSize = 8> class ConcurrentVectorIterator {
WTF_MAKE_FAST_ALLOCATED;
private:
friend class ConcurrentVector<T, SegmentSize>;
public:
typedef ConcurrentVectorIterator<T, SegmentSize> Iterator;
~ConcurrentVectorIterator() { }
T& operator*() const { return m_vector.at(m_index); }
T* operator->() const { return &m_vector.at(m_index); }
Iterator& operator++()
{
m_index++;
return *this;
}
bool operator==(const Iterator& other) const
{
return m_index == other.m_index && &m_vector == &other.m_vector;
}
bool operator!=(const Iterator& other) const
{
return m_index != other.m_index || &m_vector != &other.m_vector;
}
ConcurrentVectorIterator& operator=(const ConcurrentVectorIterator<T, SegmentSize>& other)
{
m_vector = other.m_vector;
m_index = other.m_index;
return *this;
}
private:
ConcurrentVectorIterator(ConcurrentVector<T, SegmentSize>& vector, size_t index)
: m_vector(vector)
, m_index(index)
{
}
ConcurrentVector<T, SegmentSize>& m_vector;
size_t m_index;
};
template <typename T, size_t SegmentSize>
class ConcurrentVector final {
friend class ConcurrentVectorIterator<T, SegmentSize>;
WTF_MAKE_NONCOPYABLE(ConcurrentVector);
WTF_MAKE_FAST_ALLOCATED;
public:
typedef ConcurrentVectorIterator<T, SegmentSize> Iterator;
ConcurrentVector() = default;
~ConcurrentVector()
{
}
size_t size() const { return m_size; }
bool isEmpty() const { return !size(); }
T& at(size_t index)
{
ASSERT_WITH_SECURITY_IMPLICATION(index < m_size);
return segmentFor(index)->entries[subscriptFor(index)];
}
const T& at(size_t index) const
{
return const_cast<ConcurrentVector<T, SegmentSize>*>(this)->at(index);
}
T& operator[](size_t index)
{
return at(index);
}
const T& operator[](size_t index) const
{
return at(index);
}
T& first()
{
ASSERT_WITH_SECURITY_IMPLICATION(!isEmpty());
return at(0);
}
const T& first() const
{
ASSERT_WITH_SECURITY_IMPLICATION(!isEmpty());
return at(0);
}
T& last()
{
ASSERT_WITH_SECURITY_IMPLICATION(!isEmpty());
return at(size() - 1);
}
const T& last() const
{
ASSERT_WITH_SECURITY_IMPLICATION(!isEmpty());
return at(size() - 1);
}
T takeLast()
{
ASSERT_WITH_SECURITY_IMPLICATION(!isEmpty());
T result = WTFMove(last());
--m_size;
return result;
}
template<typename... Args>
void append(Args&&... args)
{
++m_size;
if (!segmentExistsFor(m_size - 1))
allocateSegment();
new (NotNull, &last()) T(std::forward<Args>(args)...);
}
template<typename... Args>
T& alloc(Args&&... args)
{
append(std::forward<Args>(args)...);
return last();
}
void removeLast()
{
last().~T();
--m_size;
}
void grow(size_t size)
{
if (size == m_size)
return;
ASSERT(size > m_size);
ensureSegmentsFor(size);
size_t oldSize = m_size;
m_size = size;
for (size_t i = oldSize; i < m_size; ++i)
new (NotNull, &at(i)) T();
}
Iterator begin()
{
return Iterator(*this, 0);
}
Iterator end()
{
return Iterator(*this, m_size);
}
private:
struct Segment {
WTF_MAKE_STRUCT_FAST_ALLOCATED;
T entries[SegmentSize];
};
bool segmentExistsFor(size_t index)
{
return index / SegmentSize < m_numSegments;
}
Segment* segmentFor(size_t index)
{
return m_segments[index / SegmentSize].get();
}
size_t subscriptFor(size_t index)
{
return index % SegmentSize;
}
void ensureSegmentsFor(size_t size)
{
size_t segmentCount = (m_size + SegmentSize - 1) / SegmentSize;
size_t neededSegmentCount = (size + SegmentSize - 1) / SegmentSize;
for (size_t i = segmentCount ? segmentCount - 1 : 0; i < neededSegmentCount; ++i)
ensureSegment(i);
}
void ensureSegment(size_t segmentIndex)
{
ASSERT_WITH_SECURITY_IMPLICATION(segmentIndex <= m_numSegments);
if (segmentIndex == m_numSegments)
allocateSegment();
}
void allocateSegment()
{
m_segments.grow(m_numSegments + 1);
m_segments[m_numSegments++] = makeUnique<Segment>();
}
size_t m_size { 0 };
ConcurrentBuffer<std::unique_ptr<Segment>> m_segments;
size_t m_numSegments { 0 };
};
}
using WTF::ConcurrentVector;