管理 SV39 多级页表#

本节导读#

上一节更多的是站在硬件的角度来分析SV39多级页表的硬件机制,本节我们主要讲解基于 SV39 多级页表机制的操作系统内存管理。这还需进一步管理计算机系统中当前已经使用的或空闲的物理页帧,这样操作系统才能给应用程序动态分配或回收物理地址空间。有了有效的物理内存空间的管理,操作系统就能够在物理内存空间中建立多级页表(页表占用物理内存),为应用程序和操作系统自身建立虚实地址映射关系,从而实现虚拟内存空间,即给应用“看到”的地址空间。

物理页帧管理#

从前面的介绍可以看出物理页帧的重要性:它既可以用来实际存放应用/内核的数据/代码,也能够用来存储应用/内核的多级页表。当Bootloader把操作系统内核加载到物理内存中后,物理内存上已经有一部分用于放置内核的代码和数据。我们需要将剩下的空闲内存以单个物理页帧为单位管理起来,当需要存放应用数据或扩展应用的多级页表时分配空闲的物理页帧,并在应用出错或退出的时候回收应用占有的所有物理页帧。

可用物理页的分配与回收#

首先,我们需要知道物理内存的哪一部分是可用的。在 os/src/linker.ld 中,我们用符号 ekernel 指明了内核数据的终止物理地址,在它之后的物理内存都是可用的。而在 config 子模块中:

// os/src/config.rs

pub const MEMORY_END: usize = 0x80800000;

我们硬编码整块物理内存的终止物理地址为 0x80800000 。 而 之前 提到过物理内存的起始物理地址为 0x80000000 ,这意味着我们将可用内存大小设置为 \(8\text{MiB}\) 。实际上在 Qemu 模拟器上可以通过设置使用更大的物理内存,但这里我们希望它和真实硬件 K210 的配置保持一致,因此设置为仅使用 \(8\text{MiB}\) 。我们用一个左闭右开的物理页号区间来表示可用的物理内存,则:

  • 区间的左端点应该是 ekernel 的物理地址以上取整方式转化成的物理页号;

  • 区间的右端点应该是 MEMORY_END 以下取整方式转化成的物理页号。

这个区间将被传给我们后面实现的物理页帧管理器用于初始化。

我们声明一个 FrameAllocator Trait 来描述一个物理页帧管理器需要提供哪些功能:

// os/src/mm/frame_allocator.rs

trait FrameAllocator {
    fn new() -> Self;
    fn alloc(&mut self) -> Option<PhysPageNum>;
    fn dealloc(&mut self, ppn: PhysPageNum);
}

即创建一个物理页帧管理器的实例,以及以物理页号为单位进行物理页帧的分配和回收。

我们实现一种最简单的栈式物理页帧管理策略 StackFrameAllocator

// os/src/mm/frame_allocator.rs

pub struct StackFrameAllocator {
    current: usize,  //空闲内存的起始物理页号
    end: usize,      //空闲内存的结束物理页号
    recycled: Vec<usize>,
}

其中各字段的含义是:物理页号区间 [ current , end ) 此前均 从未 被分配出去过,而向量 recycled 以后入先出的方式保存了被回收的物理页号(注:我们已经自然的将内核堆用起来了)。

初始化非常简单。在通过 FrameAllocatornew 方法创建实例的时候,只需将区间两端均设为 \(0\) ,然后创建一个新的向量;而在它真正被使用起来之前,需要调用 init 方法将自身的 \([\text{current},\text{end})\) 初始化为可用物理页号区间:

// os/src/mm/frame_allocator.rs

impl FrameAllocator for StackFrameAllocator {
    fn new() -> Self {
        Self {
            current: 0,
            end: 0,
            recycled: Vec::new(),
        }
    }
}

impl StackFrameAllocator {
    pub fn init(&mut self, l: PhysPageNum, r: PhysPageNum) {
        self.current = l.0;
        self.end = r.0;
    }
}

接下来我们来看核心的物理页帧分配和回收如何实现:

// os/src/mm/frame_allocator.rs

impl FrameAllocator for StackFrameAllocator {
    fn alloc(&mut self) -> Option<PhysPageNum> {
        if let Some(ppn) = self.recycled.pop() {
            Some(ppn.into())
        } else {
            if self.current == self.end {
                None
            } else {
                self.current += 1;
                Some((self.current - 1).into())
            }
        }
    }
    fn dealloc(&mut self, ppn: PhysPageNum) {
        let ppn = ppn.0;
        // validity check
        if ppn >= self.current || self.recycled
            .iter()
            .find(|&v| {*v == ppn})
            .is_some() {
            panic!("Frame ppn={:#x} has not been allocated!", ppn);
        }
        // recycle
        self.recycled.push(ppn);
    }
}
  • 在分配 alloc 的时候,首先会检查栈 recycled 内有没有之前回收的物理页号,如果有的话直接弹出栈顶并返回;否则的话我们只能从之前从未分配过的物理页号区间 [ current , end ) 上进行分配,我们分配它的左端点 current ,同时将管理器内部维护的 current1 代表 current 已被分配了。在即将返回的时候,我们使用 into 方法将 usize 转换成了物理页号 PhysPageNum

    注意极端情况下可能出现内存耗尽分配失败的情况:即 recycled 为空且 current == end 。为了涵盖这种情况, alloc 的返回值被 Option 包裹,我们返回 None 即可。

  • 在回收 dealloc 的时候,我们需要检查回收页面的合法性,然后将其压入 recycled 栈中。回收页面合法有两个条件:

    • 该页面之前一定被分配出去过,因此它的物理页号一定 \(<\) current

    • 该页面没有正处在回收状态,即它的物理页号不能在栈 recycled 中找到。

    我们通过 recycled.iter() 获取栈上内容的迭代器,然后通过迭代器的 find 方法试图寻找一个与输入物理页号相同的元素。其返回值是一个 Option ,如果找到了就会是一个 Option::Some ,这种情况说明我们内核其他部分实现有误,直接报错退出。

下面我们来创建 StackFrameAllocator 的全局实例 FRAME_ALLOCATOR

// os/src/mm/frame_allocator.rs

use crate::sync::UPSafeCell;
type FrameAllocatorImpl = StackFrameAllocator;
lazy_static! {
    pub static ref FRAME_ALLOCATOR: UPSafeCell<FrameAllocatorImpl> = unsafe {
        UPSafeCell::new(FrameAllocatorImpl::new())
    };
}

这里我们使用 UPSafeCell<T> 来包裹栈式物理页帧分配器。每次对该分配器进行操作之前,我们都需要先通过 FRAME_ALLOCATOR.exclusive_access() 拿到分配器的可变借用。

在正式分配物理页帧之前,我们需要将物理页帧全局管理器 FRAME_ALLOCATOR 初始化:

// os/src/mm/frame_allocator.rs

pub fn init_frame_allocator() {
    extern "C" {
        fn ekernel();
    }
    FRAME_ALLOCATOR
        .exclusive_access()
        .init(PhysAddr::from(ekernel as usize).ceil(), PhysAddr::from(MEMORY_END).floor());
}

这里我们调用物理地址 PhysAddrfloor/ceil 方法分别下/上取整获得可用的物理页号区间。

分配/回收物理页帧的接口#

然后是公开给其他内核模块调用的分配/回收物理页帧的接口:

// os/src/mm/frame_allocator.rs

pub fn frame_alloc() -> Option<FrameTracker> {
    FRAME_ALLOCATOR
        .exclusive_access()
        .alloc()
        .map(|ppn| FrameTracker::new(ppn))
}

fn frame_dealloc(ppn: PhysPageNum) {
    FRAME_ALLOCATOR
        .exclusive_access()
        .dealloc(ppn);
}

可以发现, frame_alloc 的返回值类型并不是 FrameAllocator 要求的物理页号 PhysPageNum ,而是将其进一步包装为一个 FrameTracker 。这里借用了 RAII 的思想,将一个物理页帧的生命周期绑定到一个 FrameTracker 变量上,当一个 FrameTracker 被创建的时候,我们需要从 FRAME_ALLOCATOR 中分配一个物理页帧:

// os/src/mm/frame_allocator.rs

pub struct FrameTracker {
    pub ppn: PhysPageNum,
}

impl FrameTracker {
    pub fn new(ppn: PhysPageNum) -> Self {
        // page cleaning
        let bytes_array = ppn.get_bytes_array();
        for i in bytes_array {
            *i = 0;
        }
        Self { ppn }
    }
}

我们将分配来的物理页帧的物理页号作为参数传给 FrameTrackernew 方法来创建一个 FrameTracker 实例。由于这个物理页帧之前可能被分配过并用做其他用途,我们在这里直接将这个物理页帧上的所有字节清零。这一过程并不 那么显然,我们后面再详细介绍。

当一个 FrameTracker 生命周期结束被编译器回收的时候,我们需要将它控制的物理页帧回收到 FRAME_ALLOCATOR 中:

// os/src/mm/frame_allocator.rs

impl Drop for FrameTracker {
    fn drop(&mut self) {
        frame_dealloc(self.ppn);
    }
}

这里我们只需为 FrameTracker 实现 Drop Trait 即可。当一个 FrameTracker 实例被回收的时候,它的 drop 方法会自动被编译器调用,通过之前实现的 frame_dealloc 我们就将它控制的物理页帧回收以供后续使用了。

注解

Rust Tips:Drop Trait

Rust 中的 Drop Trait 是它的 RAII 内存管理风格可以被有效实践的关键。之前介绍的多种在堆上分配的 Rust 数据结构便都是通过实现 Drop Trait 来进行被绑定资源的自动回收的。例如:

  • Box<T>drop 方法会回收它控制的分配在堆上的那个变量;

  • Rc<T>drop 方法会减少分配在堆上的那个引用计数,一旦变为零则分配在堆上的那个被计数的变量自身也会被回收;

  • UPSafeCell<T>exclusive_access 方法会获取内部数据结构的独占借用权并返回一个 RefMut<'a, T> (实际上来自 RefCell<T> ),它可以被当做一个 &mut T 来使用;而 RefMut<'a, T>drop 方法会将独占借用权交出,从而允许内核内的其他控制流后续对数据结构进行访问。

FrameTracker 的设计也是基于同样的思想,有了它之后我们就不必手动回收物理页帧了,这在编译期就解决了很多潜在的问题。

最后做一个小结:从其他内核模块的视角看来,物理页帧分配的接口是调用 frame_alloc 函数得到一个 FrameTracker (如果物理内存还有剩余),它就代表了一个物理页帧,当它的生命周期结束之后它所控制的物理页帧将被自动回收。下面是一段演示该接口使用方法的测试程序:

 1// os/src/mm/frame_allocator.rs
 2
 3#[allow(unused)]
 4pub fn frame_allocator_test() {
 5    let mut v: Vec<FrameTracker> = Vec::new();
 6    for i in 0..5 {
 7        let frame = frame_alloc().unwrap();
 8        println!("{:?}", frame);
 9        v.push(frame);
10    }
11    v.clear();
12    for i in 0..5 {
13        let frame = frame_alloc().unwrap();
14        println!("{:?}", frame);
15        v.push(frame);
16    }
17    drop(v);
18    println!("frame_allocator_test passed!");
19}

如果我们将第 9 行删去,则第一轮分配的 5 个物理页帧都是分配之后在循环末尾就被立即回收,因为循环作用域的临时变量 frame 的生命周期在那时结束了。然而,如果我们将它们 move 到一个向量中,它们的生命周期便被延长了——直到第 11 行向量被清空的时候,这些 FrameTracker 的生命周期才结束,它们控制的 5 个物理页帧才被回收。这种思想我们立即就会用到。

多级页表管理#

页表基本数据结构与访问接口#

