Open
Conversation
This implements Two-Level Segregated Fit (TLSF) allocator optimized for real-time scenarios: - O(1) malloc/free via bitmap-based segregated free lists - Branchless clz/ctz using mask-based shifts for RV32I compatibility - Immediate coalescing on free() to minimize fragmentation - Configurable FL_INDEX_MAX via CONFIG_TLSF_FL_INDEX_MAX - Bounds validation in block_remove/block_insert with panic on corruption - Sentinel placement validation in mo_heap_init - Block header sanity checks in free() to detect double-free Test coverage: - Block coalescing verification - Realloc in-place growth - Block splitting logic - Heap exhaustion handling - FL/SL boundary allocations - Alignment verification - Bitmap stress tests
Linmo CI Test ResultsOverall Status: ✅ passed Toolchain Results
Application Tests
Functional Test Details
Report generated from |
visitorckw
reviewed
Feb 3, 2026
| r += (int) !!(x & 0x00000002u); | ||
|
|
||
| return r; | ||
| } |
Collaborator
There was a problem hiding this comment.
Would it make sense to move them to a shared header (like bitops.h)?
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This implements Two-Level Segregated Fit (TLSF) allocator optimized for real-time scenarios:
Test coverage:
Summary by cubic
Replaced the first-fit allocator with a TLSF allocator to get O(1) malloc/free, lower fragmentation, and stronger corruption checks. API stays the same; adds extensive tests and a config knob for tuning.
New Features
Migration
Written for commit 48bb991. Summary will update on new commits.