Mit6.S081-实验3-Page tables

Mit6.S081-实验3-Page tables

  • 一、Print a page table
    • 1,实验准备
    • 2,实验要求
    • 3,具体实现
    • 4,执行效果
    • 5,测试效果
  • 二、A kernel page table per process
    • 1,实验要求
    • 2,具体实现
    • 3,测试效果
  • 三、Simplify copyin/copyinstr
    • 1,实验要求
    • 2,具体实现
    • 3,测试结果

一、Print a page table

1,实验准备

1)阅读xv6 book章节3
2)内存布局代码:kern/memlayout.h
3)虚拟内存代码:kernel/vm.c
4)分配、释放物理内存代码:kernel/kalloc.c

2,实验要求

为了帮助学习RISC-V page tables,也可能是帮助未来的调试,第一个任务是写一个函数来打印页表内容。
定义一个函数vmprint()。它应该接收一个pagetable_t参数,并且用下面格式打印页表。
在exec.c中return argc之前,插入if(p->pid==1) vmprint(p-pagetable),来打印第一个进程的页表。
当启动xv6时,应该打印以下内容,描述第一个进程的页表信息,在刚执行完exec()时。

Mit6.S081-实验3-Page tables_第1张图片

第一行显示了vmprint()的参数。在那之后每行对应一个PTE,包含树中指向page-table pages的PTE。
每个PTE行由一些".."(表明树的深度)缩进。
每个PTE行显示PTE在page-table page中的索引、pte地址、pte中的物理页地址。不要打印无效PTE。
在上面的例子中,有顶级page-table page:0、255。entry 0的下一级仅有索引0, 这个索引0的下一级有0、1、2三个PTE。
你的代码可能生成与上面那些代码不同的物理地址。entry和虚拟地址的数量应该一样。

3,具体实现

1)在kernel/vm.c中定义
Mit6.S081-实验3-Page tables_第2张图片
2)修改kernel/defs.h中增加vmprint()的声明
Mit6.S081-实验3-Page tables_第3张图片
3)在kernel/exec.c中增加对vmprint()的调用
Mit6.S081-实验3-Page tables_第4张图片

4,执行效果

Mit6.S081-实验3-Page tables_第5张图片

5,测试效果

在xv6-labs-2020中,执行下面指令,测试程序

make grade

在这里插入图片描述

二、A kernel page table per process

1,实验要求

无论何时在内核执行时,xv6使用同一个内核页表。内核页表是一个物理地址的直接映射,因此内核虚拟地址x对应物理地址x。
xv6也有一个单独的页表给每个进程的用户地址空间,仅包含那个进程用户内存的映射,起始于虚拟地址0。
因为内核页表不包含这些映射,用户地址在内核无效。因此,当内核需要使用一个用户指针传到system call时,内核必须首先翻译指针到物理地址。
这个和下个实验的目的是为了允许内核直接解析用户指针。
第一个任务是更改内核,为了当在内核执行时,每个进程使用它自己的内核页表拷贝。
更改struct proc来让每个进程保持一个内核页表,更改scheduler(),当切换进程时切换内核页表。
对于这一步,每个进程的内核页表应该和已存在的全局内核页表完全相同。
读xv6书、理解作业一开始提到的代码如何起作用,将更容易正确地更改虚拟内存代码。
页表设置中的bug会因为缺少映射导致缺陷,导致加载、存储会影响到不可预期的物理内存页,也会导致执行不正确的物理内存页。

2,具体实现

1)在kernel/proc.h的struct proc中新加kernelPageTable
Mit6.S081-实验3-Page tables_第6张图片
2)修改kernel/vm.c,新增一个vmmake()方法可以创建一个内核页表(不包含CLINT的映射)
Mit6.S081-实验3-Page tables_第7张图片
3)在kernel/vm.c,修改vminit()方法,内部由vmmake()实现,此处为全局内核页表创建过程,另外加上CLINT的映射。
Mit6.S081-实验3-Page tables_第8张图片
4)在kernel/proc.c,修改procinit()方法,不再于此方法中为每个进程分配内核栈
Mit6.S081-实验3-Page tables_第9张图片
5)在kernel/proc.c,修改allocproc(),在此时创建内核页表,并在内核页表上分配一个内核栈
Mit6.S081-实验3-Page tables_第10张图片
6)在kernel/proc.c,修改scheduler(),在swtch()切换进程前修改satp,保证进程执行期间用的是进程内核页表,切换完后再修改satp为全局内核页表
Mit6.S081-实验3-Page tables_第11张图片
7)在kernel/vm.c,kvmpa()方法会在进程执行期间调用,此时需要修改为获取进程内核页表,而不是全局内核页表
Mit6.S081-实验3-Page tables_第12张图片
myproc()方法调用,需要在proc.c头部添加头文件引用
Mit6.S081-实验3-Page tables_第13张图片
8)在kernel/proc.c,修改freeproc()方法,添加对进程内核页表的资源释放
Mit6.S081-实验3-Page tables_第14张图片
9)在kernel/proc.c,新增proc_free_kernel_pagetable()方法,用于释放进程内核页表指向的物理内存,以及进程内核页表本身
Mit6.S081-实验3-Page tables_第15张图片
10)在kernel/vm.c,新增uvmfree2()方法,用于释放内核页表上的内核栈
Mit6.S081-实验3-Page tables_第16张图片

3,测试效果

启动xv6,成功执行usertests
Mit6.S081-实验3-Page tables_第17张图片

三、Simplify copyin/copyinstr

1,实验要求

内核的copyin函数读取用户指针指向的内存。它先将它们翻译为物理地址(内核可以直接用)。通过代码walk进程页表实现翻译。
在此实验中,你的工作是给每个进程的内核页表添加用户映射,使得copyin可以直接使用用户指针。

2,具体实现

1)在kernel/proc.c中,修改userinit方法
Mit6.S081-实验3-Page tables_第18张图片
2)在kernel/proc.c中,修改fork方法
Mit6.S081-实验3-Page tables_第19张图片
3)在kernel/exec.c中,修改exec(),在用户进程页表重新生成完后,取消进程内核页表之前的映射,在进程内核页表,建立新进程页表的映射
Mit6.S081-实验3-Page tables_第20张图片
并添加用户空间地址不能大于PLIC的判断
Mit6.S081-实验3-Page tables_第21张图片
4)在sysproc.c中,修改sys_sbrk(),在内存扩张、缩小时,相应更改进程内核页表
Mit6.S081-实验3-Page tables_第22张图片
5)在kernel/proc.c中,修改freeproc和proc_free_kernel_pagetable方法,取消进程内核页表地址映射
Mit6.S081-实验3-Page tables_第23张图片
Mit6.S081-实验3-Page tables_第24张图片

6)在kernel/defs.h中,添加copyin_new()、copyinstr_new()的声明
在这里插入图片描述
7)在kernel/vm.c中,替换copyin()、copyinstr()为copyin_new()、copyinstr_new()
Mit6.S081-实验3-Page tables_第25张图片

3,测试结果

在xv6-labs-2020下执行make grade
Mit6.S081-实验3-Page tables_第26张图片

你可能感兴趣的:(操作系统,操作系统)