ucore操做系统学习笔记(二) ucore lab2物理内存管理分析

1、lab2物理内存管理介绍

　　操做系统的一个主要职责是管理硬件资源，并向应用程序提供具备良好抽象的接口来使用这些资源。

　　而内存做为重要的计算机硬件资源，也必然须要被操做系通通一的管理。最初没有操做系统的状况下，不一样的程序一般直接编写物理地址相关的指令。在多道并发程序的运行环境下，这会形成不一样程序间因为物理地址的访问冲突，形成数据的相互覆盖，进而出错、崩溃。

　　现代的操做系统在管理内存时，但愿达到两个基本目标：地址保护和地址独立。

　　地址保护指的是一个程序不能随意的访问另外一个程序的空间，而地址独立指的是程序指令给出的内存寻址命令是与最终的物理地址无关的。在实现这两个目标后，便可以为多道并发程序运行时的物理内存访问的隔离提供支持。每一个程序在编译、连接后产生的最终机器代码均可以使用完整的地址空间(虚拟地址)，而不须要考虑其它的程序的存在。ucore经过两个连续的实验迭代，lab2和lab3分别实现了物理内存管理和虚拟内存管理(利用磁盘缓存非工做集内存，扩展逻辑上的内存空间)。

　　ucore的每一个实验都是创建在前一个实验迭代的基础上的，要想更好的理解lab2，最好先理解以前lab1中的内容（lab1学习笔记）。

　　lab2在lab1平坦模型段机制的基础上，开启了80386的分页机制，并创建了内核页表；同时经过硬件中断探测出了当前内存硬件的布局，并以此为依据根据可用的内存创建了一个物理内存管理框架，经过指定某种分配算法，负责处理全部的物理内存页分配与释放的请求。

　　lab2的代码结构和执行流程与lab1差异不大，其主要新增了如下功能：

　　1. bootmain.S中的物理内存探测

　　2. 在新增的entry.S内核入口程序中开启了80386页机制

　　3. kern_init内核总控函数中经过pmm_init函数进行整个物理内存管理器的构建初始化

2、lab2实验细节分析

2.1 物理内存布局探测

　　为了进行物理内存的管理，操做系统必须先探测出当前硬件环境下内存的布局，了解具体哪些物理内存空间是可用的。

　　ucore在实验中是经过e820这一BIOS中断来探测内存布局的，因为BIOS中断必须在80386的实模式下才能正常工做，所以是在bootloader引导进入保护模式前进行的，代码位于/boot/bootasm,S中。在引导的汇编代码中收集到的数据，经过C中定义的e820map结构体进行映射。

e820map结构：

struct e820map {
    int nr_map;
    struct {
        uint64_t addr;
        uint64_t size;
        uint32_t type;
    } __attribute__((packed)) map[E820MAX];
};

bootasm.S内存布局探测：

# 在实模式下，经过BIOS的e820中断探测当前内存的硬件信息
probe_memory:
    # 0x8000处开始存放探测出的内存布局结构(e820map)
    movl $0, 0x8000
    xorl %ebx, %ebx
    # 0x8004处开始存放e820map中的map字段，存放每个entry
    movw $0x8004, %di
start_probe:
    # 在eax、ecx、edx中设置int 15h中断参数
    movl $0xE820, %eax
    movl $20, %ecx
    movl $SMAP, %edx
    int $0x15
    # 若是eflags的CF位为0，说明探测成功，跳转至cont段执行
    jnc cont
    # e820h中断失败，直接结束探测
    movw $12345, 0x8000
    jmp finish_probe
cont:
    # 设置存放下一个探测出的内存布局entry的地址(由于e820map中的entry数组每一项是8+8+4=20字节的)
    addw $20, %di
    # e820map中的nr_map自增1
    incl 0x8000
    # 0与中断响应后的ebx比较(若是是第一次调用或内存区域扫描完毕，则ebx为0。 若是不是，则ebx存放上次调用以后的计数值)
    cmpl $0, %ebx
    # 是否还存在新的内存段须要探测
    jnz start_probe
finish_probe:
# 结束探测

2.2 启用分页机制

　　ucore在lab2中开启了80386的分页机制，实现了基于平坦段模型的段页式内存管理，为后续虚拟内存的实现作好了准备。

　　若是对80386分页机制原理不太熟悉的话，能够参考一下我以前的博客：80386分页机制与虚拟内存。

虚拟地址的概念

　　须要注意的是，在80386分页机制工做原理的许多资料中，开启了页机制后由指令(段选择子+段内偏移)所构成的地址被称为逻辑地址；而逻辑地址经过GDT或LDT等段表转换以后获得的地址被称为线性地址；若是开启了页机制，获得线性地址后还须要查找页表来获得最终的物理地址。

　　整个的转换过程大体为：逻辑地址->线性地址->物理地址。但虚拟地址这一律念并无获得统一，在实验指导书中，虚拟地址指的是程序指令给出的逻辑地址，而在有的资料中，则将线性地址称做虚拟地址。查阅有关资料时必定要注意虚拟地址这一律念在上下文中的确切含义，避免产生混淆。

