hurlex <十一> 内核堆管理的实现

2014-09-16 posted in [hurlex开发文档]

前几章实现了内存的简单管理，但是目前的内存分配是按页为单位的，这样在需要分配小内存的时候比较容易造成内部碎片。这章我们来实现内核的堆管理算法，目的是为了小内存的分配。除了简单的分配内存之外，还需要考虑在内存释放的时候，对连续的内存进行合并。并且堆要实现在空闲内存过多的时候把物理页释放给物理内存管理模块。

关于堆的实现有很多种，我们选择最简单的侵入式链表管理方法。如果你觉得可以胜任更好的算法完全可以自由发挥，而且之前的物理内存管理算法完全可以实现为伙伴系统。不过为了照顾大多数读者，我们选择简单的方式实现。当然，通过简单的算法熟悉了物理的机制之后，完全可以抛开这些简单实现，去实现更好的算法。

首先，在每一个申请的内存块之前插入一个描述当前内存块的结构体。结构体定义以及相关的函数声明如下：

  1. #ifndef INCLUDE_HEAP_H_
  2. #define INCLUDE_HEAP_H_
  4. #include "types.h"
  6. // 堆起始地址
  7. #define HEAP_START 0xE0000000
  9. // 内存块管理结构
  10. typedef
  11. struct header {
  12.     struct header *prev;    // 前后内存块管理结构指针
  13.     struct header *next;
  14.     uint32_t allocated : 1; // 该内存块是否已经被申请
  15.     uint32_t length : 31;   // 当前内存块的长度
  16. } header_t;
  18. // 初始化堆
  19. void init_heap();
  21. // 内存申请
  22. void *kmalloc(uint32_t len);
  24. // 内存释放
  25. void kfree(void *p);
  27. // 测试内核堆申请释放
  28. void test_heap();
  30. #endif  // INCLUDE_HEAP_H_

结构体的定义里使用了C语言的位域定义，因为表示这块内存有没有被使用只需要1个bit就可以，这样节省内存。这里定义的堆的函数形式很简单，就不详细解释了。需要注意的是这里定义了虚拟堆起始地址为0xE0000000，它是内核页表没有使用的空闲区域。

接下来是具体实现。除了以上的外部接口函数，还需要在实现文件里声明以下内部函数：

  1. #include "debug.h"
  2. #include "pmm.h"
  3. #include "vmm.h"
  4. #include "heap.h"
  6. // 申请内存块
  7. static void alloc_chunk(uint32_t start, uint32_t len);
  9. // 释放内存块
  10. static void free_chunk(header_t *chunk);
  12. // 切分内存块
  13. static void split_chunk(header_t *chunk, uint32_t len);
  15. // 合并内存块
  16. static void glue_chunk(header_t *chunk);
  18. static uint32_t heap_max = HEAP_START;
  20. // 内存块管理头指针
  21. static header_t *heap_first;

