19#include "lib/stdcompat/bit.h"
20#include "pw_allocator/block/allocatable.h"
21#include "pw_allocator/block/result.h"
22#include "pw_allocator/hardening.h"
23#include "pw_allocator/layout.h"
24#include "pw_bytes/alignment.h"
25#include "pw_status/status.h"
27namespace pw::allocator {
41template <
typename Derived>
47 static_assert(is_allocatable_v<Derived>,
48 "Types derived from AlignableBlock must also derive from "
64 constexpr const Derived* derived()
const {
65 return static_cast<const Derived*
>(
this);
71 size_t new_inner_size);
79template <
typename BlockType>
80struct is_alignable : std::is_base_of<internal::AlignableBase, BlockType> {};
83template <
typename BlockType>
88template <
typename Derived>
92 auto result = derived()->AllocatableBlock<Derived>::DoCanAlloc(layout);
96 size_t extra = result.
size();
99 if (layout.alignment() <= Derived::kAlignment) {
104 auto addr = cpp20::bit_cast<uintptr_t>(derived()->UsableSpace());
105 uintptr_t aligned_addr = addr;
106 Hardening::Increment(aligned_addr, extra);
107 aligned_addr =
AlignDown(aligned_addr, layout.alignment());
110 if (aligned_addr < addr) {
111 return StatusWithSize::ResourceExhausted();
115 size_t leading_outer_size = aligned_addr - addr;
116 if (leading_outer_size != 0 && leading_outer_size < Derived::kMinOuterSize &&
117 derived()->Prev() ==
nullptr) {
118 return StatusWithSize::ResourceExhausted();
124template <
typename Derived>
126 Derived*&& block,
Layout layout) {
128 if (layout.alignment() <= Derived::kAlignment) {
133 size_t size =
AlignUp(layout.size(), Derived::kAlignment);
134 layout =
Layout(size, layout.alignment());
136 if (!can_alloc.
ok()) {
139 size_t extra = can_alloc.
size();
140 size_t leading_outer_size = extra -
AlignDown(extra, layout.alignment());
143 if (leading_outer_size != 0 && leading_outer_size <= Derived::kMinOuterSize &&
144 block->Prev() ==
nullptr) {
145 leading_outer_size +=
AlignUp(Derived::kMinOuterSize - leading_outer_size,
148 if (leading_outer_size > extra) {
149 return BlockResult(block, Status::ResourceExhausted());
153 return DoAllocAligned(std::move(block), leading_outer_size, layout.size());
156template <
typename Derived>
158 Derived*&& block,
Layout layout) {
160 if (layout.alignment() <= Derived::kAlignment) {
165 size_t size =
AlignUp(layout.size(), Derived::kAlignment);
166 layout =
Layout(size, layout.alignment());
168 if (!can_alloc.
ok()) {
171 size_t leading_outer_size = can_alloc.
size();
174 return DoAllocAligned(std::move(block), leading_outer_size, layout.size());
177template <
typename Derived>
179 Derived*&& block,
size_t leading_outer_size,
size_t new_inner_size) {
181 Layout layout(block->InnerSize() - leading_outer_size, Derived::kAlignment);
184 if (!alloc_result.ok()) {
187 block = alloc_result.block();
190 auto resize_result = block->DoResize(new_inner_size);
191 if (!resize_result.ok()) {
192 return resize_result;
196 block, alloc_result.prev(), resize_result.next(), alloc_result.size());
Definition: status_with_size.h:49
constexpr bool ok() const
True if status() == OkStatus().
Definition: status_with_size.h:152
constexpr size_t size() const
Definition: status_with_size.h:146
Definition: alignable.h:42
constexpr StatusWithSize DoCanAlloc(Layout layout) const
Definition: alignable.h:89
static constexpr BlockResult< Derived > DoAllocFirst(Derived *&&block, Layout layout)
Definition: alignable.h:125
static constexpr BlockResult< Derived > DoAllocLast(Derived *&&block, Layout layout)
Definition: alignable.h:157
static constexpr BlockResult< Derived > DoAllocLast(Derived *&&block, Layout layout)
Definition: allocatable.h:332
static constexpr BlockResult< Derived > DoAllocFirst(Derived *&&block, Layout layout)
Definition: allocatable.h:297
Definition: with_layout.h:48
constexpr size_t AlignUp(uintptr_t value, size_t alignment)
Returns the value rounded up to the nearest multiple of alignment.
Definition: alignment.h:52
constexpr size_t AlignDown(uintptr_t value, size_t alignment)
Returns the value rounded down to the nearest multiple of alignment.
Definition: alignment.h:39
Definition: alignable.h:31
Trait type that allows interrogating a block as to whether it is alignable.
Definition: alignable.h:80