ucore开启分页机制的细节

　　lab2以及日后的实验中，在ucore的虚拟空间设计中，开启了页机制后的内核是位于高位地址空间的，而低位内存空间则让出来交给用户应用程序使用。

　　ucore内核被bootloader指定加载的物理地址基址相对lab1而言是不变的。但在开启分页机制的先后，CPU翻译逻辑地址的方式也当即发生了变化。开启分页机制前，内核程序的指令指针是指向低位内存的，而开启了页机制后，咱们但愿可以正确、无损的令内核的指令指针指向高位地址空间，但保证其最终访问的物理地址不变，依然可以正确的执行。在实验指导书中有专门的一节提到：系统执行中地址映射的三个阶段。

　　在这里补充一下第二个阶段开启分页模式时的细节：在开启页机制的瞬间是如何巧妙的保证后续指令正确访问的。

　　根据git仓库上的提交记录，发现ucore开启分页机制的实现细节在2018年初进行了很大的改动。网上许多发表较早的ucore学习博客其内容部分已通过时，在参考时须要注意。(实验指导书的该节标题也有错误：应该是系统执行中地址映射的三个阶段，而不是以前的四个阶段了)。

entry.S

#include <mmu.h>
#include <memlayout.h>

#define REALLOC(x) (x - KERNBASE)

.text
.globl kern_entry
kern_entry:
    # REALLOC是由于内核在构建时被设置在了高位(kernel.ld中设置了内核起始虚地址0xC0100000,使得虚地址总体增长了KERNBASE)
    # 所以须要REALLOC来对内核全局变量进行重定位，在开启分页模式前保证程序访问的物理地址的正确性

    # load pa of boot pgdir
    # 此时尚未开启页机制，__boot_pgdir(entry.S中的符号)须要经过REALLOC转换成正确的物理地址
    movl $REALLOC(__boot_pgdir), %eax
    # 设置eax的值到页表基址寄存器cr3中
    movl %eax, %cr3

    # enable paging 开启页模式
    movl %cr0, %eax
    # 经过or运算，修改cr0中的值
    orl $(CR0_PE | CR0_PG | CR0_AM | CR0_WP | CR0_NE | CR0_TS | CR0_EM | CR0_MP), %eax
    andl $~(CR0_TS | CR0_EM), %eax
    # 将cr0修改完成后的值，从新送至cr0中(此时第0位PE位已经为1，页机制已经开启，当前页表地址为刚刚构造的__boot_pgdir)
    movl %eax, %cr0

    # update eip
    # now, eip = 0x1..... next是处于高位地址空间的
    leal next, %eax
    # set eip = KERNBASE + 0x1.....
    # 经过jmp至next处，使得内核的指令指针指向了高位。但因为巧妙的设计了高位映射的内核页表，使得依然能准确访问以前低位虚空间下的全部内容
    jmp *%eax
next:

    # unmap va 0 ~ 4M, it is temporary mapping
    xorl %eax, %eax
    # 将__boot_pgdir的第一个页目录项清零，取消0~4M虚地址的映射
    movl %eax, __boot_pgdir

    # 设置C的内核栈
    # set ebp, esp
    movl $0x0, %ebp
    # the kernel stack region is from bootstack -- bootstacktop,
    # the kernel stack size is KSTACKSIZE (8KB)defined in memlayout.h
    movl $bootstacktop, %esp
    # now kernel stack is ready , call the first C function
    # 调用init.c中的kern_init总控函数
    call kern_init

# should never get here
# 自旋死循环(若是内核实现正确，kern_init函数将永远不会返回并执行至此。由于操做系统内核自己就是经过自旋循环常驻内存的)
spin:
    jmp spin

.data
.align PGSIZE
    .globl bootstack
bootstack:
    .space KSTACKSIZE
    .globl bootstacktop
bootstacktop:

# kernel builtin pgdir
# an initial page directory (Page Directory Table, PDT)
# These page directory table and page table can be reused!
.section .data.pgdir
.align PGSIZE
__boot_pgdir:
.globl __boot_pgdir
    # map va 0 ~ 4M to pa 0 ~ 4M (temporary)
    # 80386的每个一级页表项可以映射4MB连续的虚拟内存至物理内存的关系
    # 第一个有效页表项，当访问0~4M虚拟内存时，虚拟地址的高10位为0，即找到该一级页表项(页目录项)，进而能够找到二级页表__boot_pt1
    # 进而能够进行虚拟地址的0~4M -> 物理地址 0~4M的等价映射
    .long REALLOC(__boot_pt1) + (PTE_P | PTE_U | PTE_W)
    # space用于将指定范围大小内的空间所有设置为0(等价于P位为0，即不存在的、无效的页表项)
    # KERNBASE/一个物理页的大小(PGSHIFT 4KB即偏移12位)/一个二级页表内的页表项(2^10个) * 4(一个页表项32位，即4byte)
    # 偏移的距离 - (. - __boot_pgdir) 是为了对齐
    .space (KERNBASE >> PGSHIFT >> 10 << 2) - (. - __boot_pgdir) # pad to PDE of KERNBASE
    # map va KERNBASE + (0 ~ 4M) to pa 0 ~ 4M
    # 第二个有效页表项，前面经过.space偏移跳过特定的距离，当虚拟地址为KERNBASE~KERNBASE+4M时，可以查找到该项
    # 其对应的二级页表一样是__boot_pt1，而其中映射的物理地址为按照下标顺序排列的0~4M，
    # 所以其最终的效果便能将KERNBASE~KERNBASE+4M的虚拟内存空间映射至物理内存空间的0~4M
    .long REALLOC(__boot_pt1) + (PTE_P | PTE_U | PTE_W)
    .space PGSIZE - (. - __boot_pgdir) # pad to PGSIZE

