Back to notebook

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

This post is not yet available in English. Showing the original version.
Notes 操作系统 zh-CN
Table of Contents
Table of Contents

本篇系统梳理操作系统课程的核心知识主线，以虚拟化技术（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）是操作系统对“正在运行的程序”的抽象。一个完整的进程上下文由两部分构成：

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

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

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

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

2.3 进程三态转移模型

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

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

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

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

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

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

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

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

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

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

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

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

4.1 典型调度策略对比

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

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

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

5.1 分页机制与地址切分

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

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

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

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

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

EAT=α⋅(ttlb+tmem)+(1−α)⋅(ttlb+2⋅tmem).\text{EAT} = \alpha \cdot (t_{\text{tlb}} + t_{\text{mem}}) + (1 - \alpha) \cdot (t_{\text{tlb}} + 2 \cdot t_{\text{mem}}).

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

5.3 多级页表（Multi-level Paging）

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

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

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

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

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

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

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