作者位次 #5/6OSDI 2026Oral· Operating Systems & Distributed Systems
jwmalloc: A Verified Memory Allocator for Mobile Devices
Jiawei Wang · Ming Fu · Ruixian Wang · Chao Xu · Jonas Oberhauser · Haibo Chen
摘要
Dynamic memory allocators provide memory allocation and release functionality to languages such as C, C++, and Rust. Existing allocators have been primarily optimized for performance and timely memory release. However, emerging mobile workloads also emphasize CPU, energy, and memory usage under s...