.set i, 0
# __boot_pt1是一个存在1024个32位long数据的数组，当将其做为页表时其中每一项都表明着一个物理地址映射项
# i为下标，每一个页表项的内容为i*1024做为映射的物理页面基址并加上一些低位的属性位(PTE_P表明存在，PTE_W表明可写)
__boot_pt1:
.rept 1024
    .long i * PGSIZE + (PTE_P | PTE_W)
    .set i, i + 1
.endr

页表映射关系图：

2.3 ucore是如何实现物理内存管理功能的

 　　开启了分页机制后，下面介绍lab2中的重点：ucore是如何实现物理内存管理功能的。初始化物理内存管理器的入口位于总控函数的pmm_init函数。

pmm_init函数：

//pmm_init - setup a pmm to manage physical memory, build PDT&PT to setup paging mechanism 
//         - check the correctness of pmm & paging mechanism, print PDT&PT
void
pmm_init(void) {
    // We've already enabled paging
    // 此时已经开启了页机制，因为boot_pgdir是内核页表地址的虚拟地址。经过PADDR宏转化为boot_cr3物理地址，供后续使用
    boot_cr3 = PADDR(boot_pgdir);

    //We need to alloc/free the physical memory (granularity is 4KB or other size). 
    //So a framework of physical memory manager (struct pmm_manager)is defined in pmm.h
    //First we should init a physical memory manager(pmm) based on the framework.
    //Then pmm can alloc/free the physical memory. 
    //Now the first_fit/best_fit/worst_fit/buddy_system pmm are available.

    // 初始化物理内存管理器
    init_pmm_manager();

    // detect physical memory space, reserve already used memory,
    // then use pmm->init_memmap to create free page list

    // 探测物理内存空间，初始化可用的物理内存
    page_init();

    //use pmm->check to verify the correctness of the alloc/free function in a pmm
    check_alloc_page();

    check_pgdir();

    static_assert(KERNBASE % PTSIZE == 0 && KERNTOP % PTSIZE == 0);

    // recursively insert boot_pgdir in itself
    // to form a virtual page table at virtual address VPT
    // 将当前内核页表的物理地址设置进对应的页目录项中(内核页表的自映射)
    boot_pgdir[PDX(VPT)] = PADDR(boot_pgdir) | PTE_P | PTE_W;

    // map all physical memory to linear memory with base linear addr KERNBASE
    // linear_addr KERNBASE ~ KERNBASE + KMEMSIZE = phy_addr 0 ~ KMEMSIZE
    // 将内核所占用的物理内存，进行页表<->物理页的映射
    // 令处于高位虚拟内存空间的内核，正确的映射到低位的物理内存空间
    // (映射关系(虚实映射): 内核起始虚拟地址(KERNBASE)~内核截止虚拟地址(KERNBASE+KMEMSIZE) =  内核起始物理地址(0)~内核截止物理地址(KMEMSIZE))
    boot_map_segment(boot_pgdir, KERNBASE, KMEMSIZE, 0, PTE_W);

    // Since we are using bootloader's GDT,
    // we should reload gdt (second time, the last time) to get user segments and the TSS
    // map virtual_addr 0 ~ 4G = linear_addr 0 ~ 4G
    // then set kernel stack (ss:esp) in TSS, setup TSS in gdt, load TSS
    // 从新设置GDT
    gdt_init();

    //now the basic virtual memory map(see memalyout.h) is established.
    //check the correctness of the basic virtual memory map.
    check_boot_pgdir();

    print_pgdir();
}

物理内存管理器pmm_manager初始化

　　pmm_init在获得了内核页目录表的物理地址后(boot_cr3)，便经过init_pmm_manager函数初始化了物理内存管理器框架。该框架(全局变量pmm_manager)是一个被抽象出来的，用于表达物理内存管理行为的函数指针集合，内核启动时会对这一函数指针集合进行赋值。

　　有了这一层函数指针集合的抽象层后，调用方就能够与提供服务的逻辑解耦了，在不修改任何调用方逻辑的状况下，简单的修改函数指针集合的实现便能进行不一样物理内存管理器的替换。若是熟悉面向对象概念的话，就会发现这和接口interface的概念相似，ucore物理内存管理器框架就是以面向对象的思惟，面向接口开发的，经过函数指针集合的方式实现多态这一特性。

