操作系统：期中学习导引与核心系统抽象机制

2026年11月5日笔记操作系统 zh-CN

本篇系统梳理操作系统课程的核心知识主线，以虚拟化技术（CPU 虚拟化与内存虚拟化）为核心主干，打通底层硬件支持、内核管理机制与用户态系统调用的交互通路。期中考核采用 60 分简答论述题 + 40 分代码分析题 的题型结构，要求在理解抽象机制的同时，具备精确推导并发代码执行时序的能力。

一、知识分层与期中考点导引

现代操作系统的核心职责是作为系统资源的管理者与硬件抽象的提供者。期中考查重点围绕以下三个抽象层次展开：

核心抽象层次	回答的核心系统问题	核心机制与理论要点	考查定位
CPU 虚拟化	操作系统如何为各程序提供独占 CPU 的假象，并安全控制硬件？	进程上下文、状态转移三态模型、受限直接执行（LDE）、定时器中断与上下文切换	基础必考；并发分析基石
进程控制与 API	操作系统如何创建、管理与回收运行中的程序？	`fork()` 写时复制、`exec()` 映像覆盖、`wait()` 资源回收、标准 I/O 缓冲区与打开文件表共享	40 分代码分析核心考点
CPU 调度策略	在就绪队列中，调度器应依照何种准则分配 CPU 时间？	周转时间与响应时间、FIFO 护航效应、SJF/STCF 贪心选择、RR 时间片权衡、多级反馈队列（MLFQ）	60 分论述与甘特图计算
内存虚拟化	操作系统如何为各进程提供私有连续的地址空间假象？	虚拟地址空间、分页（Paging）机制、VPN/Offset 切分、TLB 硬件缓存、多级页表、缺页异常与页面置换	期中核心主线；计算与机制并重

二、进程抽象与生命周期管理

2.1 进程上下文与受限直接执行（LDE）

进程（Process）是操作系统对“正在运行的程序”的抽象。一个完整的进程上下文由两部分构成：

用户态上下文：程序代码段（Text）、全局数据段（Data）、动态分配的堆（Heap）、用户调用栈（User Stack）以及 CPU 通用寄存器集合（程序计数器 PC、栈指针 SP 等）；
内核态上下文：进程控制块（PCB / struct task_struct），包含进程标识符（PID）、调度优先级、状态标志、内核栈（Kernel Stack）以及打开文件描述符表（File Descriptor Table）。

为了实现安全与性能的平衡，操作系统采用受限直接执行（Limited Direct Execution, LDE）架构：

应用程序在 CPU 用户态（User Mode）下直接在物理硬件上执行原生指令，获得接近裸机的执行速度；
当进程需要执行敏感操作（如 I/O、分配物理页框）时，通过触发硬件陷阱指令（Trap）发起系统调用（System Call），CPU 硬件自动切换至内核态（Kernel Mode），陷入预设的陷阱表向量，由内核代码代为执行并进行权限校验；
操作系统依靠硬件定时器中断（Timer Interrupt）在每隔固定时钟周期强行夺回 CPU 控制权，从而防止进程恶意独占 CPU。

2.2 上下文切换（Context Switch）的本质

上下文切换是实现多任务并发分时的核心原语。其物理本质是：保存当前被挂起进程继续执行所必需的最小硬件寄存器状态，并恢复下一个就绪进程此前保存的寄存器状态。

上下文切换绝不涉及从外部磁盘重新读取程序可执行文件；
切换发生时，内核将当前进程的寄存器（通用寄存器、PC、SP、条件码等）压入其内核栈，随后更新内核数据结构中的当前运行指针，最后从目标进程的内核栈中弹出之前保存的硬件上下文并执行从中断返回（Return-from-trap）指令。

2.3 进程三态转移模型

