3. memblock初始化流程：从start_kernel到memblock初始化

memblock 是 Linux 内核早期启动阶段使用的物理内存分配器，其初始化发生在 start_kernel 函数执行初期，早于页分配器（buddy system）的建立。理解 memblock 的初始化流程，是掌握内核内存管理子系统启动过程的关键。

3.1 初始化起点：start_kernel 中的调用链

memblock 的初始化入口位于 init/main.c 的 start_kernel 函数中。以下是关键调用序列：

// start_kernel 中与 memblock 相关的调用链（简化）
asmlinkage __visible void __init start_kernel(void)
{
    char *command_line;
    char *after_dashes;

    // ... 架构无关的早期初始化 ...

    setup_arch(&command_line);      // 架构相关初始化，包含 memblock 早期设置
    // ...
    mm_init_cpumask(&init_mm);     // 内存描述符初始化
    setup_command_line(command_line); // 命令行参数保存
    setup_nr_cpu_ids();            // CPU 数量检测
    setup_per_cpu_areas();         // per-CPU 区域分配（使用 memblock）
    // ...
    build_all_zonelists(NULL);     // 构建 zonelist（依赖 memblock 内存信息）
    page_alloc_init();             // 页分配器初始化
    // ...
    mem_init();                    // 打印内存信息，memblock 统计输出
    // ...
    mm_init();                     // 内存管理子系统完整初始化
    // ...
}

上述流程中，setup_arch 是 memblock 初始化的真正起点。不同架构的实现略有差异，但核心逻辑一致。

3.2 关键函数调用链全景

下表列出了从 start_kernel 到 memblock 就绪的核心函数调用链及其职责：

3.3 memblock 初始化流程 SVG 架构图

下图展示了从 start_kernel 到 memblock 就绪的完整调用链与数据流：

3.4 核心数据结构初始化

memblock 的全局实例 struct memblock 在编译时通过 #define 静态初始化，无需运行时分配：

// mm/memblock.c 中的静态定义
static struct memblock_region memblock_memory_init_regions[INIT_MEMBLOCK_REGIONS] __initdata_memblock;
static struct memblock_region memblock_reserved_init_regions[INIT_MEMBLOCK_REGIONS] __initdata_memblock;

struct memblock memblock __initdata_memblock = {
    .memory.regions     = memblock_memory_init_regions,
    .memory.cnt         = 1,    // 初始计数为1
    .memory.max         = INIT_MEMBLOCK_REGIONS,
    .memory.name        = "memory",

    .reserved.regions   = memblock_reserved_init_regions,
    .reserved.cnt       = 1,
    .reserved.max       = INIT_MEMBLOCK_REGIONS,
    .reserved.name      = "reserved",

    .bottom_up          = false, // 默认从高地址向下分配
    .current_limit      = MEMBLOCK_ALLOC_ANYWHERE,
};

3.5 初始化阶段的内存区域操作

在 setup_arch 执行过程中，memblock 主要完成三类区域操作：

1. 添加可用区域（memblock_add）：将固件/引导程序报告的可用物理内存范围加入 memblock.memory 类型。
2. 保留已占用区域（memblock_reserve）：将内核镜像、设备树/ACPI 表、页表、initrd 等占用的内存加入 memblock.reserved 类型。
3. 标记特殊区域（memblock_mark_hotplug / memblock_mark_nomap）：标识可热插拔或不可直接映射的区域。

以下是一个典型的 ARM64 平台初始化序列：

// arch/arm64/mm/init.c
void __init arm64_memblock_init(void)
{
    // 1. 从设备树获取内存信息并添加
    // 实际由 early_init_dt_scan_memory() 调用 memblock_add()
    
    // 2. 保留内核镜像所在区域
    memblock_reserve(__pa_symbol(_text), _end - _text);
    
    // 3. 保留 initrd 区域（如果存在）
    if (initrd_start)
        memblock_reserve(__pa(initrd_start), initrd_end - initrd_start);
    
    // 4. 保留设备树 blob
    memblock_reserve(__pa(fdt), fdt_totalsize(fdt));
    
    // 5. 保留 EFI 内存映射表（如果使用 UEFI）
    // ...
    
    // 6. 对某些区域应用特殊属性
    memblock_mark_nomap(phys, size); // 标记不可直接映射区域
}

3.6 初始化完成后的状态检查

memblock 初始化完成后，可以通过以下方式验证状态：

3.7 初始化流程中的常见问题

• 内存区域重叠：不同固件接口报告的内存范围可能重叠，memblock 会自动合并相邻区域，但交叉重叠可能导致计数异常。
• 保留区域遗漏：如果内核镜像或关键数据结构未被正确保留，后续 memblock_alloc 可能覆盖这些区域，导致内核崩溃。
• region 数组溢出：当内存区域碎片化严重时，128 个初始 region 可能不够用，触发 memblock_double_array 失败会导致系统挂起。
• current_limit 设置不当：某些架构需要限制分配范围（如 DMA 区域），若 memblock_set_current_limit 调用时机错误，可能导致分配越界。