现在的位置: 首页 > 综合 > 正文

自制操作系统–(5)内存

2019年05月21日 ⁄ 综合 ⁄ 共 3281字 ⁄ 字号 评论关闭

神说、内存之间要有映射、将地址空间分为虚实。 
神就造出两级页表、将变换前的地址、变换后的地址分开了.事就这样成了。 
有晚上、有早晨、是第二日。

来到了lab2,内存管理,该实验分为两部分,第一部分为物理内存管理,第二部分为虚拟内存管理,本篇先描述lab1。

做本章实验一定头脑中要时刻清晰的记住两个内存分布图:物理内存分布图以及虚拟内存分布图。

物理内存的分布在前面的笔记中有介绍,这里拷贝过来:

 

+------------------+  <- 0xFFFFFFFF (4GB)
|      32-bit      |
|  memory mapped   |
|     devices      |
|                  |
/\/\/\/\/\/\/\/\/\/\

/\/\/\/\/\/\/\/\/\/\
|                  |
|      Unused      |
|                  |
+------------------+  <- depends on amount of RAM
|                  |
|                  |
| Extended Memory  |
|------------------|
|       kernnel    |
+------------------+  <- 0x00100000 (1MB)
|     BIOS ROM     |
+------------------+  <- 0x000F0000 (960KB)
|  16-bit devices, |
|  expansion ROMs  |
+------------------+  <- 0x000C0000 (768KB)
|   VGA Display    |
+------------------+  <- 0x000A0000 (640KB)
|                  |
|    Low Memory    |
|------------------|  <-0x00010000 (elf herader here!)
|------------------|  <-0x00007c00   (boot loader here!)
|  bootmain stack  |
+------------------+  <- 0x00000000

 

虚拟内存分布参见memlayout.h文件,这里也拷贝过来:

 

 

好,记住这两个图然后开始做实验。

1、实验内容

实验内容很简单,只是让你完成下列几个函数

boot_alloc()
mem_init() 

page_init()
page_alloc()
page_free()

mem_init()会调用你写的函数,然后再调用check_page_free_list和check_page_alloc两个函数来判断你完成的函数的逻辑对不对,基本上通过验证就没问题了。

2、原理。

JOS使用Page数据结构来管理内存,一个Page代表一个PGSIZE(4K)大小的物理页面,Page数据结构的定义在memlayout.h中,共有两个域,第一个域是pp_link,指向下一个空闲Page结构的指针,第二个域是一个short整形,代表当前此物理页面的引用次数,若为0则是没有被引用也就是空闲页面。

其次使用free_page_list维护一个空闲物理内存的链表,free_page_list本身就是一个Page指针,然后通过Page结构体里面的pp_link域构成空闲链表。

再次一个Page代表4K,在pmap.c中的i386_memory_detect函数中检测内存后,使用总物理内存/4k得到所需要的Page数量,赋值给npages,换句话说npages代表所需Page结构体的数量。

最后所有Page在内存(物理内存)中的存放是连续的,存放于pages处,可以通过数组的形式访问各个Page,而pages紧接于end[]符号之上,end符号是编译器导出符号,其值约为kernel的bss段在内存(虚拟内存)中的地址+bss段的段长,对应物理和虚拟内存布局也就是在kernel向上的紧接着的高地址部分连续分布着pages数组。

除此之外JOS提供page2pa,pa2page等函数可以进行Page数据结构的指针向物理地址的转换,或反转换等。

 

3、具体函数实现

首先被调用的是boot_alloc(),它要在什么都没做好的情况下开辟出n字节的空闲空间,并返回其首地址。

做法很简单,end符号向上均为未使用空间,只要返回这些空间就行。

首先将end符号向上和4K字节对齐(JOS已经帮我们完成),然后将这个地址(也就是nextfree)加上你要分配的空间并依然4K字节对齐,接着返回原先的nextfree即可。

  1. char* result;  
  2. result=nextfree;  
  3. nextfree+=ROUNDUP(n,PGSIZE);  
  4. return result;  


然后完成mem_init()中的部分代码,可以看到mem_init()中首先检查可用内存大小,然后调用boot_alloc()分配了一个页面给kern_pgdir,这个在part2中会用,现在没啥用。

接下来需要我们给pages分配空间。通过以上原理分析,很容易得出代码:

 

  1. pages=(struct Page*)boot_alloc(npages*sizeof(struct Page);  


接着完成page_init()。

在page_init()里系统首先给我们初始化了pages数组以及page_free_list,可以看到这个page_free_list指向了所有的Page结构,换句话说此时认为所有的页面都是空闲可分配的,这当然是不对的,所以就要从中把一些我们已经用的内存页面从中剔除出去,这包括0地址向上的第一个页面(包括IDT等),IO hole(0xA0000--0x100000,包括vga display ,bios等),kernel地址之上的部分(kernel本身+kern_pgdir+pages)。巧合的是,IO
hole,和kernel之上部分是连续的地址,因为kernel就加载在0x100000处,所以其实只需要剔除两块地址,第一块是0地址开始的第一个页面,第二块就是io hole开始的向上的一组连续的页面。

分析一下page_free_list的代码逻辑,不难发现这个链表是从pages数组的末尾开始从高地址指向低地址,所以我们先计算出要剔除的Page的地址,然后通过指针操作剔除即可。

 

首先剔除第一个页面,只需让第二个页面(下标为1)的pp_link域指向空,因为原本其指向的是第一个页面,而第一个页面的pp_link域指向空,也等价与pages[1].pp_link=pages[0].pp_link

其次剔除一组连续页面,使用pgstart和pgend代表这组连续地址空间的首尾所在的Page结构(所谓首是低地址,所谓尾是高地址)。

首地址也就是IOPHYSMEM所在地址,注意IOPHYSMEM已经是物理地址了,所以只需要使用pa2page得到Page结构即可。

pgend是较高位的地址,首先将end符号地址转化成物理地址(-KERNBASE),然后再加上刚才分配的kern_pgdir(一个PGSIZE)和pages数组所占用的空间即可。当然更严谨点应该4K字节对齐的,不过不对其也能落在正确的4K范围内,不影响程序正确性。

其次注意到pgstart和pgend这两个Page也是要剔除的,所以需要找到pgend的上一个Page,和pgstart的下一个Page,这两个Page应该是空闲的。因为所有Page的组织是按数组进行组织,所以只需要进行+1和-1的地址操作即可。

接着改变pp_link域,跳过中间的区域即可。

接下来是很简单的page_alloc()。

代码逻辑很简单,从page_free_list头剔除一个Page,然后改变page_free_list使其为其pp_link即可。

接着是Page_free,直接上图:

至此part1结束:

 

一点感想:

在用户态编程反而觉得内存的分配是理所当然的,然而在OS内核中写相关代码时,产生的一种很奇妙的感觉就是这个过程是由程序员自己掌控的,并且分配的结果会反而影响后面的代码逻辑。

What an amazing experience !

抱歉!评论已关闭.