Memory resource implementing the first fit, top-down allocation policies, using an existing arena. More...
#include <cmsis-plus/memory/first-fit-top.h>
Inheritance diagram for os::memory::first_fit_top:Public Member Functions | |
Public Member Functions | |
| void * | allocate (std::size_t bytes, std::size_t alignment=max_align) |
| Allocate a memory block. | |
| void | deallocate (void *addr, std::size_t bytes, std::size_t alignment=max_align) noexcept |
| Deallocate the previously allocated memory block. | |
| bool | is_equal (memory_resource const &other) const noexcept |
Compare for equality with another memory_resource. | |
| void | reset (void) noexcept |
| Reset the memory manager to the initial state. | |
| bool | coalesce (void) noexcept |
| Coalesce free blocks. | |
| std::size_t | max_size (void) const noexcept |
Get the largest value that can be passed to allocate(). | |
| out_of_memory_handler_t | out_of_memory_handler (out_of_memory_handler_t handler) |
| Set the out of memory handler. | |
| out_of_memory_handler_t | out_of_memory_handler (void) |
| Get the out of memory handler. | |
| std::size_t | total_bytes (void) |
| Get the total size of managed memory. | |
| std::size_t | allocated_bytes (void) |
| Get the current size of all allocated chunks. | |
| std::size_t | max_allocated_bytes (void) |
| Get the maximum allocated size. | |
| std::size_t | free_bytes (void) |
| Get the current size of all free chunks. | |
| std::size_t | allocated_chunks (void) |
| Get the current number of allocated chunks. | |
| std::size_t | free_chunks (void) |
| Get the current number of free chunks. | |
| std::size_t | allocations (void) |
| Get the number of allocations. | |
| std::size_t | deallocations (void) |
| Get the number of deallocations. | |
| void | trace_print_statistics (void) |
| Print a long message with usage statistics. | |
Public Member Functions | |
| const char * | name (void) const |
| Get object name. | |
Static Public Attributes | |
| static constexpr std::size_t | max_align = alignof (std::max_align_t) |
| The largest alignment for the platform. Also default when supplied alignment is not supported. | |
Protected Member Functions | |
Private Member Functions | |
| void | internal_construct_ (void *addr, std::size_t bytes) |
| Internal function to construct the memory resource. | |
| void | internal_reset_ (void) noexcept |
| Internal function to reset the memory resource. | |
| void * | internal_align_ (chunk_t *chunk, std::size_t bytes, std::size_t alignment) |
| Internal function to align a chunk. | |
| virtual void * | do_allocate (std::size_t bytes, std::size_t alignment) override |
| Implementation of the memory allocator. | |
| virtual void | do_deallocate (void *addr, std::size_t bytes, std::size_t alignment) noexcept override |
| Implementation of the memory deallocator. | |
| virtual std::size_t | do_max_size (void) const noexcept override |
| Implementation of the function to get max size. | |
| virtual void | do_reset (void) noexcept override |
| Implementation of the function to reset the memory manager. | |
Private Member Functions | |
| virtual bool | do_is_equal (memory_resource const &other) const noexcept |
| Implementation of the equality comparator. | |
| virtual bool | do_coalesce (void) noexcept |
| Implementation of the function to coalesce free blocks. | |
| void | internal_increase_allocated_statistics (std::size_t bytes) noexcept |
| Update statistics after allocation. | |
| void | internal_decrease_allocated_statistics (std::size_t bytes) noexcept |
| Update statistics after deallocation. | |
Constructors & Destructor | |
| first_fit_top (void *addr, std::size_t bytes) | |
| Construct a memory resource object instance. | |
| first_fit_top (const char *name, void *addr, std::size_t bytes) | |
| Construct a named memory resource object instance. | |
| virtual | ~first_fit_top () override |
| Destruct the memory resource object instance. | |
| first_fit_top ()=default | |
| Default constructor. Construct a memory resource object instance. | |
| first_fit_top (const char *name) | |
| Construct a named memory resource object instance. | |
This memory manager was inspired by the newlib nano implementation of malloc() & free().
Neither allocation nor deallocation are deterministic, but are reasonably fast.
Definition at line 53 of file first-fit-top.h.
|
inline |
| [in] | addr | Begin of allocator arena. |
| [in] | bytes | Size of allocator arena, in bytes. |
Definition at line 483 of file first-fit-top.h.
|
inline |
| [in] | name | Pointer to name. |
| [in] | addr | Begin of allocator arena. |
| [in] | bytes | Size of allocator arena, in bytes. |
Definition at line 488 of file first-fit-top.h.
References internal_construct_(), and os::trace::printf().
|
protecteddefault |
|
inlineprotected |
| [in] | name | Pointer to name. |
Definition at line 478 of file first-fit-top.h.
|
overridevirtual |
Definition at line 34 of file first-fit-top.cpp.
References os::rtos::internal::object_named::name(), and os::trace::printf().
|
inlineinherited |
| bytes | Number of bytes to allocate. |
| alignment | Alignment constraint (power of 2). |
nullptr.Allocate storage with a size of at least bytes bytes. The returned storage is aligned to the specified alignment if such alignment is supported, and to alignof(std::max_align_t) otherwise.
If the storage of the requested size and alignment cannot be obtained:
nullptr;Equivalent to return do_allocate(bytes, alignment);.
bad_alloc() exception.Definition at line 1290 of file os-memory.h.
References os::rtos::memory::memory_resource::do_allocate().
Referenced by os::estd::pmr::polymorphic_allocator< T >::allocate(), calloc(), malloc(), operator new(), and realloc().
|
inlineinherited |
Definition at line 1402 of file os-memory.h.
Referenced by os::rtos::memory::memory_resource::trace_print_statistics().
|
inlineinherited |
Definition at line 1420 of file os-memory.h.
Referenced by os::rtos::memory::memory_resource::trace_print_statistics().
|
inlineinherited |
Definition at line 1432 of file os-memory.h.
Referenced by os::rtos::memory::memory_resource::trace_print_statistics().
|
inlinenoexceptinherited |
| true | if the operation freed more memory. |
| false | if the operation was ineffective. |
In case the memory manager does not coalesce during deallocation, traverse the list of free blocks and coalesce.
Return true if the operation was successful and at least one larger block resulted.
Definition at line 1365 of file os-memory.h.
|
inlinenoexceptinherited |
| addr | Address of the block to free. |
| bytes | Number of bytes to deallocate (may be 0 if unknown). |
| alignment | Alignment constraint (power of 2). |
Deallocate the storage pointed to by addr. The address shall have been returned by a prior call to allocate() on a memory_resource that compares equal to *this, and the storage it points to shall not yet have been deallocated.
Equivalent to return do_deallocate(p, bytes, alignment);.
Definition at line 1312 of file os-memory.h.
Referenced by os::estd::pmr::polymorphic_allocator< T >::deallocate(), free(), and realloc().
|
inlineinherited |
Definition at line 1438 of file os-memory.h.
Referenced by os::rtos::memory::memory_resource::trace_print_statistics().
|
overrideprotectedvirtual |
| [in] | bytes | Number of bytes to allocate. |
| [in] | alignment | Alignment constraint (power of 2). |
nullptr.The allocator tries to be fast and grasps the first block large enough, possibly splitting large blocks and increasing fragmentation. If the block is only slightly larger (the remaining space is not large enough for a minimum chunk) the block is not split, but left partly unused.
When large blocks are split, the top sub-block is returned; in other words, memory is allocated top-down. This speeds up deallocation for blocks allocated recently.
bad_alloc(). Implements os::rtos::memory::memory_resource.
Reimplemented in os::memory::lifo.
Definition at line 112 of file first-fit-top.cpp.
References os::rtos::memory::align_size(), internal_align_(), os::rtos::memory::max(), os::rtos::internal::object_named::name(), and os::trace::printf().
|
protectedvirtualnoexceptinherited |
| true | if the operation resulted in larger blocks. |
| false | if the operation was ineffective. |
The default implementation of this virtual function returns false, meaning the operation was ineffective.
Override this function to perform the action.
Definition at line 468 of file os-memory.cpp.
|
overrideprotectedvirtualnoexcept |
| [in] | addr | Address of a previously allocated block to free. |
| [in] | bytes | Number of bytes to deallocate (may be 0 if unknown). |
| [in] | alignment | Alignment constraint (power of 2). |
Deallocation is not guaranteed to be deterministic, but if done in strict reverse allocation order, it becomes deterministic, otherwise a traversal of the free list is required, the older the block, the more nodes to traverse (the free list is kept in ascending addresses order).
If the block is already in the free list, issue a trace message, but otherwise ignore the condition.
Implements os::rtos::memory::memory_resource.
Definition at line 231 of file first-fit-top.cpp.
References os::trace::printf().
|
protectedvirtualnoexceptinherited |
| other | Reference to another memory_resource. |
| true | The memory_resource objects are equal. |
| false | The memory_resource objects are not equal. |
Compares *this for equality with other. Two memory_resources compare equal if and only if memory allocated from one memory_resource can be deallocated from the other and vice versa.
The most-derived type of other may not match the most derived type of *this. A derived class implementation therefore must typically check whether the most derived types of *this and other match using dynamic_cast, and immediately return false if the cast fails.
Definition at line 419 of file os-memory.cpp.
|
overrideprotectedvirtualnoexcept |
Reimplemented from os::rtos::memory::memory_resource.
Definition at line 410 of file first-fit-top.cpp.
|
overrideprotectedvirtualnoexcept |
Reimplemented from os::rtos::memory::memory_resource.
Definition at line 82 of file first-fit-top.cpp.
References os::trace::printf().
|
inlineinherited |
Definition at line 1414 of file os-memory.h.
Referenced by os::rtos::memory::memory_resource::trace_print_statistics().
|
inlineinherited |
Definition at line 1426 of file os-memory.h.
Referenced by os::rtos::memory::memory_resource::trace_print_statistics().
|
protected |
| [in] | chunk | Pointer to chunk. |
| [in] | bytes | Bytes to allocate. |
| [in] | alignment | Power of two. |
Definition at line 416 of file first-fit-top.cpp.
References os::rtos::memory::memory_resource::internal_increase_allocated_statistics().
Referenced by do_allocate(), and os::memory::lifo::do_allocate().
|
protected |
| [in] | addr | Begin of allocator arena. |
| [in] | bytes | Size of allocator arena, in bytes. |
Definition at line 40 of file first-fit-top.cpp.
References internal_reset_().
Referenced by first_fit_top(), os::memory::first_fit_top_allocated< A >::first_fit_top_allocated(), os::memory::first_fit_top_inclusive< N >::first_fit_top_inclusive(), os::memory::lifo_allocated< A >::lifo_allocated(), and os::memory::lifo_inclusive< N >::lifo_inclusive().
|
protectednoexceptinherited |
| [in] | bytes | Number of deallocated bytes. |
Definition at line 490 of file os-memory.cpp.
|
protectednoexceptinherited |
| [in] | bytes | Number of allocated bytes. |
Definition at line 474 of file os-memory.cpp.
Referenced by os::memory::block_pool::do_allocate(), and internal_align_().
|
protectednoexcept |
Definition at line 62 of file first-fit-top.cpp.
Referenced by internal_construct_().
|
inlinenoexceptinherited |
| other | Reference to another memory_resource. |
| true | The memory_resource objects are equal. |
| false | The memory_resource objects are not equal. |
Compare *this for equality with other. Two memory_resources compare equal if and only if memory allocated from one memory_resource can be deallocated from the other and vice versa.
Definition at line 1331 of file os-memory.h.
|
inlineinherited |
Definition at line 1408 of file os-memory.h.
Referenced by os::rtos::memory::memory_resource::trace_print_statistics().
|
inlinenoexceptinherited |
Definition at line 1340 of file os-memory.h.
|
inlineinherited |
All objects return a non-null string; anonymous objects return "-".
Definition at line 753 of file os-decls.h.
Referenced by os::memory::lifo::lifo(), os::memory::malloc_memory_resource::malloc_memory_resource(), os::rtos::message_queue_typed< T, Allocator >::message_queue_typed(), os::memory::block_pool::~block_pool(), os::rtos::event_flags::~event_flags(), ~first_fit_top(), os::memory::lifo::~lifo(), os::memory::malloc_memory_resource::~malloc_memory_resource(), os::rtos::memory_pool::~memory_pool(), os::rtos::message_queue::~message_queue(), os::rtos::mutex::~mutex(), os::rtos::semaphore::~semaphore(), os::rtos::thread::~thread(), os::rtos::timer::~timer(), os::rtos::memory_pool::alloc(), os::rtos::thread::cancel(), os::rtos::event_flags::clear(), os::rtos::mutex::consistent(), os::rtos::thread::detach(), os::memory::new_delete_memory_resource::do_allocate(), os::memory::block_pool::do_allocate(), do_allocate(), os::memory::lifo::do_allocate(), os::memory::malloc_memory_resource::do_allocate(), os::rtos::thread::flags_raise(), os::rtos::memory_pool::free(), os::rtos::event_flags::get(), os::rtos::thread::interrupt(), os::rtos::thread::join(), os::rtos::thread::kill(), os::rtos::internal::terminated_threads_list::link(), os::rtos::mutex::lock(), os::rtos::memory::memory_resource::out_of_memory_handler(), os::rtos::semaphore::post(), os::rtos::mutex::prio_ceiling(), os::rtos::mutex::prio_ceiling(), os::rtos::thread::priority(), os::rtos::thread::priority_inherited(), os::rtos::event_flags::raise(), os::rtos::message_queue::receive(), os::rtos::memory_pool::reset(), os::rtos::message_queue::reset(), os::rtos::mutex::reset(), os::rtos::semaphore::reset(), os::rtos::thread::resume(), os::rtos::message_queue::send(), os::rtos::clock::sleep_for(), os::rtos::timer::start(), os::rtos::timer::stop(), os::rtos::memory_pool::timed_alloc(), os::rtos::mutex::timed_lock(), os::rtos::message_queue::timed_receive(), os::rtos::message_queue::timed_send(), os::rtos::semaphore::timed_wait(), os::rtos::event_flags::timed_wait(), os::rtos::memory::memory_resource::trace_print_statistics(), os::rtos::memory_pool::try_alloc(), os::rtos::mutex::try_lock(), os::rtos::message_queue::try_receive(), os::rtos::message_queue::try_send(), os::rtos::event_flags::try_wait(), os::rtos::semaphore::try_wait(), os::rtos::internal::ready_threads_list::unlink_head(), os::rtos::mutex::unlock(), os::rtos::event_flags::wait(), os::rtos::semaphore::wait(), and os::rtos::event_flags::waiting().
|
inlineinherited |
| handler | Pointer to new handler. |
Definition at line 1375 of file os-memory.h.
References os::rtos::internal::object_named::name(), and os::trace::printf().
Referenced by os_startup_initialize_free_store().
|
inlineinherited |
Definition at line 1390 of file os-memory.h.
|
inlinenoexceptinherited |
Definition at line 1349 of file os-memory.h.
|
inlineinherited |
Definition at line 1396 of file os-memory.h.
Referenced by os::rtos::memory::memory_resource::trace_print_statistics().
|
inlineinherited |
Definition at line 1444 of file os-memory.h.
References os::rtos::memory::memory_resource::allocated_bytes(), os::rtos::memory::memory_resource::allocated_chunks(), os::rtos::memory::memory_resource::allocations(), os::rtos::memory::memory_resource::deallocations(), os::rtos::memory::memory_resource::free_bytes(), os::rtos::memory::memory_resource::free_chunks(), os::rtos::memory::memory_resource::max_allocated_bytes(), os::rtos::internal::object_named::name(), os::trace::printf(), and os::rtos::memory::memory_resource::total_bytes().
Referenced by os_terminate_goodbye().
|
staticconstexprinherited |
Definition at line 166 of file os-memory.h.