　　C语言做为一门较低级的语言，其底层的函数指针功能就是C++/JAVA等面向对象语言中虚函数表的基础，只是C语言自己设计上并不支持语言级的面向对象编程，而必须由开发者手工的编写相似的模板代码，本身实现面向对象语言中由编译器自动实现的逻辑。

init_pmm_manager函数：

//init_pmm_manager - initialize a pmm_manager instance
static void
init_pmm_manager(void) {
    // pmm_manager默认指向default_pmm_manager 使用第一次适配算法
    pmm_manager = &default_pmm_manager;
    cprintf("memory management: %s\n", pmm_manager->name);
    pmm_manager->init();
}

pmm_manager定义：

// pmm_manager is a physical memory management class. A special pmm manager - XXX_pmm_manager
// only needs to implement the methods in pmm_manager class, then XXX_pmm_manager can be used
// by ucore to manage the total physical memory space.
struct pmm_manager {
    const char *name;                                 // XXX_pmm_manager's name
                                                      // 管理器的名称

    void (*init)(void);                               // initialize internal description&management data structure
                                                      // (free block list, number of free block) of XXX_pmm_manager 
                                                      // 初始化管理器

    void (*init_memmap)(struct Page *base, size_t n); // setup description&management data structcure according to
                                                      // the initial free physical memory space
                                                      // 设置可管理的内存,初始化可分配的物理内存空间

    struct Page *(*alloc_pages)(size_t n);            // allocate >=n pages, depend on the allocation algorithm
                                                      // 分配>=N个连续物理页,返回分配块首地址指针

    void (*free_pages)(struct Page *base, size_t n);  // free >=n pages with "base" addr of Page descriptor structures(memlayout.h)
                                                      // 释放包括自Base基址在内的，起始的>=N个连续物理内存页

    size_t (*nr_free_pages)(void);                    // return the number of free pages 
                                                      // 返回全局的空闲物理页数量

    void (*check)(void);                              // check the correctness of XXX_pmm_manager 
};

经过探测出的内存布局设置空闲物理映射空间

　　ucore使用一个通用的Page结构，来映射每一个被管理的物理页面。

　　其中调用的init_memmap函数，会经过pmm_manage框架的init_memmap，由指定的算法来初始化其内部结构。在ucore lab2的参考答案中，默认使用的是default_pmm_manager，其使用的是效率虽然不高，但简单、易理解的第一次适配算法(first fit)。关于default_pmm_manager的细节，会在下面再展开介绍。

Page结构

/* *
 * struct Page - Page descriptor structures. Each Page describes one
 * physical page. In kern/mm/pmm.h, you can find lots of useful functions
 * that convert Page to other data types, such as phyical address.
 * */
struct Page {
    // 当前物理页被虚拟页面引用的次数(共享内存时，影响物理页面的回收)
    int ref;                        // page frame's reference counter
    // 标志位集合(目前只用到了第0和第1个bit位) bit 0表示是否被保留（能否用于物理内存分配: 0未保留，1被保留）;bit 1表示对于可分配的物理页，当前是不是已被分配的
    uint32_t flags;                 // array of flags that describe the status of the page frame
    // 在不一样分配算法中意义不一样(first fit算法中表示当前空闲块中总共所包含的空闲页个数 ，只有位于空闲块头部的Page结构才拥有该属性，不然为0)
    unsigned int property;          // the num of free block, used in first fit pm manager
    // 空闲链表free_area_t的链表节点引用
    list_entry_t page_link;         // free list link
};

　　经过page_init函数能够利用以前在bootasm.S中探测到的e820map布局结构，初始化空闲物理内存空间。

page_init函数：

