[操作系统] 进程地址空间管理

虚拟地址空间的初始化

缺页中断

缺页中断的概念

缺页中断（Page Fault Interrupt） 是指当程序访问的虚拟地址在页表中不存在有效映射（即该页未加载到内存中）时，CPU 会发出一个中断信号，请求操作系统加载所需的页面到内存。
这是现代操作系统实现 虚拟内存管理 的重要机制之一。

缺页中断的触发条件

缺页中断通常在以下情况下触发：

虚拟地址对应的页面不在内存中：
- 页表中找不到对应的物理页帧（页表条目为空或无效）。
- 常见于程序访问未加载到内存的代码段或数据段。
访问非法地址：
- 程序试图访问一个不存在的虚拟地址（如超出地址空间范围）。
- 操作系统会判断访问是否合法，非法访问将触发异常。

缺页中断的处理流程

以下是缺页中断的详细处理流程：

程序访问虚拟地址：
- CPU 将虚拟地址拆分为页号和页内偏移量，根据页号查询页表。
检测页表：
- 如果页表中没有找到对应的物理页帧（即页表项无效），触发缺页中断。
陷入内核：
- 缺页中断引发陷入操作系统内核，操作系统负责处理。
检查页面是否合法：
- 操作系统检查虚拟地址是否属于当前进程的合法地址范围：
  - 如果地址非法（如访问未分配的堆空间），操作系统会终止进程，抛出段错误（Segmentation Fault）。
  - 如果合法，进入下一步。
分配页面：
- 操作系统为该虚拟页分配物理页帧。
- 如果内存不足，则触发页面置换算法（如LRU、FIFO），将某些页面换出到硬盘（即交换分区或页面文件）。
加载页面：
- 如果访问的页面是磁盘文件的一部分（如代码或数据），则将页面从磁盘加载到内存。
- 将分配的物理页帧的地址填入页表，并将页表项标记为有效。
恢复程序执行：
- 操作系统返回用户态，重新执行导致缺页的指令。
- 由于页面已加载到内存，访问可以正常完成。

缺页中断的示例

假设一个程序试图访问数组元素，但数组较大，未全部加载到内存。以下是可能的情景：

int arr[100000]; // 数组在内存中未完全加载
for (int i = 0; i < 100000; i++) {arr[i] = i;  // 顺序访问
}

程序首次访问 arr[i] 时，CPU 查询页表，发现对应的虚拟页面未映射到物理内存，触发缺页中断。
操作系统加载对应页面到内存，并更新页表。
下一次访问已加载的页面时，程序可以直接读取，无需触发缺页中断。

示例总结

当一个应用程序数据过大的话，不会立即将所有的数据全部从硬盘上加载到物理内存中，会先加载一部分。但是在进程的虚拟地址空间中会将所有的数据对应的地址全部建立。于是当需要使用一个虚拟地址空间的时候会在页表中进行查找映射的物理地址，但是没有物理地址，还未加载进内存中。操作系统会动态加载数据，当需要的时候再申请物理空间，加载数据，然后建立映射关系。

即使加载到物理内存的数据是乱序存储的，通过页表的映射关系也可以进行有序的管理。

虚拟地址空间初始化

虚拟地址空间就是mm_struct，在task_struct中。作为对象，需要被初始化。

当一个新进程被创建（例如通过 fork 或 exec 系统调用）时，操作系统会：

创建虚拟地址空间：
- 为进程分配独立的虚拟地址空间，确保不同进程之间的地址空间隔离。
设置页表：
- 页表初始状态为“未映射”（即页面不在物理内存中），以支持按需加载。
加载程序的基础信息：
- 通过程序文件（如 ELF 文件）中的头部信息，划分代码段、数据段等区域。
- 堆区和栈区只初始化元信息（如起始地址），实际分配时动态增长。
- 所以大部分会在程序加载的时候就被初始化。

为什么要有进程地址空间

将地址从无需变有序

数据从磁盘加载到物理内存是动态加载的，顺序会变得无规则，甚至乱序。但是有了虚拟地址空间和页表，虚拟地址空间中各个区域的地址是有序的，然后通过页表进行映射，找到无序的物理内存地址，从而将物理地址进行有序管理。

地址转换时的合法性判定

当地址转换的时候，通过虚拟地址空间和页表可以对地址和操作进行合法性判定，防止直接操作物理内存造成损坏，进而保护物理内存。

页表中对于每一个映射关系也会有权限（rwx...）存在，当进程又不合法操作的时候，操作系统会拒绝地址映射转换，甚至杀死进程。

野指针

从操作系统层面理解野指针：

未初始化指针与页表：当一个指针未初始化时，它指向的虚拟地址是随机的。这个随机地址很可能在页表中没有对应的映射项。因为正常的内存分配（如通过malloc、new等操作）会由操作系统分配一段合法的虚拟地址，并在页表中建立映射。而未初始化的指针所指向的地址没有经过这样的分配过程，所以在页表中找不到对应的物理地址。
已释放指针与页表：指针所指向的内存被释放后，操作系统会将这块内存对应的页表项标记为未使用或者分配给其他进程。如果继续使用这个指针访问内存，操作系统在查找页表时会发现这个虚拟地址对应的页表项已经不再有效。例如，一个动态分配的内存块被delete或free后，它所占用的虚拟地址范围在页表中的映射会被撤销或者改变，再次访问这个地址就会引发错误。
越界指针与页表：当指针越界时，它可能会指向虚拟地址空间中未分配的区域。比如，一个数组指针越界后指向了数组之外的地址，这个地址可能超出了操作系统为该数组分配的合法虚拟地址范围。在页表中，这个越界的地址没有合法的物理地址映射，因为操作系统只会在合法的内存分配范围内建立页表映射。
错误赋值指针与页表：如果指针被错误地赋值为一个非法的地址，这个地址在页表中很可能没有对应的映射。因为操作系统在进行正常的内存分配时，会确保分配的虚拟地址在页表中有合法的映射。而人为错误地给指针赋一个非法地址，打破了这种正常的映射关系。