我们知道,SV39 多级页表是以节点为单位进行管理的。每个节点恰好存储在一个物理页帧中,它的位置可以用一个物理页号来表示。

 1// os/src/mm/page_table.rs
 2
 3pub struct PageTable {
 4    root_ppn: PhysPageNum,
 5    frames: Vec<FrameTracker>,
 6}
 7
 8impl PageTable {
 9    pub fn new() -> Self {
10        let frame = frame_alloc().unwrap();
11        PageTable {
12            root_ppn: frame.ppn,
13            frames: vec![frame],
14        }
15    }
16}

每个应用的地址空间都对应一个不同的多级页表,这也就意味这不同页表的起始地址(即页表根节点的地址)是不一样的。因此 PageTable 要保存它根节点的物理页号 root_ppn 作为页表唯一的区分标志。此外,向量 framesFrameTracker 的形式保存了页表所有的节点(包括根节点)所在的物理页帧。这与物理页帧管理模块的测试程序是一个思路,即将这些 FrameTracker 的生命周期进一步绑定到 PageTable 下面。当 PageTable 生命周期结束后,向量 frames 里面的那些 FrameTracker 也会被回收,也就意味着存放多级页表节点的那些物理页帧被回收了。

当我们通过 new 方法新建一个 PageTable 的时候,它只需有一个根节点。为此我们需要分配一个物理页帧 FrameTracker 并挂在向量 frames 下,然后更新根节点的物理页号 root_ppn

多级页表并不是被创建出来之后就不再变化的,为了 MMU 能够通过地址转换正确找到应用地址空间中的数据实际被内核放在内存中位置,操作系统需要动态维护一个虚拟页号到页表项的映射,支持插入/删除键值对,其方法签名如下:

// os/src/mm/page_table.rs

impl PageTable {
    pub fn map(&mut self, vpn: VirtPageNum, ppn: PhysPageNum, flags: PTEFlags);
    pub fn unmap(&mut self, vpn: VirtPageNum);
}
  • 通过 map 方法来在多级页表中插入一个键值对,注意这里将物理页号 ppn 和页表项标志位 flags 作为不同的参数传入;

  • 通过 unmap 方法来删除一个键值对,在调用时仅需给出作为索引的虚拟页号即可。

在上述操作的过程中,内核需要能访问或修改多级页表节点的内容。即在操作某个多级页表或管理物理页帧的时候,操作系统要能够读写与一个给定的物理页号对应的物理页帧上的数据。这是因为,在多级页表的架构中,每个节点都被保存在一个物理页帧中,一个节点所在物理页帧的物理页号其实就是指向该节点的“指针”。

在尚未启用分页模式之前,内核和应用的代码都可以通过物理地址直接访问内存。而在打开分页模式之后,运行在 S 特权级的内核与运行在 U 特权级的应用在访存上都会受到影响,它们的访存地址会被视为一个当前地址空间( satp CSR 给出当前多级页表根节点的物理页号)中的一个虚拟地址,需要 MMU 查相应的多级页表完成地址转换变为物理地址,即地址空间中虚拟地址指向的数据真正被内核放在的物理内存中的位置,然后才能访问相应的数据。此时,如果想要访问一个特定的物理地址 pa 所指向的内存上的数据,就需要 构造 对应的一个虚拟地址 va ,使得当前地址空间的页表存在映射 \(\text{va}\rightarrow\text{pa}\) ,且页表项中的保护位允许这种访问方式。于是,在代码中我们只需访问地址 va ,它便会被 MMU 通过地址转换变成 pa ,这样我们就做到了在启用分页模式的情况下也能正常访问内存。

这就需要提前扩充多级页表维护的映射,让每个物理页帧的物理页号 ppn ,均存在一个对应的虚拟页号 vpn ,这需要建立一种映射关系。这里我们采用一种最简单的 恒等映射 (Identical Mapping) ,即对于物理内存上的每个物理页帧,我们都在多级页表中用一个与其物理页号相等的虚拟页号来映射。

注解

其他的映射方式