/* pmm_init - initialize the physical memory management */
static void
page_init(void) {
    // 经过e820map结构体指针，关联上在bootasm.S中经过e820中断探测出的硬件内存布局
    // 之因此加上KERNBASE是由于指针寻址时使用的是线性虚拟地址。按照最终的虚实地址关系(0x8000 + KERNBASE)虚拟地址 = 0x8000 物理地址
    struct e820map *memmap = (struct e820map *)(0x8000 + KERNBASE);
    uint64_t maxpa = 0;

    cprintf("e820map:\n");
    int i;
    // 遍历memmap中的每一项(共nr_map项)
    for (i = 0; i < memmap->nr_map; i ++) {
        // 获取到每个布局entry的起始地址、截止地址
        uint64_t begin = memmap->map[i].addr, end = begin + memmap->map[i].size;
        cprintf("  memory: %08llx, [%08llx, %08llx], type = %d.\n",
                memmap->map[i].size, begin, end - 1, memmap->map[i].type);
        // 若是是E820_ARM类型的内存空间块
        if (memmap->map[i].type == E820_ARM) {
            if (maxpa < end && begin < KMEMSIZE) {
                // 最大可用的物理内存地址 = 当前项的end截止地址
                maxpa = end;
            }
        }
    }

    // 迭代每一项完毕后，发现maxpa超过了定义约束的最大可用物理内存空间
    if (maxpa > KMEMSIZE) {
        // maxpa = 定义约束的最大可用物理内存空间
        maxpa = KMEMSIZE;
    }

    // 此处定义的全局end数组指针，正好是ucore kernel加载后定义的第二个全局变量(kern_init处第一行定义的)
    // 其上的高位内存空间并无被使用,所以以end为起点，存放用于管理物理内存页面的数据结构
    extern char end[];

    // 须要管理的物理页数 = 最大物理地址/物理页大小
    npage = maxpa / PGSIZE;
    // pages指针指向->可用于分配的，物理内存页面Page数组起始地址
    // 所以其刚好位于内核空间之上(经过ROUNDUP PGSIZE取整，保证其位于一个新的物理页中)
    pages = (struct Page *)ROUNDUP((void *)end, PGSIZE);

    for (i = 0; i < npage; i ++) {
        // 遍历每个可用的物理页，默认标记为被保留没法使用
        SetPageReserved(pages + i);
    }

    // 计算出存放物理内存页面管理的Page数组所占用的截止地址
    // freemem = pages(管理数据的起始地址) + (Page结构体的大小 * 须要管理的页面数量)
    uintptr_t freemem = PADDR((uintptr_t)pages + sizeof(struct Page) * npage);

    // freemem之上的高位物理空间都是能够用于分配的free空闲内存
    for (i = 0; i < memmap->nr_map; i ++) {
        // 遍历探测出的内存布局memmap
        uint64_t begin = memmap->map[i].addr, end = begin + memmap->map[i].size;
        if (memmap->map[i].type == E820_ARM) {
            if (begin < freemem) {
                // 限制空闲地址的最小值
                begin = freemem;
            }
            if (end > KMEMSIZE) {
                // 限制空闲地址的最大值
                end = KMEMSIZE;
            }
            if (begin < end) {
                // begin起始地址以PGSIZE为单位，向高位取整
                begin = ROUNDUP(begin, PGSIZE);
                // end截止地址以PGSIZE为单位，向低位取整
                end = ROUNDDOWN(end, PGSIZE);
                if (begin < end) {
                    // 进行空闲内存块的映射，将其归入物理内存管理器中管理，用于后续的物理内存分配
                    // 这里的begin、end都是探测出来的物理地址
                    // 第一个参数：起始Page结构的虚拟地址base = pa2page(begin)
                    // 第二个参数：空闲页的个数 = (end - begin) / PGSIZE
                    init_memmap(pa2page(begin), (end - begin) / PGSIZE);
                }
            }
        }
    }
}

初始化完毕后ucore物理内存布局示意图：

　　　

　　其中page_init中的end指向了BSS段结束处，freemem指向空闲内存空间的起始地址。pages(内核页表)位于"管理空闲空间的区域"这一内存块中。实际可用于分配/释放的空闲物理页位于内存空间起始地址~实际物理内存空间结束地址之间。

对虚拟地址进行映射/解除映射

　　ucore的lab2中有两个练习：

　　1. 经过一个线性地址来获得对应的二级页表项(pmm.c中的get_pte函数)。获得这个二级页表项地址后，即可以创建起虚拟地址与物理地址的映射关系。

　　2. 解除释放一个二级页表项与实际物理内存的映射关系(pmm.c中的page_remove_pte函数)。

　　须要注意的是，开启了页机制后，全部程序指令都是以逻辑地址(虚拟地址)的形式工做的，像指针、数组访问时等都必须是虚拟地址才能正确的工做(例如使用KADDR宏进行转换)。而页表/页目录表中的存放的物理页面基址映射都是物理地址。

get_pte函数：

