ucore lab3 虚拟内存管理 学习笔记

做个总结,这节说是讲虚拟内存管理,大部分的时间都在搞SWAP机制和服务于此机制的一些个算法.难度又降了一截.

不过现在我的电脑都16G内存了,能用完一半的情景都极少见了,可能到用到退休都不见得用的上SWAP机制了.在这种情况下SWAP分区也就象征性的分个几百兆了.

vmm.c&.h

vma:描述了一块连续的虚拟内存空间,保证start<=end

struct vma_struct {
    struct mm_struct *vm_mm; // the set of vma using the same PDT
    uintptr_t vm_start;      // start addr of vma
    uintptr_t vm_end;        // end addr of vma, not include the vm_end itself
    uint32_t vm_flags;       // flags of vma
    list_entry_t list_link;  // linear list link which sorted by start addr of vma
};

mm:管理使用同一PDT的vma集合的结构体

struct mm_struct {
    list_entry_t mmap_list;        // linear list link which sorted by start addr of vma,
    								//一直指向头部
    struct vma_struct *mmap_cache; // current accessed vma, used for speed purpose,
   								 //一直指向最后访问项
    pde_t *pgdir;                  // the PDT of these vma
    int map_count;                 // the count of these vma
    void *sm_priv;                   // the private data for swap manager
};

mm实现类似于物理内存管理里的free_area,是一个管理虚拟内存的链表,mm为指向头元素的指针,每一项都是vma

mm_create: 分配一个mm并初始化

如果此时已初始化SM,则调用SM的init_mm

mm_destroy: 释放mm管理的内存和它自身

vma_create: 创建一个vma并初始化

insert_vma_struct: 把指定vma插入到指定mm里.

以为要保证插入后起始地址从小到达排,所以遍历mm->mmap_list,找到地址刚好比vma地址大的一项,插到它前面.并检查vma的地址范围与前一项和后一项是否重叠

find_vma: 在mm里查找包含指定addr的vma

与插入不同,查找是按着mmap_cache遍历链表来缩短查找的期望时间,并在查找成功后更新mmap_cache为找到的vma

pmm.c

kmalloc: 分配n字节的内容,间接使用了alloc_pages

kfree: 释放从ptr起n字节的内容,间接使用了free_pages

page_insert(pgdir,page,la,perm):

*get_pte(pgdia,la,1)=page2pa(page)|PTE_P|perm

还有对page.ref,快表更新,pte的旧page的清理等细节

pgdir_alloc_page:

把(pgdir,la)对应的pte分配个page,并把page放到pra队列队尾,并更新page->pra->vaddr

memlayout.h:

Page结构里增加了俩成员

list_entry_t pra_page_link 在PRA里作为链表项

uintptr_t pra_vaddr 用于在被换出时记录当前线性地址

swap_fifo.c&.h

实现了基于FIFO的页置换算法

fifo_init_mm: 用le变量pra_list_head作为队头,令mm->sm_priv=队头

fifo_map_swappable: 把指定page添加到队尾

fifo_swap_out_victim: victim在这里有被替换者的意思.把队头page出队列,并返回之

swapfs.c&.h

封装了对SWAP分区的读写操作

swap.c&.h

在物理内存管理中,当PTE的存在位为0时,表示物理页不在内存中.我们把此时的PTE转化为swap_entry_t(SET)来描述一个处于换出状态的物理页在外存中的偏移

/* *
 * swap_entry_t
 * --------------------------------------------
 * |         offset        |   reserved   | 0 |
 * --------------------------------------------
 *           24 bits            7 bits    1 bit
 * */

为实现SWAP机制,定义了swap_manager结构体,原理类似于类似于PMM

struct swap_manager
{
     const char *name;
     /* Global initialization for the swap manager */
     int (*init)            (void);
     /* Initialize the priv data inside mm_struct */
     int (*init_mm)         (struct mm_struct *mm);
     /* Called when tick interrupt occured */
     int (*tick_event)      (struct mm_struct *mm);
     /* Called when map a swappable page into the mm_struct */
     int (*map_swappable)   (struct mm_struct *mm, uintptr_t addr, struct Page *page, int swap_in);
     /* When a page is marked as shared, this routine is called to
      * delete the addr entry from the swap manager */
     int (*set_unswappable) (struct mm_struct *mm, uintptr_t addr);
     /* Try to swap out a page, return then victim */
     int (*swap_out_victim) (struct mm_struct *mm, struct Page **ptr_page, int in_tick);
     /* check the page relpacement algorithm */
     int (*check_swap)(void);
};

swap_init:

计算SWAP分区的最大页数

将默认sm设为swap_manager_fifo,并调用它的初始化函数

检查初始化是否成功

swap_out: 把mm的pra队列的前n个page出队并写入外存

重复n次:

(1)把mm的pra队列的头page出队列

(2)获取page对应的pte

(3)把page写入外存

(4)更新pte,转化为set格式

(5)更新快表

swap_in:

(1)分配一页内存result

(2)获取指定addr对应的pte(当前为set格式)

(3)把pte对应的扇取区域读入result

(4)返回result地址

swap_out的触发时机:

在pmm.c的alloc_pages里

当swap初始化标志为真,并且分配页失败时,会写入外存,腾出空间.

swap_in的触发时机:

pagefault异常处理函数:do_pgfault(mm, error_code, addr)

大部分情况下会输出各种异常信息,只有在满足以下条件时会继续执行

* IF (write an existed addr ) OR
*    (write an non_existed addr && addr is writable) OR
*    (read  an non_existed addr && addr is readable)

此时意味着发生缺页了,

(1)获取addr对应的vma

(2)获取vma对应的权限

(3)获取addr对应的pte

(4)pte为0,pgdir_alloc_page

(5)pte!=0,那就当成set进行swap_in,读进后更新pte,更新pra队列和page->ptr_vaddr