查页表失败后，会反馈给操作系统，操作系统会处理进程，所以野指针会导致操作系统杀死进程，导致进程崩溃。

字符串常量为什么无法修改

常量字符串字面量（如<font style="color:rgb(6, 6, 7);">char* ptr = "Hello, World!"</font>）通常被存储在代码段（Text Segment）中。这是因为常量字符串在程序的整个运行过程中不需要修改，将它们放在代码段可以利用代码段的只读特性来保护这些字符串不被意外修改。

这就是在地址转换的时候权限拒绝了对数据的写操作，所以无法修改。

解耦合！

简单回顾一下程序加载进内存的过程：

在虚拟地址空间申请指定大小的空间（调整区域划分）。
加载程序，申请物理空间。
在页表中进行虚拟地址和物理地址的映射构建。

完成后，此时的物理地址就转化为了虚拟地址。提供给上层使用，用户无需关心底层的物理地址是什么，物理内存中是如何加载的，只是使用虚拟地址就可以了。

作为进程也只是关心对于虚拟地址的使用，而不关心实际物理内存的存储。

如图所示。task_struct和其中管理的mm_struct所形成的关系对于进程来说只是负责进程的调度，而不关心如何管理调度的数据存储和加载。

而对于物理内存部分来说，只进行内存的管理，加载物理内存。

二者通过页表的映射关系来解耦合，让进程管理和内存管理进行一定程度的解耦合！

Tips

可以不加载代码和数据，只加载task_struct，mm_struct(只拿到main代码的起始地址)，页表。

CPU在拿到起始地址后，当访问虚拟地址时，会有标识证明没有加载过物理内存，所以会缺页中断，然后开始加载物理内存。

创建进程的时候，先有task_struct,mm_struct等，还是先加载代码和数据？

先有内核数据结构，然后再陆续加载物理内存。

如何理解进程挂起？

进程进入挂起状态时，操作系统找到对应的进程，清空页表的物理地址部分，将物理地址对应的数据全部换入磁盘swap分区。只保留虚拟地址空间中的虚拟地址和页表的虚拟地址部分。

当挂起状态结束时，将swap分区的数据全部换出加载到物理内存中，然后再页表中建立映射。这就是解耦的好处，将进程调度与内存管理完全解耦。

`vm_area_struct`

对于在程序中动态申请的空间来说，一般会申请在堆区中。但是在程序中可能会频繁的申请，难道对于虚拟地址空间中的堆区来说，不只有一个起始地址吗？可能是离散分布的吗？

虚拟空间的组织⽅式有两种：

当虚拟区较少时采取单链表，由mmap指针指向这个链表；
当虚拟区间多时采取红⿊树进⾏管理，由mm_rb指向这棵树。

mm_struct 并不是直接就是整个虚拟地址空间，而是包含了一个指向虚拟内存区域（VMA）列表的指针，这个列表是由 vm_area_struct组成的。每个 vm_area_struct 表示进程地址空间中的一个连续区域，具有相同的权限和映射类型。所以离散申请的堆空间可以用vm_area_struct进行管理，并且所有的区域都可以统一使用vm_area_struct进行管理。

为了高效查找区域，所以用红黑树来进行管理——struct rb_root mm_rb。

struct mm_struct {// ... 其他成员 ...struct vm_area_struct *mmap; // 指向虚拟内存区域列表的指针struct rb_root mm_rb;         // 红黑树，用于快速查找虚拟内存区域// ... 其他成员 ...
};

struct vm_area_struct {struct mm_struct *vm_mm;         // 指向所属进程的mm_structunsigned long vm_start;          // 虚拟内存区域的起始地址unsigned long vm_end;            // 虚拟内存区域的结束地址pgprot_t vm_page_prot;           // 页面保护标志unsigned long vm_flags;           // 标志位，如VM_READ, VM_WRITE等// ... 其他成员，如链表指针、红黑树节点等 ...
};

因为存在vm_area_struct这个数据结构，即使堆区频繁申请，但是每一段申请的空间都可以使用vm_area_struct来进行管理，最后用建表进行管理所有的vm_area_struct，在mm_struct中用*mmap作为链表的头指针。

进程地址空间管理（总结）

关于进程地址空间整体的管理结构如上图所示（虚拟区间较少情况下）。

task_struct管理整体进程，其中包括管理进程地址空间的mm_struct。在虚拟区间较少的情况下用在mm_struct中的vm_area_struct *mmap;指向由vm_area_struct链接而成的链表。每个vm_area_struct对应一段虚拟区间，而对于堆这种可能频繁申请的来说，堆这个区间会由多个vm_area_struct组成，而其他的区域使用一个vm_area_struct管理即可。