跳到主要内容

操作系统分页

介绍​

在操作系统中，分页（Paging）是一种内存管理技术，用于将进程的虚拟地址空间划分为固定大小的块，称为页（Page）。同时，物理内存也被划分为相同大小的块，称为页框（Frame）。分页机制通过将虚拟页映射到物理页框，实现了虚拟内存的管理。

分页的主要目的是解决内存碎片问题，并允许操作系统更高效地管理内存资源。通过分页，操作系统可以将不常用的页换出到磁盘，从而为其他进程腾出内存空间。

分页的基本概念​

虚拟地址与物理地址​

在分页机制中，进程使用的是虚拟地址，而实际访问内存时使用的是物理地址。操作系统通过页表（Page Table）将虚拟地址转换为物理地址。

页表​

页表是分页机制的核心数据结构，它记录了虚拟页与物理页框之间的映射关系。每个进程都有自己的页表，操作系统通过页表来管理进程的内存访问。

页表项​

页表中的每一项称为页表项（Page Table Entry, PTE），它包含了以下信息：

  • 物理页框号：虚拟页对应的物理页框号。
  • 有效位：指示该页是否在内存中。
  • 访问位：指示该页是否被访问过。
  • 修改位：指示该页是否被修改过。

分页的工作机制​

地址转换​

当进程访问一个虚拟地址时，操作系统会通过以下步骤将其转换为物理地址：

  1. 虚拟地址分解：将虚拟地址分解为页号和页内偏移量。
  2. 查找页表：根据页号查找页表，找到对应的页表项。
  3. 获取物理页框号：从页表项中获取物理页框号。
  4. 生成物理地址：将物理页框号与页内偏移量组合，生成物理地址。

示例​

假设虚拟地址为 0x1234，页大小为 4KB（即 0x1000），页表如下：

虚拟页号物理页框号
0x10x5
0x20x8

  1. 虚拟地址分解：

    • 页号：0x1234 / 0x1000 = 0x1
    • 页内偏移量：0x1234 % 0x1000 = 0x234

  2. 查找页表：

    • 页号 0x1 对应的物理页框号为 0x5

  3. 生成物理地址：

    • 物理地址：0x5 * 0x1000 + 0x234 = 0x5234

代码示例​

以下是一个简单的 C 语言代码示例，模拟虚拟地址到物理地址的转换：

c
#include <stdio.h>

#define PAGE_SIZE 4096  // 4KB

int main() {
    unsigned int virtual_address = 0x1234;
    unsigned int page_number = virtual_address / PAGE_SIZE;
    unsigned int offset = virtual_address % PAGE_SIZE;

    // 假设页表已经初始化
    unsigned int page_table[] = {0x5, 0x8};  // 页表项

    unsigned int physical_frame = page_table[page_number];
    unsigned int physical_address = physical_frame * PAGE_SIZE + offset;

    printf("Virtual Address: 0x%x\n", virtual_address);
    printf("Physical Address: 0x%x\n", physical_address);

    return 0;
}

输出：

Virtual Address: 0x1234
Physical Address: 0x5234

分页的实际应用​

虚拟内存管理​

分页机制使得操作系统能够实现虚拟内存，即进程可以使用比实际物理内存更大的地址空间。当物理内存不足时，操作系统可以将不常用的页换出到磁盘，并在需要时再换入内存。

内存保护​

通过分页，操作系统可以为每个进程分配独立的页表，从而实现内存保护。一个进程无法访问其他进程的内存空间，除非通过共享内存机制。

内存共享​

分页机制还支持内存共享。多个进程可以共享同一个物理页框，从而实现高效的内存使用。例如，多个进程可以共享同一个代码段或库。

总结​

分页是操作系统中一种重要的内存管理技术，它通过将虚拟地址空间划分为固定大小的页，并将这些页映射到物理内存中的页框，实现了虚拟内存的管理。分页机制不仅解决了内存碎片问题，还支持虚拟内存、内存保护和内存共享等功能。

提示

提示：理解分页机制的关键在于掌握虚拟地址与物理地址的转换过程，以及页表的作用。

附加资源与练习​

资源​

练习​

  1. 手动地址转换：给定一个虚拟地址和页表，手动计算对应的物理地址。
  2. 编写代码：编写一个简单的程序，模拟虚拟地址到物理地址的转换过程。
  3. 思考题：如果页表非常大，如何优化页表的查找效率？
警告

注意：在实际操作系统中，分页机制的实现可能更加复杂，涉及多级页表、TLB（Translation Lookaside Buffer）等优化技术。