就绪态 (Ready) ────── 调度器选中分配 CPU ─────> 运行态 (Running)
      ▲                                               │
      │                                               │ 时间片耗尽 / 强行抢占
      │                                               ▼
      │                                         就绪态 (Ready)
      │                                               │
      │                                               │ 发起阻塞系统调用 (如读磁盘)
      │                                               ▼
      └──────────── I/O 操作完成 / 中断触发 ───── 阻塞态 (Blocked)

[!IMPORTANT]
关键因果关系：
当外部设备完成数据读写并触发硬件中断后，内核中断处理程序仅将处于阻塞态的进程状态迁移至“就绪态”并放入就绪队列。该进程何时真正重新获得 CPU 调度执行，完全取决于调度器的决策。不能将“唤醒”错误理解为“立即获得 CPU 运行”。

三、核心进程控制 API 语义解耦

40 分代码分析题的核心在于透彻掌握 fork()、exec() 与 wait() 在底层数据结构层面的精确交互。

3.1 `fork()`：写时复制与进程克隆

语义机制：fork() 调用成功后，操作系统创建当前进程的一个近乎完全一致的副本。子进程复制父进程的虚拟内存页表项、打开文件描述符表以及当前 CPU 寄存器上下文；
执行起点：子进程从 fork() 系统调用返回点继续向下执行，绝非从 main() 函数第一行重新启动；
返回值区分：
- 在父进程中：fork() 返回新创建子进程的实际 PID（正整数）；
- 在子进程中：fork() 返回 0；
- 若操作系统资源不足创建失败，在父进程中返回 -1。
写时复制（Copy-on-Write, COW）：现代操作系统并不立即物理复制父进程的所有物理内存页，而是将子进程的页表项指向相同的物理页框，并将这些共享页框标记为只读（Read-Only）。当父或子进程任意一方尝试执行写入操作时，触发硬件缺页写保护中断，由内核此时才按需分配新的物理页框并完成单页复制。

3.2 `exec()` 族函数：映像替换

语义机制：调用 exec()（如 execl, execvp）成功后，内核使用全新程序的代码段、数据段、堆和栈彻底覆写当前进程的原有虚拟地址空间，并重置 PC 指向新程序的入口；
不变量：
- 进程标识符 PID 保持不变；
- 默认情况下，原进程已打开的文件描述符（除非标记了 FD_CLOEXEC）在 exec() 后依然被继承并保持打开状态；
不可达性：调用 exec() 成功后，原程序中位于 exec() 之后的后续代码将永远不会被执行（因为原代码已被清空覆写）。仅当加载文件不存在或权限错误导致 exec() 失败时，才会返回并继续执行后续错误处理语句。

3.3 `wait()` / `waitpid()`：子进程状态回收

僵尸进程（Zombie Process）：当子进程终止后，虽然其用户态内存已被释放，但内核进程表中仍保留其 PCB 条目（包含 PID、终止状态码与资源统计），供父进程查询。若父进程未调用 wait() 读取该状态，子进程将长期滞留为僵尸进程；
孤儿进程（Orphan Process）：若父进程在子进程终止前退出，子进程成为孤儿进程，由系统根进程（PID 1，如 init 或 systemd）自动收养，并在其终止时代为调用 wait() 完成回收；
状态解析：wait(&status) 返回被回收子进程的 PID，退出状态值 status 不能直接按整数解读，必须使用 POSIX 标准宏解析：
- WIFEXITED(status)：宏为真表示子进程正常终止；
- WEXITSTATUS(status)：提取子进程在 exit(code) 或 return code 中传入的低 8 位状态码。

3.4 代码时序分析关键点：缓冲区与内核打开文件表

在分析并发代码时，需特别注意两处常见误区：