//get_pte - get pte and return the kernel virtual address of this pte for la
//        - if the PT contains this pte didn't exist, alloc a page for PT
//        经过线性地址(linear address)获得一个页表项(二级页表项)(Page Table Entry)，并返回该页表项结构的内核虚拟地址
//        若是应该包含该线性地址对应页表项的那个页表不存在，则分配一个物理页用于存放这个新建立的页表(Page Table)
// parameter: 参数
//  pgdir:  the kernel virtual base address of PDT   页目录表(一级页表)的起始内核虚拟地址
//  la:     the linear address need to map              须要被映射关联的线性虚拟地址
//  create: a logical value to decide if alloc a page for PT   一个布尔变量决定对应页表项所属的页表不存在时，是否将页表建立
// return vaule: the kernel virtual address of this pte  返回值: la参数对应的二级页表项结构的内核虚拟地址
pte_t *
get_pte(pde_t *pgdir, uintptr_t la, bool create) {
    /* LAB2 EXERCISE 2: YOUR CODE
     *
     * If you need to visit a physical address, please use KADDR()
     * please read pmm.h for useful macros
     *
     * Maybe you want help comment, BELOW comments can help you finish the code
     *
     * Some Useful MACROs and DEFINEs, you can use them in below implementation.
     * MACROs or Functions:
     *   PDX(la) = the index of page directory entry of VIRTUAL ADDRESS la.
     *   KADDR(pa) : takes a physical address and returns the corresponding kernel virtual address.
     *   set_page_ref(page,1) : means the page be referenced by one time
     *   page2pa(page): get the physical address of memory which this (struct Page *) page  manages
     *   struct Page * alloc_page() : allocation a page
     *   memset(void *s, char c, size_t n) : sets the first n bytes of the memory area pointed by s
     *                                       to the specified value c.
     * DEFINEs:
     *   PTE_P           0x001                   // page table/directory entry flags bit : Present
     *   PTE_W           0x002                   // page table/directory entry flags bit : Writeable
     *   PTE_U           0x004                   // page table/directory entry flags bit : User can access
     */
#if 0
    pde_t *pdep = NULL;   // (1) find page directory entry
    if (0) {              // (2) check if entry is not present
                          // (3) check if creating is needed, then alloc page for page table
                          // CAUTION: this page is used for page table, not for common data page
                          // (4) set page reference
        uintptr_t pa = 0; // (5) get linear address of page
                          // (6) clear page content using memset
                          // (7) set page directory entry's permission
    }
    return NULL;          // (8) return page table entry
#endif
    // PDX(la) 根据la的高10位得到对应的页目录项(一级页表中的某一项)索引(页目录项)
    // &pgdir[PDX(la)] 根据一级页表项索引从一级页表中找到对应的页目录项指针
    pde_t *pdep = &pgdir[PDX(la)];
    // 判断当前页目录项的Present存在位是否为1(对应的二级页表是否存在)
    if (!(*pdep & PTE_P)) {
        // 对应的二级页表不存在
        // *page指向的是这个新建立的二级页表基地址
        struct Page *page;
        if (!create || (page = alloc_page()) == NULL) {
             // 若是create参数为false或是alloc_page分配物理内存失败
            return NULL;
        }
        // 二级页表所对应的物理页 引用数为1
        set_page_ref(page, 1);
        // 得到page变量的物理地址
        uintptr_t pa = page2pa(page);
        // 将整个page所在的物理页格式胡，所有填满0
        memset(KADDR(pa), 0, PGSIZE);
        // la对应的一级页目录项进行赋值，使其指向新建立的二级页表(页表中的数据被MMU直接处理，为了映射效率存放的都是物理地址)
        // 或PTE_U/PTE_W/PET_P 标识当前页目录项是用户级别的、可写的、已存在的
        *pdep = pa | PTE_U | PTE_W | PTE_P;
    }

    // 要想经过C语言中的数组来访问对应数据，须要的是数组基址(虚拟地址),而*pdep中页目录表项中存放了对应二级页表的一个物理地址
    // PDE_ADDR将*pdep的低12位抹零对齐(指向二级页表的起始基地址)，再经过KADDR转为内核虚拟地址，进行数组访问
    // PTX(la)得到la线性地址的中间10位部分，即二级页表中对应页表项的索引下标。这样便能获得la对应的二级页表项了
    return &((pte_t *)KADDR(PDE_ADDR(*pdep)))[PTX(la)];
}

page_remove_pte函数：

//page_remove_pte - free an Page sturct which is related linear address la
//                - and clean(invalidate) pte which is related linear address la
//note: PT is changed, so the TLB need to be invalidate 
static inline void
page_remove_pte(pde_t *pgdir, uintptr_t la, pte_t *ptep) {
    /* LAB2 EXERCISE 3: YOUR CODE
     *
     * Please check if ptep is valid, and tlb must be manually updated if mapping is updated
     *
     * Maybe you want help comment, BELOW comments can help you finish the code
     *
     * Some Useful MACROs and DEFINEs, you can use them in below implementation.
     * MACROs or Functions:
     *   struct Page *page pte2page(*ptep): get the according page from the value of a ptep
     *   free_page : free a page
     *   page_ref_dec(page) : decrease page->ref. NOTICE: ff page->ref == 0 , then this page should be free.
     *   tlb_invalidate(pde_t *pgdir, uintptr_t la) : Invalidate a TLB entry, but only if the page tables being
     *                        edited are the ones currently in use by the processor.
     * DEFINEs:
     *   PTE_P           0x001                   // page table/directory entry flags bit : Present
     */
#if 0
    if (0) {                      //(1) check if page directory is present
        struct Page *page = NULL; //(2) find corresponding page to pte
                                  //(3) decrease page reference
                                  //(4) and free this page when page reference reachs 0
                                  //(5) clear second page table entry
                                  //(6) flush tlb
    }
#endif
    if (*ptep & PTE_P) {
        // 若是对应的二级页表项存在
        // 得到*ptep对应的Page结构
        struct Page *page = pte2page(*ptep);
        // 关联的page引用数自减1
        if (page_ref_dec(page) == 0) {
            // 若是自减1后，引用数为0，须要free释放掉该物理页
            free_page(page);
        }
        // 清空当前二级页表项(总体设置为0)
        *ptep = 0;
        // 因为页表项发生了改变，须要TLB快表
        tlb_invalidate(pgdir, la);
    }
}