这些内部函数只在堆的内部被调用，所以被声明为static，我们之前也强调过，不需要向外部暴露的函数最好用static限制其作用域。我们直接贴出相关函数的实现：

  1. ... ...
  3. void init_heap()
  4. {
  5.     heap_first = 0;
  6. }
  8. void *kmalloc(uint32_t len)
  9. {
  10.     // 所有申请的内存长度加上管理头的长度
  11.     // 因为在内存申请和释放的时候要通过该结构去管理
  12.     len += sizeof(header_t);
  14.     header_t *cur_header = heap_first;
  15.     header_t *prev_header = 0;
  17.     while (cur_header) {
  18.         // 如果当前内存块没有被申请过而且长度大于待申请的块
  19.         if (cur_header->allocated == 0 && cur_header->length >= len) {
  20.             // 按照当前长度切割内存
  21.             split_chunk(cur_header, len);
  22.             cur_header->allocated = 1;
  23.             // 返回的时候必须将指针挪到管理结构之后
  24.             return (void *)((uint32_t)cur_header + sizeof(header_t));
  25.         }
  26.         // 逐次推移指针
  27.         prev_header = cur_header;
  28.         cur_header = cur_header->next;
  29.     }
  31.     uint32_t chunk_start;
  33.     // 第一次执行该函数则初始化内存块起始位置
  34.     // 之后根据当前指针加上申请的长度即可
  35.     if (prev_header) {
  36.         chunk_start = (uint32_t)prev_header + prev_header->length;
  37.     } else {
  38.         chunk_start = HEAP_START;
  39.         heap_first = (header_t *)chunk_start;
  40.     }
  42.     // 检查是否需要申请内存页
  43.     alloc_chunk(chunk_start, len);
  44.     cur_header = (header_t *)chunk_start;
  45.     cur_header->prev = prev_header;
  46.     cur_header->next = 0;
  47.     cur_header->allocated = 1;
  48.     cur_header->length = len;
  50.     if (prev_header) {
  51.         prev_header->next = cur_header;
  52.     }
  54.     return (void*)(chunk_start + sizeof(header_t));
  55. }
  57. void kfree(void *p)
  58. {
  59.     // 指针回退到管理结构，并将已使用标记置 0
  60.     header_t *header = (header_t*)((uint32_t)p - sizeof(header_t));
  61.     header->allocated = 0;
  63.     // 粘合内存块
  64.     glue_chunk(header);
  65. }
  67. void alloc_chunk(uint32_t start, uint32_t len)
  68. {
  69.     // 如果当前堆的位置已经到达界限则申请内存页
  70.     // 必须循环申请内存页直到有到足够的可用内存
  71.     while (start + len > heap_max) {
  72.         uint32_t page = pmm_alloc_page();
  73.         map(pgd_kern, heap_max, page, PAGE_PRESENT | PAGE_WRITE);
  74.         heap_max += PAGE_SIZE;
  75.     }
  76. }
  78. void free_chunk(header_t *chunk)
  79. {
  80.     if (chunk->prev == 0) {
  81.         heap_first = 0;
  82.     } else {
  83.         chunk->prev->next = 0;
  84.     }
  86.     // 空闲的内存超过 1 页的话就释放掉
  87.     while ((heap_max - PAGE_SIZE) >= (uint32_t)chunk) {
  88.         heap_max -= PAGE_SIZE;
  89.         uint32_t page;
  90.         get_mapping(pgd_kern, heap_max, &page);
  91.         unmap(pgd_kern, heap_max);
  92.         pmm_free_page(page);
  93.     }
  94. }
  96. void split_chunk(header_t *chunk, uint32_t len)
  97. {
  98.     // 切分内存块之前得保证之后的剩余内存至少容纳一个内存管理块的大小
  99.     if (chunk->length - len > sizeof (header_t)) {
  100.         header_t *newchunk = (header_t *)((uint32_t)chunk + chunk->length);
  101.         newchunk->prev = chunk;
  102.         newchunk->next = chunk->next;
  103.         newchunk->allocated = 0;
  104.         newchunk->length = chunk->length - len;
  106.         chunk->next = newchunk;
  107.         chunk->length = len;
  108.     }
  109. }
  111. void glue_chunk(header_t *chunk)
  112. {
  113.     // 如果该内存块前面有链内存块且未被使用则拼合
  114.     if (chunk->next && chunk->next->allocated == 0) {
  115.         chunk->length = chunk->length + chunk->next->length;
  116.         if (chunk->next->next) {
  117.             chunk->next->next->prev = chunk;
  118.         }
  119.         chunk->next = chunk->next->next;
  120.     }
  122.     if (chunk->prev && chunk->prev->allocated == 0) {
  123.         chunk->prev->length = chunk->prev->length + chunk->length;
  124.         chunk->prev->next = chunk->next;
  125.         if (chunk->next) {
  126.             chunk->next->prev = chunk->prev;
  127.         }
  128.         chunk = chunk->prev;
  129.     }
  131.     // 假如该内存后面没有链表内存块了直接释放掉
  132.     if (chunk->next == 0) {
  133.         free_chunk(chunk);
  134.     }
  135. }
  136. ... ...

这里的代码都很简单，只是链表的简单运用。需要注意的是映射和解除映射并释放的函数。如果理解起来有困难的话，建议你在调试模式下在纸上画一画，这样很容易理解。1

最后添加一个简单的测试函数：

  1. void test_heap()
  2. {
  3.     printk_color(rc_black, rc_magenta, "Test kmalloc() && kfree() now ...\n\n");
  5.     void *addr1 = kmalloc(50);
  6.     printk("kmalloc    50 byte in 0x%X\n", addr1);
  7.     void *addr2 = kmalloc(500);
  8.     printk("kmalloc   500 byte in 0x%X\n", addr2);
  9.     void *addr3 = kmalloc(5000);
  10.     printk("kmalloc  5000 byte in 0x%X\n", addr3);
  11.     void *addr4 = kmalloc(50000);
  12.     printk("kmalloc 50000 byte in 0x%X\n\n", addr4);
  14.     printk("free mem in 0x%X\n", addr1);
  15.     kfree(addr1);
  16.     printk("free mem in 0x%X\n", addr2);
  17.     kfree(addr2);
  18.     printk("free mem in 0x%X\n", addr3);
  19.     kfree(addr3);
  20.     printk("free mem in 0x%X\n\n", addr4);
  21.     kfree(addr4);
  22. }

最后自然是测试了。在内核的初始化函数里加上堆的相关头文件并且调用初始化和测试函数，输出如下：

测试内核堆管理函数

OK，任务完成！

  • 这里的代码基本上来自James先生的实现，不过James先生的实现隐藏了比较多的BUG，我也是在纸上画过之后才找出的BUG。 ↩

原文:

http://wiki.0xffffff.org/posts/hurlex-11.html