为了达到这一目的还存在其他不同的映射方式,例如比较著名的 页表自映射 (Recursive Mapping) 等。有兴趣的同学 可以进一步参考 BlogOS 中的相关介绍

这里需要说明的是,在下一节中我们可以看到,应用和内核的地址空间是隔离的。而直接访问物理页帧的操作只会在内核中进行,应用无法看到物理页帧管理器和多级页表等内核数据结构。因此,上述的恒等映射只需被附加到内核地址空间即可。

内核中访问物理页帧的方法#

于是,我们来看看在内核中应如何访问一个特定的物理页帧:

// os/src/mm/address.rs

impl PhysPageNum {
    pub fn get_pte_array(&self) -> &'static mut [PageTableEntry] {
        let pa: PhysAddr = self.clone().into();
        unsafe {
            core::slice::from_raw_parts_mut(pa.0 as *mut PageTableEntry, 512)
        }
    }
    pub fn get_bytes_array(&self) -> &'static mut [u8] {
        let pa: PhysAddr = self.clone().into();
        unsafe {
            core::slice::from_raw_parts_mut(pa.0 as *mut u8, 4096)
        }
    }
    pub fn get_mut<T>(&self) -> &'static mut T {
        let pa: PhysAddr = self.clone().into();
        unsafe {
            (pa.0 as *mut T).as_mut().unwrap()
        }
    }
}

我们构造可变引用来直接访问一个物理页号 PhysPageNum 对应的物理页帧,不同的引用类型对应于物理页帧上的一种不同的内存布局,如 get_pte_array 返回的是一个页表项定长数组的可变引用,代表多级页表中的一个节点;而 get_bytes_array 返回的是一个字节数组的可变引用,可以以字节为粒度对物理页帧上的数据进行访问,前面进行数据清零就用到了这个方法; get_mut 是个泛型函数,可以获取一个恰好放在一个物理页帧开头的类型为 T 的数据的可变引用。

在实现方面,都是先把物理页号转为物理地址 PhysAddr ,然后再转成 usize 形式的物理地址。接着,我们直接将它转为裸指针用来访问物理地址指向的物理内存。在分页机制开启前,这样做自然成立;而开启之后,虽然裸指针被视为一个虚拟地址,但是上面已经提到,基于恒等映射,虚拟地址会映射到一个相同的物理地址,因此在也是成立的。注意,我们在返回值类型上附加了静态生命周期泛型 'static ,这是为了绕过 Rust 编译器的借用检查,实质上可以将返回的类型也看成一个裸指针,因为它也只是标识数据存放的位置以及类型。但与裸指针不同的是,无需通过 unsafe 的解引用访问它指向的数据,而是可以像一个正常的可变引用一样直接访问。

注解

unsafe 真的就是“不安全”吗?

下面是笔者关于 unsafe 一点较为深入的讨论,不感兴趣的同学可以跳过。

当我们在 Rust 中使用 unsafe 的时候,并不仅仅是为了绕过编译器检查,更是为了告知编译器和其他看到这段代码的程序员:“ 我保证这样做是安全的 ” 。尽管,严格的 Rust 编译器暂时还不能确信这一点。从规范 Rust 代码编写的角度,我们需要尽可能绕过 unsafe ,因为如果 Rust 编译器或者一些已有的接口就可以提供安全性,我们当然倾向于利用它们让我们实现的功能仍然是安全的,可以避免一些无谓的心智负担;反之,就只能使用 unsafe ,同时最好说明如何保证这项功能是安全的。

这里简要从内存安全的角度来分析一下 PhysPageNumget_* 系列方法的实现中 unsafe 的使用。首先需要指出的是,当需要访问一个物理页帧的时候,我们需要从它被绑定到的 FrameTracker 中获得其物理页号 PhysPageNum 随后再调用 get_* 系列方法才能访问物理页帧。因此, PhysPageNum 介于 FrameTracker 和物理页帧之间,也可以看做拥有部分物理页帧的所有权。由于 get_* 返回的是引用,我们可以尝试检查引用引发的常见问题:第一个问题是 use-after-free 的问题,即是否存在 get_* 返回的引用存在期间被引用的物理页帧已被回收的情形;第二个问题则是注意到 get_* 返回的是可变引用,那么就需要考虑对物理页帧的访问读写冲突的问题。

