xv6 - lab0 - 页表

Page tables

1 页表

页表实现虚拟地址到物理地址的映射，维护这种映射关系对于 隔离性 是有帮助的。

• 地址空间：从进程的视角看，进程独享各自地址空间(虚拟地址)；从硬件的视角看，终归要映射到相同的物理内存上(物理地址)。
• 页表：从硬件的视角，CPU 会根据虚拟地址到 MMU 访问物理内存上的页表，得到对应的物理地址；对进程而言，每个进程有自己的页表，所以看到的虚拟内存空间也是独享的。
• 页表缓存：TLB 是页表地址映射的缓存机制，保存虚拟地址到物理地址的映射，它是由硬件实现的，对软件来说是透明的。(我们仅需要 TLB 存在，不需要知道它如何实现)。
• 内核页表：硬件定义了物理地址的布局空间，内核通过页表(基于硬件分页机制)维护，将进程(用户态和内核态)空间映射到不用的硬件资源。这里通过主板手册来查看物理地址的分布，通过内核来了解虚拟地址的分布。

2 内核空间

启动时进行一次页表的映射，关键函数有

...
kvminit 函数：建立页表映射。首先通过 kalloc 函数分配页作为最高一级的页目录表，然后通过 kvmmap 函数将各 I/O 设备映射到内核空间。
	...
	kvmmap 函数：添加映射关系到页表中，直接调用 mappages 函数。
		...
		mappages 函数：进行虚拟地址映射到物理地址。首先根据虚拟地址调用 walk 函数获取页表项 pte，然后将对应的物理地址和页属性值填写到页表项 pte 里。
		...
	proc_mapstacks 函数：为每一个进程分配内核栈空间并映射。首先通过 kalloc 函数为进程栈空间分配物理页，通过 KSTACK 宏为进程栈空间计算虚拟地址，然后通过 kvmmap 函数映射。
	...
kvminithart 函数：设置 SATP 寄存器，打开分页模式，意味着程序从这里开始使用虚拟地址和页表。
...

3 参考资料

• MIT6.S081-chapter1.html