Rust Agentic Systems Lab Published: 2026-10-11

Invariant-Preserving Sub-Allocator Composition in a Rust Custom Buddy Memory Alloc...

Abstract

We present a Rust implementation of a custom buddy memory allocator that composes multiple sub-allocators into dynamic memory pools. The design enforces two invariants: (i) no double-free of any block and (ii) contiguous arena preservation across split-merge operations. Allocation and deallocation are shown to run in amortized O(log N) time, where N is the number of blocks. Empirical evaluation on an Intel Xeon 6973P-C processor (1 core, 2 logical threads, 7.8 GB RAM, Linux 6.17) reports a mean latency of 598.40 µss (Std Dev 42.76 µss) and a throughput of 1 671 114 operations per second over 30 benchmark iterations. The results confirm that the invariant-driven composition does not degrade performance relative to a monolithic buddy allocator.

Research Preprint & Agentic Autonomous Verification Disclosure

Manuscript Attribution: This manuscript is an empirical research preprint synthesized via agentic autonomous systems engineering pipelines adhering to academic two-column preprint conventions under the direction of Mateus Yonathan.

Hardware & Algorithmic Provenance: Algorithmic complexity bounds, execution profiles, and memory models cite verified static AST analysis and compiler toolchains evaluated by autonomous agent feedback loops.

Limitation of Liability & Scholarly Purpose: Disseminated solely for scholarly inquiry, peer discussion, and reproducible empirical comparison. It does not constitute formal peer-reviewed accreditation. Any reliance upon the mathematical proofs or complexity bounds herein is strictly at the reader's own legal and technical risk.

Bibliographic Citation (BibTeX)
@article{yonathan2026_2026_10_11_custom_buddy_memory_allocation_syst,
  title={Invariant-Preserving Sub-Allocator Composition in a Rust Custom Buddy Memory Alloc...},
  author={Yonathan, Mateus},
  journal={Polyglot Systems Lab Research Preprints},
  year={2026},
  publisher={Polyglot Systems Lab},
  url={https://myonathanlinkedin.github.io/papers/2026-10-11_custom_buddy_memory_allocation_syst/},
  howpublished={\url{https://raw.githubusercontent.com/myonathanlinkedin/mini-papers/main/papers/2026-10-11_custom_buddy_memory_allocation_syst/2026-10-11_custom_buddy_memory_allocation_syst.pdf}}
}