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 {
56template <
typename Derived,
typename BlockType_,
typename ItemType_>
59 using BlockType = BlockType_;
60 using ItemType = ItemType_;
63 if constexpr (is_poisonable_v<BlockType>) {
64 static_assert(BlockType::kPoisonOffset >=
sizeof(ItemType),
65 "Block type does not reserve sufficient space for an item");
70 constexpr bool empty()
const {
return derived()->items_.empty(); }
79 if constexpr (Hardening::kIncludesDebugChecks) {
89 [[nodiscard]]
bool Add(BlockType& block) {
90 if (block.InnerSize() <
sizeof(ItemType)) {
93 if constexpr (Hardening::kIncludesDebugChecks) {
94 PW_ASSERT(block.InnerSize() <= max_inner_size_);
95 PW_ASSERT(IsAlignedAs<ItemType>(block.UsableSpace()));
97 derived()->DoAdd(block);
104 return empty() ? nullptr : derived()->DoFindLargest();
111 return empty() ? nullptr : derived()->DoRemoveAny();
118 [[nodiscard]]
bool Remove(BlockType& block) {
119 return block.InnerSize() >=
sizeof(ItemType) && derived()->DoRemove(block);
130 return derived()->DoRemoveCompatible(layout);
134 void Clear() { derived()->items_.clear(); }
149 template <
typename Iterator,
typename Predicate>
152 Predicate predicate) {
153 Iterator prev = before_first;
154 Iterator iter = prev;
156 for (; iter != last; ++iter) {
157 if (predicate(*iter)) {
170 return [layout](ItemType& item) {
171 auto* block = BlockType::FromUsableSpace(&item);
172 return block->CanAlloc(layout).ok();
178 static bool Compare(
const ItemType& item1,
const ItemType& item2) {
179 const BlockType* block1 = BlockType::FromUsableSpace(&item1);
180 const BlockType* block2 = BlockType::FromUsableSpace(&item2);
181 return block1->InnerSize() < block2->InnerSize();
186 template <
typename Iterator>
189 return iter != last ? BlockType::FromUsableSpace(&(*iter)) :
nullptr;
194 template <
typename Iterator>
206 return *(std::launder(
reinterpret_cast<ItemType*
>(block.UsableSpace())));
210 constexpr Derived* derived() {
return static_cast<Derived*
>(
this); }
211 constexpr const Derived* derived()
const {
212 return static_cast<const Derived*
>(
this);
216 size_t max_inner_size_ = std::numeric_limits<size_t>::max();
223template <
typename T,
typename U =
size_t>
225 return static_cast<U
>(cpp20::countr_zero(t));
232template <
typename T,
typename U =
size_t>
234 return static_cast<U
>(cpp20::countl_zero(t));
static constexpr BlockType * GetBlockFromPrev(Iterator prev, Iterator last)
Definition: base.h:195
constexpr void set_max_inner_size(size_t max_inner_size)
Definition: base.h:78
bool Remove(BlockType &block)
Definition: base.h:118
static bool Compare(const ItemType &item1, const ItemType &item2)
Definition: base.h:178
constexpr size_t max_inner_size() const
Returns the configured maximum inner size for blocks in this bucket.
Definition: base.h:73
BlockType * RemoveAny()
Definition: base.h:110
const BlockType * FindLargest() const
Definition: base.h:103
static auto MakeCanAllocPredicate(Layout layout)
Definition: base.h:169
void Clear()
Removes all blocks from this bucket.
Definition: base.h:134
static ItemType & GetItemFrom(BlockType &block)
Definition: base.h:205
bool Add(BlockType &block)
Definition: base.h:89
static Iterator FindPrevIf(Iterator before_first, Iterator last, Predicate predicate)
Definition: base.h:150
static constexpr BlockType * GetBlockFromIterator(Iterator iter, Iterator last)
Definition: base.h:187
constexpr bool empty() const
Returns whether this buckets contains any free blocks.
Definition: base.h:70
BlockType * RemoveCompatible(Layout layout)
Definition: base.h:129
constexpr U CountRZero(T t)
Definition: base.h:224
constexpr U CountLZero(T t)
Definition: base.h:233