#![no_std]环境下TLSF分配器的QEMU崩溃问题排查

这是一个用于学习的开源项目，实现了适配#![no_std]环境的TLSF内存分配器，已实现GlobalAlloc trait的alloc和dealloc方法。

当前状态与问题 #

• 可成功分配u8至u128类型变量、创建空Vec
• 执行Vec::push或Vec索引赋值操作时，QEMU陷入启动-崩溃循环
• 代码块作用域结束时，堆验证失败，返回错误：Free block marked as allocated

排查方向 #

1. 元数据管理问题
   • 检查dealloc操作是否正确标记空闲块状态、更新链表指针，错误提示说明释放时可能未正确更新块的分配标记，或空闲块合并逻辑导致元数据错乱。
   • 验证alloc分配内存时，分割空闲块后是否正确更新剩余块的元数据，避免出现块状态标记错误。
2. Vec扩容适配问题
   • Vec::push触发扩容会调用realloc，若未实现GlobalAlloc的realloc方法，Rust会默认通过alloc+dealloc模拟该操作，需检查此模拟流程中是否存在内存块管理漏洞。
   • 确认分配器返回的内存地址满足Vec的对齐要求，#![no_std]环境下对齐处理不当会直接导致内存访问崩溃。
3. 内存越界与堆边界检查
   • 检查堆初始化的内存范围是否正确，排查Vec操作是否越界写入破坏了分配器的元数据区域。
   • 借助QEMU的内存监控功能，定位崩溃时的内存访问地址，确认是否触及分配器的元数据存储区域。

最小可复现代码 #

#![no_std]
#![no_main]

use core::alloc::GlobalAlloc;
use core::panic::PanicInfo;

struct TLSFAllocator;

unsafe impl GlobalAlloc for TLSFAllocator {
    unsafe fn alloc(&self, layout: core::alloc::Layout) -> *mut u8 {
        // 自定义TLSF分配逻辑
        todo!()
    }

    unsafe fn dealloc(&self, ptr: *mut u8, layout: core::alloc::Layout) {
        // 自定义TLSF释放逻辑
        todo!()
    }
}

#[global_allocator]
static ALLOCATOR: TLSFAllocator = TLSFAllocator;

#[no_mangle]
pub extern "C" fn _start() -> ! {
    // 可正常执行的代码
    let _boxed_val = Box::new(123u128);
    let mut empty_vec = Vec::new();

    // 执行此语句会触发QEMU崩溃循环
    empty_vec.push(45u8);

    loop {}
}

#[panic_handler]
fn panic(_info: &PanicInfo) -> ! {
    loop {}
}

内容的提问来源于stack exchange，提问作者Lousifr Illuminos