Skip to content

Latest commit

 

History

History
203 lines (121 loc) · 8.39 KB

03-3-lab2-spoc-discussion.md

File metadata and controls

203 lines (121 loc) · 8.39 KB

lec7: lab2 SPOC思考题

NOTICE

  • 有"w4l1"标记的题是助教要提交到学堂在线上的。
  • 有"w4l1"和"spoc"标记的题是要求拿清华学分的同学要在实体课上完成，并按时提交到学生对应的git repo上。
  • 有"hard"标记的题有一定难度，鼓励实现。
  • 有"easy"标记的题很容易实现，鼓励实现。
  • 有"midd"标记的题是一般水平，鼓励实现。

提前准备

  • 完成lec7(lab2)的视频学习和提交对应的在线练习
  • git pull ucore_os_lab, v9_cpu, os_course_spoc_exercises 　in github repos。这样可以在本机上完成课堂练习。
  • 理解如何实现建立页表（主要自学和网上查找）

第七讲视频相关思考题

7.1 了解x86保护模式中的特权级

  1. X86有几个特权级？

4个。

  1. 不同特权级有什么区别？

特权指令只能在ring 0使用。 一条指令在不同特权下能访问的数据范围是不一样的。 一条指令在不同特权级下的行为是不一样的。

  1. 请说明CPL、DPL和RPL在中断响应、函数调用和指令执行时的作用。

访问门时：从低优先级代码访问高优先级服务。 访问段时：从高优先级代码访问低优先级数据。

  1. 写一个示例程序，完成4个特权级间的函数调用和数据访问时特权级控制的作用。

7.2 了解特权级切换过程

  1. 一条指令在执行时会有哪些可能的特权级判断？

访问数据时，需要判断能访问多少层级的数据。

  1. 在什么情况下会出现特权级切换？

当低特权级代码调用高特权级代码时，或者中断等发生时。

  1. int指令在ring0和ring3的执行行为有什么不同？

压栈内容是不同的，多了一个SS:ESP的压栈；进行了栈切换。

  1. 如何利用int和iret指令完成不同特权级的切换？

人工构造需要的栈结构，然后通过int和iret指令进行切换。

  1. TSS和Task Register的作用是什么？

Task state segment

Reference: Intel® 64 and IA-32 Architectures Software Developer Manuals Page 2897/4684: 7.2.1 Task-State Segment (TSS)

7.3 了解段/页表

  1. 一条指令执行时最多会出现多少次地址转换？

2次。

  1. 描述X86-32的MMU地址转换过程；

从虚拟地址通过段机制转换成线性地址，之后通过页机制从线性地址转为物理地址。

7.4 了解UCORE建立段/页表

  1. 分析MMU的使能过程，尽可能详细地分析在执行进入保护械的代码“movl %eax, %cr0 ; ljmp $CODE_SEL, $0x0”时，CPU的状态和寄存器内容的变化。

  2. 分析页表的建立过程；

个人思考题

x86保护模式中权限管理无处不在，下面哪些时候要检查访问权限() (w4l1)

  • 内存寻址过程中
  • 代码跳转过程中
  • 中断处理过程中
  • ALU计算过程中

请描述ucore OS建立页机制的准备工作包括哪些步骤？ (w4l1)

小组思考题

（1）（spoc）请用lab1实验的基准代码（即没有修改的需要填空的源代码）来做如下实验： 执行make qemu，会得到一个输出结果，请给出合理的解释：为何qemu退出了？【提示】需要对qemu增加一些用于显示执行过程的参数，重点是分析其执行的指令和产生的中断或异常。 可试试"qemu-system-i386 -d help"

（2）(spoc)假定你已经完成了lab1的实验,接下来是对lab1的中断处理的回顾：请把你的学号对37(十进制)取模，得到一个数x（x的范围是-1<x<37），然后在你的答案的基础上，修init.c中的kern_init函数，在大约36行处，即

    intr_enable();              // enable irq interrupt

语句之后，加入如下语句(把x替换为你学号 mod 37得的值)：

    asm volatile ("int $x");

然后，请回答加入这条语句后，执行make qemu的输出结果与你没有加入这条语句后执行make qemu的输出结果的差异，并解释为什么有差异或没差异？

（3）对于lab2的输出信息，请说明数字的含义

e820map:
  memory: 0009fc00, [00000000, 0009fbff], type = 1.
  memory: 00000400, [0009fc00, 0009ffff], type = 2.
  memory: 00010000, [000f0000, 000fffff], type = 2.
  memory: 07ee0000, [00100000, 07fdffff], type = 1.
  memory: 00020000, [07fe0000, 07ffffff], type = 2.
  memory: 00040000, [fffc0000, ffffffff], type = 2.

