OS Lab 【Page tables】

一、实验内容:

Part A Speed up system calls
  • Perform the mapping in proc_pagetable() in kernel/proc.c

    实现思路:

    先查看 proc_pagetable() 的内部实现,发现其主要用到了mappages()这一函数,分别map了trampoline page和trapframe page。我们需要做的便是map一个usyscall page,与以上两项对比,需要改变的便是参数va, pa, perm。va即已在memlayout.h中定义的虚拟地址USYSCALL,perm即权限位,要用户可访问+读,便置为PTE_R | PTE_U。现在只剩pa了,即要映射到的物理地址,其中要存储了当前进程的usyscall,和trapframe相仿,故我们要在proc中放置该地址。最后再同上一项的操作一样,如果该项map失败,uvmunmap前面的page。

    具体实现:

    proc中添加usyscall*

    image-20221029154451232

    map usyscall page

    image-20221029155721182

  • Allocate and initialize the page in allocproc()

    Allocate:模仿trapframe

    image-20221029160041379page即可:

    Initialize:让usyscall中的pid等于当前进程的pid

    image-20221029160159531

  • Free the page in freeproc()

    同样模仿即可

    image-20221029160434995

    比较坑的是,在freepagetable时还要记得把map的page都uvmunmap了,所以要添加USYSCALL项

    image-20221029160656570

测试:

image-20221029161056845

Part B Print a page table
  • Define vmprint() and insert if(p->pid==1) vmprint(p->pagetable) in exec.c just before the return argc

    Insert

    image-20221029161459459

    Define

    第一行的打印较为简单,先打印"page table",再用%p打印pagetable即可

    image-20221029161625408

    打印结果如图:

    image-20221029162145671

  • Print lines for each PTE

实现思路:

即要遍历pagetable的每一项PTE并打印其本身和对应的物理地址,需要注意的是xv6的页表类似一个三级树,父PTE对应的物理地址又是子pagetable的地址,故要用递归的方法以打印子pagetable。注意要置一个count来区分递归的深度,递归到2即截止,同时count也能作为打印…的标准。

三级树示意图:

22834193-d2d202f6da9bd8d7

查看freewalk的遍历方式:

image-20221029162452472

递归主函数,参数还包含了count,count<2则正常递归

image-20221029163622932

打点函数,根据不同的count打印不同的点

image-20221029163738979

主函数:

image-20221029163842325

测试:

image-20221101084657962

Part C Detect which pages have been accessed
  • Implementing sys_pgaccess() in kernel/sysproc.c

    先在 pgaccess 查看所需要读取的参数

    image-20221101080252406

    由于base和mask是地址类型,故用 argaddr() 读取,len是int类型,用 argint()读取。在定义时,为方便copycout()的使用,我们定义addr为mask地址,mask为一个需要置位的无符号数(即传递的值)。

    image-20221101080518622

  • Check arguments are right

    检查page数(len)是否合规:

    在用mask来标注那一页是否被访问时,我们用mask的那一位置1来说明,故page的最大页数取决于mask的位数,因为mask是无符号64位,故最大len为64,大于该值返回-1表示错误。

    image-20221101081402862

    image-20221101081501542

    检查地址是否越界:

    只需要检查最大页的地址是否大于最大地址即可(见上图)

  • Do the scan and copy

    只需要查找每一页对应的PTE项,看看其PTE_A是否为1,是则把mask对应位置1,然后再把PTE的A位置0(clear操作)

    至于查找PTE项,调用walk()即可

    PTE_A需要在声明PTE_U等的位置声明一下,查表(见上图Figure3.2)可知是第6位,1L左移6位即可

    clear操作要把PTE的A位置0,相当于要与上第6位为0、其余位为1的无符号数,该数将PTE_A取反可得到

    最后把操作完的mask用copyout传到对应位置

    image-20221101082445181

    image-20221101081943907

测试:

image-20221101084425837

二、问题回答:

(1)在Part A 加速系统调用部分,除了getpid()系统调用函数,你还能想到哪些系统调用函数可以如此加速?

  • 根据加速的原理,还可以加速的系统调用函数应该是要返回内核的某个参数或其地址,不需要再调用内核其他函数。对比user.h中的函数,发现有这样一个函数——uptime(),它返回的是发生中断的次数,返回值是trap.c中的ticks。

(2)虚拟内存有什么用处?

  • 内存管理:为每个进程提供了较为一致的地址空间,可简化内存管理。由于页表的存在,操作系统进行内存分配时,不需要分配连续的物理页面,这简化了内存分配。

  • 内存保护:每个进程有独立的内存空间,这保护了每个进程的地址空间不被其他进程破坏。同时,在PTE项中加入权限位,也保证了进程不去访问不该访问的page。

  • 提高性能:在空间上,页表尤其是多级页表的存在使得虚拟内存和物理内存间的映射变得灵活,可减少碎片的产生,使物理内存能够被充分利用起来;在时间上,如Part A所做的操作,可加速一些只访问内核参数的函数。

(3)为什么现代操作系统采用多级页表?

  • 在绝大多数情况下节省页表内存空间。这说起来有点违反常识,因为实际上对于一次va到pa的映射,只用一级页表,相当于只有一层索引信息,而多级页表则意味着多层索引信息。之所以说是多级页表可以节省页表内存空间,并不是以上面的说法来看待的。以上的说法之所以成立,是我们认为进程覆盖了整个虚拟地址空间,一级页表的页表项都被用到了。但在大多数情况下,进程远远用不到整个虚拟地址空间,某个一级页表项也不需要用到,在多级页表机制中其对应的所有二级页表也就不需要创建出来了,节省页表内存空间便是从此而来。打个比方,比如按一级页表机制有1024页表项,二级页表按32*32项算,如果只用到了一半,第二级页表则有一半先不需要创建出来。还有一个问题,就是为什么第一级页表不能也只创建一半。这是由页表的性质决定的,第一级页表得是连续的、固定的一段空间,所以不管页表项创建了多少个,这一段空间都得在那,不能做其他用途。

  • 可以离散地存储页表,以此可缓解操作系统的碎片问题。正如第一个优点最后提及的那样,多级页表第一级后面的页表就不用是连续和固定的地址空间了。比如xv6里的机制是把父页表项映射出来的物理地址作为子页表的地址。

(4)简述Part C的detect流程。

  • 首先,如果该page被access过,则PTE项的第六位即PTE_A会自动置1。然后,在detect之前,会检查参数是否正确,页面是否不超过最大值,最后页的地址是否越界。之后则会正式进行每一页的detect,先通过walk()找到正确的PTE项,未找到则返回-1,找到就将mask对应页号的位置1,再通过与上~PTE_A将PTE项的第六位置回0。至此,便完成了系统调用的access。

三、问题解决:

【问题】在Part A完成后,make qemu后显示异常kerneltrap

image-20221101085916657

发现在freeproc函数中调用了procfreepagetable函数,来free p的pagetable,很明显,我们map了一个usyscall page,需要在其中也free掉。

image-20221029160656570

四、实验感想:

  1. 这次实验主要体现了两个字——“模仿”,无论是Part A的map模仿trapframe,还是Part B的遍历和递归模仿freewalk。在写一些大型的code时,我们很难从整体去厘清某个部分函数该如何实现,该调用哪些函数来实现,但可以从相仿的函数入手,看看这些函数是如何实现的,如何获取参数和调用其他函数。
  2. 通过这次实验,我深刻地理解了页表的实现机制。相比于课上讲的映射方式,code实现起来就没那么简单了,要有创建、释放、遍历、转换等函数,还要有和proc其他结构配合使用的函数。此外,在实验中的遍历和递归也让我明白了多级页表的机制。

五、实验参考及git地址:

  1. Lab: page tables (mit.edu)
  2. 第三章 页表
  3. MIT6.S081: OS lab
  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值