19#include "pw_allocator/block/poisonable.h"
20#include "pw_allocator/config.h"
21#include "pw_allocator/hardening.h"
22#include "pw_allocator/layout.h"
23#include "pw_assert/assert.h"
24#include "pw_bytes/alignment.h"
26namespace pw::allocator::internal {
54template <
typename Derived,
typename BlockType_,
typename ItemType_>
57 using BlockType = BlockType_;
58 using ItemType = ItemType_;
61 if constexpr (is_poisonable_v<BlockType>) {
62 static_assert(BlockType::kPoisonOffset >=
sizeof(ItemType),
63 "Block type does not reserve sufficient space for an item");
68 constexpr bool empty()
const {
return derived()->items_.empty(); }
77 if constexpr (Hardening::kIncludesDebugChecks) {
87 [[nodiscard]]
bool Add(BlockType& block) {
88 if (block.InnerSize() <
sizeof(ItemType)) {
91 if constexpr (Hardening::kIncludesDebugChecks) {
92 PW_ASSERT(block.InnerSize() <= max_inner_size_);
93 PW_ASSERT(IsAlignedAs<ItemType>(block.UsableSpace()));
95 derived()->DoAdd(block);
103 return empty() ? nullptr : derived()->DoRemoveAny();
110 [[nodiscard]]
bool Remove(BlockType& block) {
111 return block.InnerSize() >=
sizeof(ItemType) && derived()->DoRemove(block);
122 return derived()->DoRemoveCompatible(layout);
126 void Clear() { derived()->items_.clear(); }
139 template <
typename Iterator,
typename Predicate>
142 Predicate predicate) {
143 Iterator prev = before_first;
144 Iterator iter = prev;
146 for (; iter != last; ++iter) {
147 if (predicate(*iter)) {
160 return [layout](ItemType& item) {
161 auto* block = BlockType::FromUsableSpace(&item);
162 return block->CanAlloc(layout).ok();
168 template <
typename Iterator>
170 return iter != last ? BlockType::FromUsableSpace(&(*iter)) :
nullptr;
175 template <
typename Iterator>
188 return *(std::launder(
reinterpret_cast<ItemType*
>(block.UsableSpace())));
192 constexpr Derived* derived() {
return static_cast<Derived*
>(
this); }
193 constexpr const Derived* derived()
const {
194 return static_cast<const Derived*
>(
this);
198 size_t max_inner_size_ = std::numeric_limits<size_t>::max();
205template <
typename T,
typename U =
size_t>
206constexpr U CountRZero(T t) {
207 return static_cast<U
>(cpp20::countr_zero(t));
214template <
typename T,
typename U =
size_t>
215constexpr U CountLZero(T t) {
216 return static_cast<U
>(cpp20::countl_zero(t));
constexpr void set_max_inner_size(size_t max_inner_size)
Definition: base.h:76
constexpr BlockType * GetBlockFromIterator(Iterator iter, Iterator last)
Definition: base.h:169
bool Remove(BlockType &block)
Definition: base.h:110
constexpr size_t max_inner_size() const
Returns the configured maximum inner size for blocks in this bucket.
Definition: base.h:71
BlockType * RemoveAny()
Definition: base.h:102
static auto MakeCanAllocPredicate(Layout layout)
Definition: base.h:159
constexpr BlockType * GetBlockFromPrev(Iterator prev, Iterator last)
Definition: base.h:176
void Clear()
Removes all blocks from this bucket.
Definition: base.h:126
static ItemType & GetItemFrom(BlockType &block)
Definition: base.h:187
bool Add(BlockType &block)
Definition: base.h:87
static Iterator FindPrevIf(Iterator before_first, Iterator last, Predicate predicate)
Definition: base.h:140
constexpr bool empty() const
Returns whether this buckets contains any free blocks.
Definition: base.h:68
BlockType * RemoveCompatible(Layout layout)
Definition: base.h:121