标准 I/O 用户态缓冲区与 fork 的交互：
- C 标准库函数 printf 默认包含用户态流缓冲区（行缓冲或全缓冲），而系统调用 write(STDOUT_FILENO, ...) 是无缓冲的直接内核写入；
- 若调用 printf("A") 且未输出换行符 \n，字符 "A" 仍驻留在进程的用户态缓冲区内。此时执行 fork()，该缓冲区作为用户态内存被完整克隆给子进程；
- 结果：后续父进程与子进程刷新缓冲区时，各自分别输出一次 "A"，导致输出次数倍增。若加了 \n 或显式调用 fflush(stdout)，则不会发生此现象。
文件描述符与内核打开文件对象（Open File Table）：
- 子进程继承父进程的文件描述符表，拥有相同数值的描述符（例如 fd = 3）；
- 父子进程中对应的描述符指向内核中同一个打开文件表项（Open File Table Entry）；
- 核心影响：父子进程共享底层的读写文件偏移量（File Offset）。若父进程读取了 2 个字节导致偏移量前进，子进程随后读取时将直接从新的偏移量处向后读取，绝不会两边重复读取相同开头。

四、CPU 调度指标与经典策略分析

衡量调度算法效率的核心指标包括：

周转时间（Turnaround Time）：任务从到达系统到最终执行完成的时间跨度：
$T_{\text{turnaround}} = T_{\text{completion}} - T_{\text{arrival}}.$
响应时间（Response Time）：任务从到达系统到首次获得 CPU 调度执行的时间跨度：
$T_{\text{response}} = T_{\text{firstrun}} - T_{\text{arrival}}.$

4.1 典型调度策略对比

调度算法	决策依据	抢占属性	核心优势	缺陷与性能权衡
FIFO（先来先服务）	任务到达就绪队列的时间先后	非抢占	实现极其简单	护航效应（Convoy Effect）：长任务排在队列前端时，短任务等待极久，平均周转时间恶化
SJF（最短作业优先）	运行总时长最短的任务优先	非抢占	在所有非抢占策略中平均周转时间最优	需预知运行全长；长作业容易产生饥饿（Starvation）
STCF（最短完成时间优先）	剩余运行时间最短的任务优先	抢占式	动态适应任务到达，周转时间极优	频繁抢占产生额外的上下文切换开销；长任务饥饿
RR（时间片轮转）	按时钟周期固定时间片轮转分配	抢占式	响应时间极优，交互系统首选	周转时间较差；时间片过小导致切换开销过大，时间片过大退化为 FIFO
MLFQ（多级反馈队列）	依据任务历史行为动态调整优先级	抢占式	无需预知任务长度，兼顾交互响应与计算吞吐	需周期性提升优先级防饥饿，需防范任务恶意让出 CPU 作弊

五、虚拟内存体系与地址翻译机制

虚拟内存系统通过将硬件物理内存抽象为独立的线性地址空间，实现了进程间内存的隔离、保护与透明重定位。

5.1 分页机制与地址切分

分页机制（Paging）将进程的虚拟地址空间切分为固定大小的虚拟页面（Virtual Page, VP），将物理内存切分为相同大小的物理页框（Physical Frame, PF），从而彻底消除了外部碎片。

一个 $m$ 位的虚拟地址被划分为两部分：
$\text{Virtual Address} = \text{VPN} \parallel \text{Offset}.$

若页大小为 $P = 2^p$ 字节，则低 $p$ 位为页内偏移量（Offset）；
高 $m - p$ 位为虚拟页号（Virtual Page Number, VPN）。
地址转换逻辑：通过页表将 VPN 翻译为物理页框号（Physical Frame Number, PFN），与未修改的 Offset 拼接即得到物理地址：
$\text{Physical Address} = \text{PFN} \parallel \text{Offset}.$

5.2 TLB 硬件缓存与有效访存时间（EAT）

每次内存访问若均需先查页表、再读实际数据，将导致访存延迟翻倍。
转译后备缓冲器（TLB, Translation Lookaside Buffer）是集成在 MMU 内部的高速硬件缓存，直接缓存虚拟页号到物理页框号的映射项。