修改lab2，让其显示type="some string" 让人能够读懂，而不是不好理解的数字1,2 (easy)

  • [x]

（4）(spoc)有一台只有页机制的简化80386的32bit计算机，有地址范围位0256MB的物理内存空间（physical memory），可表示大小为256MB，范围为0xC00000000xD0000000的虚拟地址空间（virtual address space）,页大小（page size）为4KB，采用二级页表，一个页目录项（page directory entry ，PDE）大小为4B,一个页表项（page-table entries PTEs）大小为4B，1个页目录表大小为4KB，1个页表大小为4KB。

PTE格式（32 bit） :
  PFN19 ... PFN0|NOUSE9 ... NOUSE0|WRITABLE|VALID
PDE格式（32 bit） :
  PT19 ... PT0|NOUSE9 ... NOUSE0|WRITABLE|VALID

其中：
NOUSE9 ... NOUSE0为保留位，要求固定为0
WRITABLE：1表示可写，0表示只读
VLAID：1表示有效，0表示无效

假设ucore OS已经为此机器设置好了针对如下虚拟地址<-->物理地址映射的二级页表，设置了页目录基址寄存器（page directory base register，PDBR）保存了页目录表的物理地址（按页对齐），其值为0。ucore OS在物理内存空间（0x10000x41000）已经建立和配置好了整个二级页表（包括页目录表和页表），且页目录表的index为0x3000x363的页目录项的(PT19 ... PT0)的值=(index-0x300+1)。
请写出一个translation程序（可基于python、ruby、C、C++、LISP、JavaScript等），输入是一个虚拟地址和一个物理地址，能够自动计算出对应的页目录项的index值,页目录项内容的值，页表项的index值，页表项内容的值。即(pde_idx, pde_ctx, pte_idx, pte_cxt)

请用如下值来验证你写的程序的正确性：

va 0xc2265b1f, pa 0x0d8f1b1f
va 0xcc386bbc, pa 0x0414cbbc
va 0xc7ed4d57, pa 0x07311d57
va 0xca6cecc0, pa 0x0c9e9cc0
va 0xc18072e8, pa 0x007412e8
va 0xcd5f4b3a, pa 0x06ec9b3a
va 0xcc324c99, pa 0x0008ac99
va 0xc7204e52, pa 0x0b8b6e52
va 0xc3a90293, pa 0x0f1fd293
va 0xce6c3f32, pa 0x007d4f32

参考的输出格式为：

va 0xcd82c07c, pa 0x0c20907c, pde_idx 0x00000336, pde_ctx  0x00037003, pte_idx 0x0000002c, pte_ctx  0x0000c20b

注意：上述参考输出只是表示了正确的格式，其数值并不正确。

(5) 尝试在内存为256字节的OP-CPU机器上，设计一个支持自映射的内存空间部局。说明其页表起始逻辑地址、一级和二级虚拟地址计算公式。

开放思考题

（1）请简要分析Intel的x64 64bit体系结构下的分页机制是如何实现的

（2）Intel8086不支持页机制，但有hacker设计过包含未做任何改动的8086CPU的分页系统。猜想一下，hacker是如何做到这一点的？提示：想想MMU的逻辑位置

v9-cpu相关

[challenge]在v9-cpu上，设定物理内存为64MB。在os2.c和os4.c的基础上实现页机制管理，内核空间的映射关系： kernel_virt_addr=0xc00000000+phy_addr，内核空间大小为64MB，虚拟空间范围为0xc0000000--x0xc4000000, 物理空间范围为0x00000000--x0x04000000；用户空间的映射关系：user_virt_addr=0x40000000+usr_phy_addr，用户空间可用大小为1MB，虚拟空间范围为0x40000000--0x40100000，物理空间范围为0x02000000--x0x02100000。可参考v9-cpu git repo的testing分支中的os.c和mem.h。修改代码为os5.c

  • (1)在内核态可正确访问这两个空间
  • (2)在用户态可正确访问这两个空间

在使能页机制的前一条指令和后一条指令的内存地址的访问会出现什么不同/变化？

如果在建立页表过程中，使能页机制前，如果不加上pg_dir[0]=....，为何v9-cpu模拟器会出现"kernel stack fault"的fatal error并推出？

  • 请比较一下os在v9-cpu和x86上建立页表过程的不同之处，需要考虑硬件设计上的差异
  • [x]