为了解决这些问题,我们在编写代码的时候需要额外当心。对于每一段 unsafe 代码,我们都需要认真考虑它会对其他无论是 unsafe 还是 safe 的代码造成的潜在影响。比如为了避免第一个问题,我们需要保证当完成物理页帧访问之后便立即回收掉 get_* 返回的引用,至少使它不能超出 FrameTracker 的生命周期;考虑第二个问题,目前每个 FrameTracker 仅会出现一次(在它所属的进程中),因此它只会出现在一个上下文中,也就不会产生冲突。但是当内核态打开(允许)中断时,或内核支持在单进程中存在多个线程时,情况也许又会发生变化。

当编译器不能介入的时候,我们很难完美的解决这些问题。因此重新设计数据结构和接口,特别是考虑数据的所有权关系,将建模进行转换,使得 Rust 有能力检查我们的设计会是一种更明智的选择。这也可以说明为什么要尽量避免使用 unsafe 。事实上,我们目前 PhysPageNum::get_* 接口并非一个好的设计,如果同学有兴趣可以试着对设计进行改良,让 Rust 编译器帮助我们解决上述与引用相关的问题。

建立和拆除虚实地址映射关系#

接下来介绍建立和拆除虚实地址映射关系的 mapunmap 方法是如何实现的。它们都依赖于一个很重要的过程,即在多级页表中找到一个虚拟地址对应的页表项。找到之后,只要修改页表项的内容即可完成键值对的插入和删除。在寻找页表项的时候,可能出现页表的中间级节点还未被创建的情况,这个时候我们需要手动分配一个物理页帧来存放这个节点,并将这个节点接入到当前的多级页表的某级中。

 1// os/src/mm/address.rs
 2
 3impl VirtPageNum {
 4    pub fn indexes(&self) -> [usize; 3] {
 5        let mut vpn = self.0;
 6        let mut idx = [0usize; 3];
 7        for i in (0..3).rev() {
 8            idx[i] = vpn & 511;
 9            vpn >>= 9;
10        }
11        idx
12    }
13}
14
15// os/src/mm/page_table.rs
16
17impl PageTable {
18    fn find_pte_create(&mut self, vpn: VirtPageNum) -> Option<&mut PageTableEntry> {
19        let idxs = vpn.indexes();
20        let mut ppn = self.root_ppn;
21        let mut result: Option<&mut PageTableEntry> = None;
22        for i in 0..3 {
23            let pte = &mut ppn.get_pte_array()[idxs[i]];
24            if i == 2 {
25                result = Some(pte);
26                break;
27            }
28            if !pte.is_valid() {
29                let frame = frame_alloc().unwrap();
30                *pte = PageTableEntry::new(frame.ppn, PTEFlags::V);
31                self.frames.push(frame);
32            }
33            ppn = pte.ppn();
34        }
35        result
36    }
37    fn find_pte(&self, vpn: VirtPageNum) -> Option<&mut PageTableEntry> {
38        let idxs = vpn.indexes();
39        let mut ppn = self.root_ppn;
40        let mut result: Option<&mut PageTableEntry> = None;
41        for i in 0..3 {
42            let pte = &mut ppn.get_pte_array()[idxs[i]];
43            if i == 2 {
44                result = Some(pte);
45                break;
46            }
47            if !pte.is_valid() {
48                return None;
49            }
50            ppn = pte.ppn();
51        }
52        result
53    }
54}
  • VirtPageNumindexes 可以取出虚拟页号的三级页索引,并按照从高到低的顺序返回。注意它里面包裹的 usize 可能有 \(27\) 位,也有可能有 \(64-12=52\) 位,但这里我们是用来在多级页表上进行遍历,因此只取出低 \(27\) 位。

  • PageTable::find_pte_create 在多级页表找到一个虚拟页号对应的页表项的可变引用。如果在遍历的过程中发现有节点尚未创建则会新建一个节点。

    变量 ppn 表示当前节点的物理页号,最开始指向多级页表的根节点。随后每次循环通过 get_pte_array 将取出当前节点的页表项数组,并根据当前级页索引找到对应的页表项。如果当前节点是一个叶节点,那么直接返回这个页表项的可变引用;否则尝试向下走。走不下去的话就新建一个节点,更新作为下级节点指针的页表项,并将新分配的物理页帧移动到向量 frames 中方便后续的自动回收。注意在更新页表项的时候,不仅要更新物理页号,还要将标志位 V 置 1,不然硬件在查多级页表的时候,会认为这个页表项不合法,从而触发 Page Fault 而不能向下走。

  • PageTable::find_ptefind_pte_create 的不同在于当找不到合法叶子节点的时候不会新建叶子节点而是直接返回 None 即查找失败。因此,它不会尝试对页表本身进行修改,但是注意它返回的参数类型是页表项的可变引用,也即它允许我们修改页表项。从 find_pte 的实现还可以看出,即使找到的页表项不合法,还是会将其返回回去而不是返回 None 。这说明在目前的实现中,页表和页表项是相对解耦合的。