设 TLB 查询耗时为 $t_{\text{tlb}}$ ，物理内存单次访问耗时为 $t_{\text{mem}}$ ，TLB 命中率为 $\alpha$ 。
在不发生缺页的前提下，单级页表的有效访存时间（Effective Access Time, EAT）为：

\text{EAT} = \alpha \cdot (t_{\text{tlb}} + t_{\text{mem}}) + (1 - \alpha) \cdot (t_{\text{tlb}} + 2 \cdot t_{\text{mem}}).

若为两级页表，TLB 未命中时需依次访问一级页目录表（PDE）与二级页表（PTE），再访问数据，此时未命中开销变为 $t_{\text{tlb}} + 3 \cdot t_{\text{mem}}$ 。

5.3 多级页表（Multi-level Paging）

在 32 位或 64 位宽地址空间中，线性页表自身体积庞大且必须物理连续（32 位系统 4KB 分页下线性页表需 4MB 空间）。
多级页表通过树状索引结构解决空间开销：

仅为实际分配并使用的虚拟地址区域分配次级页表；
未映射的大片虚拟空间在顶级页目录（Page Directory）中直接标记为无效，无需为其开辟二级页表页，从而显著节省物理内存。

5.4 缺页异常（Page Fault）处理全流程

当进程访问的有效虚拟页面尚未驻留在物理内存中时（页表项中的存在位 Valid Bit 为 0），触发缺页异常。处理步骤遵循严格的软硬件协同流程：

硬件陷阱：CPU MMU 检测到有效位为 0，停止执行当前指令，将出错虚拟地址保存至 CR2 寄存器，触发缺页异常（Vector 14），陷入内核态；
保存上下文：操作系统保存当前进程的用户态寄存器上下文；
合法性检查：内核检查该虚拟地址是否位于进程合法分配的 VMA（Virtual Memory Area）内。若非法（如越界、访问未分配堆），直接向进程发送 SIGSEGV 信号终止进程；
寻找物理页框：内核从物理内存空闲链表中分配一个空闲物理页框 PFN；若内存已满，根据页面置换算法（如 LRU/Clock）选出牺牲页；若牺牲页为脏页（Dirty），先将其写回外存；
磁盘 I/O 调页：操作系统向磁盘调度器提交 I/O 请求，将所需页面内容从交换区（Swap）或可执行文件读取到分配的物理页框中。在此阻塞等待期间，该进程进入阻塞态，CPU 调度其他就绪进程运行；
更新页表与 TLB：I/O 完成后，中断唤醒该进程。内核更新对应的页表项（写入 PFN，有效位置 1，清除脏位），并刷新相关 TLB 项；
恢复现场并重新执行：操作系统恢复被挂起进程的寄存器现场，执行中断返回。CPU 硬件重新执行当初触发缺页异常的那一条原指令（由于此时页表已有效，指令能够顺利完成执行）。

六、页面置换策略（Page Replacement Policy）

当物理内存耗尽时，操作系统必须根据特定准则淘汰物理页框中的一个驻留页以腾出空间：

OPT（最佳置换算法 / Belady 算法）：
- 淘汰未来最长时间内不会被访问的页面。
- 理论上的性能最优基准，但由于无法预知未来的访存序列，在工程中不可实现，仅用于离线评估基准。
FIFO（先进先出置换）：
- 淘汰最早调入内存的页面。
- 存在 Belady 异常：在特定访存序列下，增加分配给进程的物理页框数，缺页次数反而增加。
LRU（最近最少使用置换）：
- 淘汰过去最长时间未被访问的页面。
- 利用局部性原理逼近 OPT，不会产生 Belady 异常；但在硬件上精确维护访问时间戳或链表位置开销过于高昂。
Clock（时钟置换算法）：
- LRU 的轻量级工程近似。利用硬件页表项中的访问位（Reference / Access Bit）。
- 算法指针环形扫描各个页框：若当前页访问位为 1，将其清零并推进指针；若当前页访问位为 0，直接选其作为淘汰页。