Linux内核源码分析之setup_arch (二)

1. 概述

接着上一篇《Linux内核源码分析之setup_arch (一)》继续分析，本文首先分析arm_memblock_init函数，然后分析内核启动阶段的是如何进行内存管理的。

2. arm_memblock_init

该函数的功能比较简单，主要就是把meminfo中记录的内存条信息添加到memblock.memory中，然后把内核镜像所在内存区域添加到memblock.reserved中，arm_mm_memblock_reserve把页表所在内存区域添加到memblock.reserved中；如果使用了设备树，则使用arm_dt_memblock_reserve来保留所占用的内存，最后则是调用CPU相关的mdesc->reserve，其对应的调用为cpu_mem_reserve，该函数定义在cpu.c中。

/* arch/arm/mm/init.c */ void __init arm_memblock_init(...) {   for (i = 0; i < mi->nr_banks; i++)     memblock_add(mi->bank[i].start, mi->bank[i].size);    memblock_reserve(__pa(_stext), _end - _stext);   arm_mm_memblock_reserve();   arm_dt_memblock_reserve();    if (mdesc->reserve)     mdesc->reserve();    arm_memblock_steal_permitted = false;   memblock_allow_resize();   memblock_dump_all(); } /* include/kernel/memblock.h */ struct memblock {  phys_addr_t current_limit;  struct memblock_type memory;  struct memblock_type reserved; }; 

3. memblock_alloc

接下来就该执行paging_init函数了，在分析paging_init之前先来点内核启动阶段的内存管理相关的内容。从arm_memblock_init开始引入memblock数据结构，其作用是实现内核启动初期的内存管理功能，严格来说，其生命周期到paging_init::bootmem_init为止，memblock_alloc调用流程如下。

实际查找空闲内存的函数为memblock_find_in_range_node，而该函数中真正实现空闲内存查找的是for_each_free_mem_range_reverse这个宏定义。

/* mm/memblock.c */ phys_addr_t memblock_find_in_range_node(...) {  ...  for_each_free_mem_range_reverse(i, nid, &this_start, &this_end, NULL) {       ...       if (cand >= this_start)         return cand;  }  return 0; } 

该宏定义如下，然而其中又嵌套了一个函数Orz...

/* include/linux/memblock.h */ #define for_each_free_mem_range_reverse(i, nid, p_start, p_end, p_nid)   for (i = (u64)ULLONG_MAX,                                                    __next_free_mem_range_rev(&i, nid, p_start, p_end, p_nid);              i != (u64)ULLONG_MAX;                                                   __next_free_mem_range_rev(&i, nid, p_start, p_end, p_nid)) 

首先需要说明的是，memblock.reserved标识的区域表示的是已被占用的内存区域，memblock.memory中记录的是内存条信息。现在回到__next_free_mem_range_rev函数，代码段(1)_{(2)的目的是找出内存条上两个reserved区域之间的内存区域，即空闲区域。找到之后再经过代码段(3)对空闲区域的起始地址和结束地址进行修正，因为代码段(1)}(2)只能保证空闲区与当前内存条存在交集，并不能保证该空闲区域完全处于当前内存条之中，主要原因在于无法保证这两个reserved区域都在当前内存条上。

/* mm/memblock.c */ void __init_memblock __next_free_mem_range_rev(...) {  struct memblock_type *mem = &memblock.memory;  struct memblock_type *rsv = &memblock.reserved;  ...  /* (1) */  for ( ; mi >= 0; mi--) {   struct memblock_region *m = &mem->regions[mi];   phys_addr_t m_start = m->base;   phys_addr_t m_end = m->base + m->size;   ...   /* (2) */   for ( ; ri >= 0; ri--) {    struct memblock_region *r = &rsv->regions[ri];    phys_addr_t r_start = ri ? r[-1].base + r[-1].size : 0;    phys_addr_t r_end = ri < rsv->cnt ? r->base : ULLONG_MAX;    ...    /* (3) */    if (m_end > r_start) {     if (out_start)      *out_start = max(m_start, r_start);     if (out_end)      *out_end = min(m_end, r_end);     if (out_nid)      *out_nid = memblock_get_region_node(m);      ...     return;    }   }  }   *idx = ULLONG_MAX; } 

至此，空闲区域的查找基本就结束了，回到memblock_find_in_range_node函数中，再检查一下该区域的起始地址和结束地址是否合法等等，最终就申请到了所请求大小的内存区域，最后只需要将这块内存区域标记为reserved状态就结束了内存分配的整个过程了。

/* mm/memblock.c */ int memblock_reserve(phys_addr_t base, phys_addr_t size) {  struct memblock_type *_rgn = &memblock.reserved;  return memblock_add_region(_rgn, base, size, MAX_NUMNODES); } 

4. 总结

• arm_memblock_init函数首先把记录在meminfo记录的内存条信息转移到memblock.memory中，然后把已经使用的内存区域记录到memblock.reserved中，主要包括内核镜像所占用区域、页表区域以及设备树；
• memblock_alloc通过memblock中的memory和reserved中记录的信息进行内存管理，每次申请到内存之后都在memblock.reserved中进行记录。