2011-07-01 13:46:39 +10:00
|
|
|
/*
|
2018-08-04 15:14:06 +10:00
|
|
|
* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
2011-07-01 13:46:39 +10:00
|
|
|
*
|
2016-01-19 18:29:13 +11:00
|
|
|
* Copyright 2011-2016 Danny Robson <danny@nerdcruft.net>
|
2011-07-01 13:46:39 +10:00
|
|
|
*/
|
|
|
|
|
2018-02-28 11:49:13 +11:00
|
|
|
#ifndef CRUFT_UTIL_POOL_HPP
|
|
|
|
#define CRUFT_UTIL_POOL_HPP
|
2011-07-01 13:46:39 +10:00
|
|
|
|
|
|
|
#include "nocopy.hpp"
|
2018-02-28 11:49:13 +11:00
|
|
|
#include "debug.hpp"
|
2018-07-04 14:02:29 +10:00
|
|
|
#include "cast.hpp"
|
2011-07-01 13:46:39 +10:00
|
|
|
|
2018-03-14 18:15:07 +11:00
|
|
|
#include <atomic>
|
2018-08-13 14:51:33 +10:00
|
|
|
#include <new>
|
|
|
|
|
2018-12-17 12:56:07 +11:00
|
|
|
#include <cstddef>
|
2018-02-28 11:49:13 +11:00
|
|
|
#include <cstdint>
|
2014-12-31 19:07:25 +11:00
|
|
|
|
2018-08-05 14:42:02 +10:00
|
|
|
namespace cruft {
|
2016-02-04 12:41:23 +11:00
|
|
|
/// a simple pre-allocated pool for storage of PODs.
|
|
|
|
///
|
|
|
|
/// non-POD types can be stored, but there are no guarantees for calling
|
|
|
|
/// item destructors at pool destruction time.
|
2012-08-22 16:12:26 +10:00
|
|
|
template <typename T>
|
2018-03-14 18:15:07 +11:00
|
|
|
class pool {
|
2017-01-05 19:50:00 +11:00
|
|
|
protected:
|
2018-03-14 18:15:07 +11:00
|
|
|
union node;
|
|
|
|
|
2018-07-04 14:02:29 +10:00
|
|
|
union alignas(node*) node {
|
2018-03-14 18:15:07 +11:00
|
|
|
std::atomic<node*> next;
|
2018-07-04 14:02:51 +10:00
|
|
|
std::byte data[sizeof(T)];
|
2017-01-05 19:50:00 +11:00
|
|
|
};
|
2011-10-07 21:58:16 +11:00
|
|
|
|
2018-03-14 18:15:07 +11:00
|
|
|
static_assert (std::atomic<node*>::is_always_lock_free);
|
|
|
|
|
|
|
|
// root address of allocation. used in deletion at destruction time.
|
|
|
|
node* m_head;
|
2016-01-19 18:29:13 +11:00
|
|
|
|
2018-03-14 18:15:07 +11:00
|
|
|
// the next available entry in the linked list
|
|
|
|
std::atomic<node *> m_next;
|
|
|
|
|
|
|
|
// the total number of items that could be stored
|
2018-12-17 12:56:07 +11:00
|
|
|
std::size_t m_capacity;
|
2018-03-14 18:15:07 +11:00
|
|
|
|
|
|
|
// the number of items currently stored.
|
|
|
|
std::atomic<size_t> m_size;
|
2011-10-07 21:58:16 +11:00
|
|
|
|
2017-01-05 19:50:00 +11:00
|
|
|
public:
|
2018-03-14 18:15:07 +11:00
|
|
|
pool (const pool&) = delete;
|
|
|
|
pool& operator= (const pool&) = delete;
|
|
|
|
|
2018-07-04 14:03:38 +10:00
|
|
|
pool (pool&&) noexcept;
|
2018-03-14 18:15:07 +11:00
|
|
|
pool& operator= (pool&&);
|
|
|
|
|
2017-01-05 19:50:00 +11:00
|
|
|
explicit
|
2018-12-17 12:56:07 +11:00
|
|
|
pool (std::size_t _capacity):
|
2018-02-28 11:49:13 +11:00
|
|
|
m_capacity (_capacity),
|
2018-03-14 18:15:07 +11:00
|
|
|
m_size (0u)
|
2018-02-28 11:49:13 +11:00
|
|
|
{
|
|
|
|
// allocate the memory and note the base address for deletion in destructor
|
2018-03-14 18:15:07 +11:00
|
|
|
m_next = m_head = new node[m_capacity];
|
2018-02-28 11:49:13 +11:00
|
|
|
|
2018-03-14 18:15:07 +11:00
|
|
|
// build out a complete singly linked list from all the nodes.
|
|
|
|
for (size_t i = 0; i < m_capacity - 1; ++i)
|
|
|
|
m_next[i].next = m_next + i + 1;
|
|
|
|
m_next[m_capacity - 1].next = nullptr;
|
2018-02-28 11:49:13 +11:00
|
|
|
}
|
|
|
|
|
|
|
|
~pool ()
|
|
|
|
{
|
|
|
|
// don't check if everything's been returned as pools are often used
|
|
|
|
// for PODs which don't need to be destructed via calling release.
|
|
|
|
delete [] m_head;
|
|
|
|
}
|
2011-07-01 13:46:39 +10:00
|
|
|
|
2017-01-05 19:50:00 +11:00
|
|
|
// Data management
|
2018-03-14 18:15:07 +11:00
|
|
|
[[nodiscard]] T*
|
|
|
|
allocate (void)
|
2018-02-28 11:49:13 +11:00
|
|
|
{
|
|
|
|
// double check we have enough capacity left
|
|
|
|
if (!m_next)
|
|
|
|
throw std::bad_alloc ();
|
|
|
|
CHECK_LT (m_size, m_capacity);
|
|
|
|
|
2018-03-14 18:15:07 +11:00
|
|
|
// unlink the current cursor
|
|
|
|
do {
|
|
|
|
node* curr = m_next;
|
|
|
|
node* soon = curr->next;
|
2018-02-28 11:49:13 +11:00
|
|
|
|
2018-03-14 18:15:07 +11:00
|
|
|
if (m_next.compare_exchange_weak (curr, soon)) {
|
|
|
|
++m_size;
|
2018-08-05 14:42:02 +10:00
|
|
|
return std::launder (cruft::cast::alignment<T*> (curr));
|
2018-03-14 18:15:07 +11:00
|
|
|
}
|
|
|
|
} while (1);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
deallocate (T *base)
|
|
|
|
{
|
2018-08-05 14:42:02 +10:00
|
|
|
auto soon = cruft::cast::alignment<node*> (base);
|
2018-03-14 18:15:07 +11:00
|
|
|
|
|
|
|
do {
|
|
|
|
node *curr = m_next;
|
|
|
|
soon->next = curr;
|
|
|
|
if (m_next.compare_exchange_weak (curr, soon)) {
|
|
|
|
--m_size;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
} while (1);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
template <typename ...Args>
|
|
|
|
T*
|
|
|
|
construct (Args &&...args)
|
|
|
|
{
|
|
|
|
auto ptr = allocate ();
|
2018-02-28 11:49:13 +11:00
|
|
|
try {
|
2018-03-14 18:15:07 +11:00
|
|
|
return new (ptr) T (std::forward<Args> (args)...);
|
2018-02-28 11:49:13 +11:00
|
|
|
} catch (...) {
|
2018-03-14 18:15:07 +11:00
|
|
|
deallocate (ptr);
|
2018-02-28 11:49:13 +11:00
|
|
|
throw;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2018-03-14 18:15:07 +11:00
|
|
|
void
|
|
|
|
destroy (T *ptr)
|
|
|
|
{
|
|
|
|
ptr->~T ();
|
|
|
|
deallocate (ptr);
|
2018-02-28 11:49:13 +11:00
|
|
|
}
|
2014-12-31 19:07:25 +11:00
|
|
|
|
2018-03-14 18:15:07 +11:00
|
|
|
|
2018-07-04 14:04:45 +10:00
|
|
|
void destroy (size_t idx)
|
|
|
|
{
|
|
|
|
return destroy (base () + idx);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2018-12-17 12:56:07 +11:00
|
|
|
auto capacity (void) const { return m_capacity; }
|
|
|
|
auto size (void) const { return m_size.load (); }
|
2018-03-14 18:15:07 +11:00
|
|
|
|
2018-12-17 12:56:07 +11:00
|
|
|
bool empty (void) const { return m_size == m_capacity; }
|
2014-12-31 19:07:25 +11:00
|
|
|
|
2018-03-14 18:15:07 +11:00
|
|
|
|
2017-01-05 19:50:00 +11:00
|
|
|
// Indexing
|
2018-07-04 14:04:29 +10:00
|
|
|
size_t index (T const *ptr) const
|
|
|
|
{
|
|
|
|
CHECK_LIMIT (ptr, base (), base () + m_capacity);
|
|
|
|
return ptr - base ();
|
|
|
|
}
|
2018-07-04 14:04:16 +10:00
|
|
|
|
|
|
|
|
|
|
|
/// returns the base address of the allocation.
|
|
|
|
///
|
|
|
|
// guaranteed to point to the first _possible_ allocated value;
|
|
|
|
// however it may not be _live_ at any given moment. provided to
|
|
|
|
// facilitate indexing.
|
|
|
|
T* base (void) { return reinterpret_cast<T*> (m_head); }
|
|
|
|
T const* base (void) const { return reinterpret_cast<T const*> (m_head); }
|
2014-12-31 19:07:25 +11:00
|
|
|
|
2017-01-05 19:50:00 +11:00
|
|
|
T& operator[] (size_t idx) &;
|
2018-03-14 18:15:07 +11:00
|
|
|
|
2017-01-05 19:50:00 +11:00
|
|
|
const T& operator[] (size_t idx) const&;
|
2011-10-07 21:58:16 +11:00
|
|
|
};
|
|
|
|
}
|
2011-07-01 13:46:39 +10:00
|
|
|
|
2018-02-28 11:49:13 +11:00
|
|
|
#endif
|