于是, map/unmap 就非常容易实现了:

// os/src/mm/page_table.rs

impl PageTable {
    pub fn map(&mut self, vpn: VirtPageNum, ppn: PhysPageNum, flags: PTEFlags) {
        let pte = self.find_pte_create(vpn).unwrap();
        assert!(!pte.is_valid(), "vpn {:?} is mapped before mapping", vpn);
        *pte = PageTableEntry::new(ppn, flags | PTEFlags::V);
    }
    pub fn unmap(&mut self, vpn: VirtPageNum) {
        let pte = self.find_pte(vpn).unwrap();
        assert!(pte.is_valid(), "vpn {:?} is invalid before unmapping", vpn);
        *pte = PageTableEntry::empty();
    }
}

只需根据虚拟页号找到页表项,然后修改或者直接清空其内容即可。

警告

目前的实现方式并不打算对物理页帧耗尽的情形做任何处理而是直接 panic 退出。因此在前面的代码中能够看到很多 unwrap ,这种使用方式并不为 Rust 所推荐,只是由于简单起见暂且这样做。

为了方便后面的实现,我们还需要 PageTable 提供一种类似 MMU 操作的手动查页表的方法:

 1// os/src/mm/page_table.rs
 2
 3impl PageTable {
 4    /// Temporarily used to get arguments from user space.
 5    pub fn from_token(satp: usize) -> Self {
 6        Self {
 7            root_ppn: PhysPageNum::from(satp & ((1usize << 44) - 1)),
 8            frames: Vec::new(),
 9        }
10    }
11    pub fn translate(&self, vpn: VirtPageNum) -> Option<PageTableEntry> {
12        self.find_pte(vpn)
13            .map(|pte| {pte.clone()})
14    }
15}
  • 第 5 行的 from_token 可以临时创建一个专用来手动查页表的 PageTable ,它仅有一个从传入的 satp token 中得到的多级页表根节点的物理页号,它的 frames 字段为空,也即不实际控制任何资源;

  • 第 11 行的 translate 调用 find_pte 来实现,如果能够找到页表项,那么它会将页表项拷贝一份并返回,否则就返回一个 None

之后,当遇到需要查一个特定页表(非当前正处在的地址空间的页表时),便可先通过 PageTable::from_token 新建一个页表,再调用它的 translate 方法查页表。

小结一下,上一节和本节讲解了如何基于 RISC-V64 的 SV39 分页机制建立多级页表,并实现基于虚存地址空间的内存使用环境。这样,一旦启用分页机制,操作系统和应用都只能在虚拟地址空间中访问数据了,只是操作系统可以通过页表机制来限制应用访问的实际物理内存范围。这就要在后续小节中,进一步看看操作系统内核和应用程序是如何在虚拟地址空间中进行代码和数据访问的。