default_pmm.c 第一次适配分配算法分析

 　　ucore提供了pmm_manager框架，能够支持灵活的切换多种物理内存分配算法。而为了实验的简单性，ucore的参考答案提供了相对好理解的first fit第一次适配算法做为例子，来展现ucore是的物理内存管理功能时如何工做的。

　　在ucore的第一次适配分配算法中，是经过一个双向链表结构来链接各个连续空闲块的，即定义在default_pmm.c中的free_area_t变量。free_area_t结构十分简单，一个整数nr_free记录着全局保存着多少空闲物理页，另外一个list_entry_t类型的变量free_list，做为整个空闲链表的头结点。

free_area_t结构：

/* free_area_t - maintains a doubly linked list to record free (unused) pages */
typedef struct {
    list_entry_t free_list;         // the list header
    unsigned int nr_free;           // # of free pages in this free list
} free_area_t;

list_entry_t结构：

struct list_entry {
    struct list_entry *prev, *next;
};

typedef struct list_entry list_entry_t;

　　回顾一下Page结构的定义，其中包含了一个属性page_link，就能够用于挂载到free_area_t空闲链表中。

ucore通用双向链表介绍

　　若是对数据结构中的双向链表知识有必定了解的话，可能会对ucore中双向链表的实现感到疑惑。

　　通常来讲，双向链表结构的节点除了前驱和后继节点的指针/引用以外，还存在一个用于包裹业务数据的data属性，而ucore中的链表节点list_entry却没有这个data数据属性。这是由于ucore中的双向链表结构在设计之初是但愿可以通用的：不但能将Page结构连接起来，还能连接其它任意的数据。而C语言中并无c++或是java中的泛型功能，只能定义为某一特定类型的data属性，若是data域与链表的节点定义在一块儿的话，就无法作到足够通用。

　　ucore参考了linux中的作法，反其道而行：再也不是双向链表的节点包裹数据，而是由数据自己保存链表节点引用。这样设计的最大好处就是链表能够通用，可以连接各类类型的数据结构到一块儿；但与此同时也带来了一些问题，好比其下降了代码的可读性，编译器也无法确保链表中的数据都是合理的类型。

le2page宏的原理

　　在对传统的双向链表遍历时，因为是链表节点自己包裹了data，所以能够直接访问到节点关联的data数据。而在ucore的双向链表实现中，因为链表节点自己没有保存data数据，而是反被data数据包裹，所以须要一些比较巧妙(tricky)的方法来实现对节点所属结构的访问。

　　在空闲链表这一实现中，是由Page结构包裹着链表节点page_link。ucore提供了le2page宏，经过le2page能够由page_link反向获得节点所属的Page结构。

　　在ucore中，就有经过struct Page *p = le2page(le, page_link)这样的逻辑，其中le是链表节点的指针。

// convert list entry to page
#define le2page(le, member)                 \
    to_struct((le), struct Page, member)

/* *
 * to_struct - get the struct from a ptr
 * @ptr:    a struct pointer of member
 * @type:   the type of the struct this is embedded in
 * @member: the name of the member within the struct
 * */
#define to_struct(ptr, type, member)                               \
    ((type *)((char *)(ptr) - offsetof(type, member)))

/* Return the offset of 'member' relative to the beginning of a struct type 返回member到结构起始地址的相对偏移*/
#define offsetof(type, member) \
((size_t)(&((type *)0)->member))

　　能够看到le2page宏是依赖to_struct这一通用宏来实现的。在le2page中，其传递给to_struct宏的三个参数分别是链表的指针ptr，type为Page结构体自己的定义，member为page_link。

　　C语言中，结构体中数据结构的最终在虚拟内存空间中是按照属性的顺序，从低位到高位排列的，而page_link的指针地址必然高于Page结构的基地址，且二者之间的差值能够经过结构体中的定义获得。在to_struct中，经过ptr(即page_link的指针地址)减去offset(type,member)(即page_link到Struct Page结构的相对偏移)，便可以获得page_link节点所属Page结构的首地址。最后经过type *，将其强制转换为对应的Page指针。

　　offsetof宏巧妙的构造了一个位于起始地址0的type类型指针，并经过&得到其member属性的地址。因为其结构指针的初始地址为0，则最后获得的就是member字段相对于type结构基址的相对偏移量了。

　　这是C语言中经过结构体中某一属性地址访问其所属结构体的一种巧妙实现。

　　le2page宏对于C语言的初学者来讲确实不是很好理解，连注释中都指出这一作法有些tricky，但在理解其原理以后，将来实验中更多依赖to_struct宏的地方就不会再被困扰了。

le2page原理图：

　　

default_pmm.c 第一次适配分配算法中的分配与释放功能的分析

　　default_pmm.c中完整的实现了pmm_manager所指定的函数接口，限于篇幅，这里只重点介绍其分配与释放物理内存页的功能。

　　分配物理内存页的功能由default_alloc_pages函数完成；释放物理内存页的功能由default_free_pages函数完成。

default_alloc_pages函数：

