Skip to content

Latest commit

 

History

History
32 lines (21 loc) · 1.7 KB

README.md

File metadata and controls

32 lines (21 loc) · 1.7 KB

SALLOC

Static memory allocator.

Original idea by Sergey Shevchuk (Nachos836);

Implementation by Taras Maliukh (Iipal);

General Idea

Header-only library with malloc-like behavior for mapping\allocation memory on static buffer, so all work with memory mostly can be optimized and calculated at compile-time.

Internal

More details of everything documented in code.

Code logic based on this document, which explains everything about most common malloc-like allocator implementations. Details:

  • Implemented using implicit bidirectional free-list aka Bidirectional Coalescing: Boundary Tags.
  • Each allocation takes additional 16bytes in the static buffer for Boundary Tags info.
    • In code, each Boundary Tag is described in the __s_tag_t structure
  • Each allocation aligned by 16bytes by default. (24 will align to 32)
  • Each allocation will use Best Fit method to find a free block. Best Fit: Search the list, choose the best free block: fits, with the fewest bytes leftover.
  • On sfree call implemented with Bidirectional Coalescing with preceding free blocks.
  • Optional nullability checks (_Nonnull and _Nullable) with SALLOC_NULLABILITY.
  • All code formatted via clang-format (version 12.0).
  • No dependency on any library, even on standard libc.
    • NOTE: If you define SALLOC_DEBUG before salloc.h include then it's will include also stdio.h and salloc_trace will use printf.

Originally it's written for clang only, because of its features.

All macroses, types or functions with prefixes: __s_, __st_, __s2c, __sattr_, __salloc_ or __sfree_ are created only for internal-use purposes.