/**
 * 接受一个合法的正整数参数n，为其分配N个物理页面大小的连续物理内存空间.
 * 并以Page指针的形式，返回最低位物理页(最前面的)。
 * 
 * 若是分配时发生错误或者剩余空闲空间不足，则返回NULL表明分配失败
 * */
static struct Page *
default_alloc_pages(size_t n) {
    assert(n > 0);
    if (n > nr_free) {
        return NULL;
    }
    struct Page *page = NULL;
    list_entry_t *le = &free_list;
    // TODO: optimize (next-fit)

    // 遍历空闲链表
    while ((le = list_next(le)) != &free_list) {
        // 将le节点转换为关联的Page结构
        struct Page *p = le2page(le, page_link);
        if (p->property >= n) {
            // 发现一个知足要求的，空闲页数大于等于N的空闲块
            page = p;
            break;
        }
    }
    // 若是page != null表明找到了，分配成功。反之则分配物理内存失败
    if (page != NULL) {
        if (page->property > n) {
            // 若是空闲块的大小不是正合适(page->property != n)
            // 按照指针偏移，找到按序后面第N个Page结构p
            struct Page *p = page + n;
            // p其空闲块个数 = 当前找到的空闲块数量 - n
            p->property = page->property - n;
            SetPageProperty(p);
            // 按对应的物理地址顺序，将p加入到空闲链表中对应的位置
            list_add_after(&(page->page_link), &(p->page_link));
        }
        // 在将当前page从空间链表中移除
        list_del(&(page->page_link));
        // 闲链表总体空闲页数量自减n
        nr_free -= n;
        // 清楚page的property(由于非空闲块的头Page的property都为0)
        ClearPageProperty(page);
    }
    return page;
}

default_free_pages函数：

/**
 * 释放掉自base起始的连续n个物理页,n必须为正整数
 * */
static void
default_free_pages(struct Page *base, size_t n) {
    assert(n > 0);
    struct Page *p = base;

    // 遍历这N个连续的Page页，将其相关属性设置为空闲
    for (; p != base + n; p ++) {
        assert(!PageReserved(p) && !PageProperty(p));
        p->flags = 0;
        set_page_ref(p, 0);
    }

    // 因为被释放了N个空闲物理页，base头Page的property设置为n
    base->property = n;
    SetPageProperty(base);

    // 下面进行空闲链表相关操做
    list_entry_t *le = list_next(&free_list);
    // 迭代空闲链表中的每个节点
    while (le != &free_list) {
        // 得到节点对应的Page结构
        p = le2page(le, page_link);
        le = list_next(le);
        // TODO: optimize
        if (base + base->property == p) {
            // 若是当前base释放了N个物理页后，尾部正好能和Page p连上，则进行两个空闲块的合并
            base->property += p->property;
            ClearPageProperty(p);
            list_del(&(p->page_link));
        }
        else if (p + p->property == base) {
            // 若是当前Page p能和base头连上，则进行两个空闲块的合并
            p->property += base->property;
            ClearPageProperty(base);
            base = p;
            list_del(&(p->page_link));
        }
    }
    // 空闲链表总体空闲页数量自增n
    nr_free += n;
    le = list_next(&free_list);

    // 迭代空闲链表中的每个节点
    while (le != &free_list) {
        // 转为Page结构
        p = le2page(le, page_link);
        if (base + base->property <= p) {
            // 进行空闲链表结构的校验，不能存在交叉覆盖的地方
            assert(base + base->property != p);
            break;
        }
        le = list_next(le);
    }
    // 将base加入到空闲链表之中
    list_add_before(le, &(base->page_link));
}

3、总结

　　从ucore lab2的实验pmm_manager框架的实现中使得我进一步的意识到面向对象，或者说是面向接口/协议编程并非面向对象语言的专属。面向对象这一律念更多的是一种经过抽象、聚合进行模块化，下降系统复杂度的一种思想。在ucore中就用C语言以面向对象的方式，解耦了具体的物理内存分配策略与使用物理内存管理逻辑的解耦，而在《计算机程序的构造与解释》SICP一书中，即是用lisp这一被公认为是函数式编程范式的语言实现了一个面向对象的系统。面向对象与函数式这两种编程范式并非水火不容的，而都是做为一种控制系统总体复杂度的抽象手段之一。

　　仔细观察pmm_manager框架的设计，能够明显感到C的多态实现不如支持面向对象编程的语言优雅，须要额外编写许多模板代码，且没法获得编译器更多的支持。这样一种相似设计模式的繁琐实现方式，在某种程度上来讲也体现了C语言自己表达能力不足的缺陷，也是后来C++出现的一个主要缘由。

　　经过ucore的实验，令咱们能从源码层面实现不一样物理内存的分配算法(挑战练习中要求实现更复杂的伙伴系统、slab分配器)，使得操做系统书籍、原理课上讲解的相关理论再也不枯燥，而是变得栩栩如生了，

　　这篇博客的完整代码注释在个人github上：https://github.com/1399852153/ucore_os_lab (fork自官方仓库)中的lab2_answer。

　　但愿个人博客能帮助到对操做系统、ucore os感兴趣的人。存在许多不足之处，还请多多指教。