操作系统期末复习指南：从进程到文件系统的知识地图与核心考点

简介：这份资源是面向山东大学操作系统课程期末备考学生的复习笔记，以PDF形式系统梳理了课程核心考点，适合需要快速回顾知识框架、查漏补缺的本科生使用。压缩包内共1个PDF文件，大小约2.91MB，内容按章节组织，涵盖操作系统概念与功能、系统结构、进程管理、存储管理、文件管理、设备管理、作业管理等模块。笔记对进程与程序的区别、进程三态转换时机、PCB组成、进程调度队列、进程间通信的共享内存与消息传递方式等高频考点均有展开，并对比了Simple structure、Layered、Microkernel三种结构设计的优缺点，还涉及并发与并行、用户模式与核心模式、API与系统调用接口等易混淆概念。目前已有975人学习，可作为期末冲刺阶段对照教材梳理重点、强化概念辨析的参考材料。

1. 操作系统复习总览：从进程到文件系统的知识地图

操作系统这门课，期末复习最怕的不是知识点多，而是知识点散。翻开笔记，进程、调度、同步、死锁、内存、虚拟内存、文件系统各占一章，单看每章都懂，合上笔记却串不起来。其实整门课有一条清晰的主线：操作系统是管理软硬件资源的系统软件，它要解决的核心问题就是“多个程序如何共享有限的 CPU、内存和 I/O 资源而不出错”。进程是资源分配的基本单位，CPU 调度决定谁先用处理器，同步与死锁解决并发访问的冲突，内存管理和虚拟内存解决空间分配与扩充，文件系统则把磁盘这类持久存储也纳入统一管理。抓住这条主线，U1 到 U11 就不再是十一个孤立章节，而是一张有因果关系的知识地图。这份笔记按模块把概念、算法、计算题和易错点重新梳理一遍，适合正在系统复习、想快速查漏补缺的人。

2. 进程与线程：状态转换、PCB 与通信方式的复习重点

进程管理是整个操作系统课程的地基，后面的调度、同步、死锁全都建立在“进程”这个概念之上。复习这一块，不能只背定义，要把进程的生命周期、组成结构和进程间通信方式串起来理解，否则做题时状态转换图和通信方式的选择很容易混。

2.1 进程与程序的区别及进程三要素

进程是某一特定功能的程序的一次执行过程，是操作系统中最基本的单位。程序是存储在磁盘上的静态实体，当可执行文件加载到内存中时，程序才成为进程。两者的区别可以归纳为四点：进程由程序和数据组成，离开程序没有意义；程序是静态的，进程是动态的；进程有生命周期，有诞生有消亡，是短暂的，而程序相对长久；一个程序可以对应多个进程。

进程的组成要记住“三要素”：程序、数据、PCB。再细一点，进程包含代码段、数据段（全局变量）、寄存器、栈（临时变量）、堆（malloc 分配的内存）。PCB（进程控制块）是系统为了管理进程设置的专门数据结构，用于记录进程的外部特征、描述进程的运动变化过程。考试里问“进程由什么组成”，答“程序+数据+PCB”即可；问“进程被选中执行后可能发生什么”，要能说出三种情况：发出 I/O 请求被放入 I/O 队列；创建子进程并等待其结束（写时复制，父子进程各自变量互不影响）；由于中断强制释放 CPU 并被放回就绪队列。

进程终止这块有几个容易考的名词。系统调用exit()终止子进程，父进程通过wait()返回终止子进程的进程标识符，由此得知哪个子进程终止了。父进程终止后子进程自动终止叫级联终止。子进程终止但父进程未调用wait，子进程变成僵尸进程；父进程未调用wait就终止，子进程变成孤儿进程，Linux 和 Unix 会把 init 作为该子进程的新父进程。这几个概念经常以选择题或简答题出现，记清楚“谁先死、谁没 wait”就能判断。

2.2 进程状态转换图与转换时机

进程状态转换是必考的画图题。三个基本状态是运行、等待（阻塞）、就绪，转换时机要背准：

实际操作系统里状态会更复杂，可能还有新建、终止、挂起等状态，但考试以这三态图为主。画图时注意箭头方向，等待态不能直接到运行态，必须先经过就绪态，这是最常见的失分点。

2.3 进程调度队列与三种调度程序

进程进入系统后加入作业队列（包含系统中所有进程）；就绪的、等待运行的进程保存在就绪队列，由链表实现；等待 I/O 设备的进程放在设备队列。三种调度程序的层次要分清：长期调度程序从缓冲池中选择进程装入内存，准备执行，它控制多道程序度；短期调度程序从准备执行的进程里选择进程并分配 CPU，频率最高；中期调度程序能把进程从内存中换出挂起，暂存磁盘，后来再换入，用于调节内存压力。长期调度要平衡 I/O 密集型和 CPU 密集型进程的比例，否则要么 CPU 空闲，要么 I/O 设备空闲。

2.4 进程间通信：共享内存与消息传递的取舍

进程间通信的两种基本方式是共享内存和消息传递。共享内存由应用程序员建立共享内存区域，通过共享变量交换信息，操作系统只负责提供共享内存；消息传递由操作系统提供机制，让协作进程通过消息传递工具通信，无需共享变量。

两者的优缺点和适用场合要能对比着说：消息传递对于交换较少量的数据很有用，相较共享内存更容易实现，典型实例是 Mach；共享内存不需要系统调用，速度比较快，建立共享内存后不需要内核帮助，但需要应用程序员自己编写访问和操作共享内存的代码，典型实例是 POSIX。客户机服务器系统通信还有套接字、远程过程调用、管道、远程方法调用等方式。这里有个容易忽略的点：通道是独立于 CPU 的专门负责数据输入/输出传输工作的处理机，对外部设备统一管理，代替 CPU 控制 I/O 操作，使 I/O 操作可以与 CPU 并行操作，这个概念常和 DMA 一起考。

线程部分要记住引入线程的四个理由：响应度高（部分线程阻塞，其他线程仍可执行）、资源共享（同进程线程共享内存和资源）、经济（创建和切换代价比进程小）、多处理器体系结构的利用。用户线程由库管理，内核不感知，不支持抢占式调度；内核线程由操作系统直接支持和管理，线程阻塞不相互影响，切换代价接近进程。多线程模型有多对一、一对一、多对多三种。线程取消分异步撤销（立即终止）和延迟撤销（允许目标线程定期检查是否需要被取消）。线程池预先创建一定数量线程放入池中等待工作，需要时唤醒，减少线程创建销毁开销。

3. CPU 调度：从 FCFS 到多级反馈队列的计算与对比

CPU 调度是计算题重灾区，也是简答题常客。复习时先分清抢占与非抢占，再逐个掌握算法特征，最后落到性能指标的计算上。分派程序（dispatcher）负责将 CPU 控制交给短期调度程序选中的进程，功能包括切换上下文、切换到用户模式、跳转到用户程序合适位置重启程序；分派程序停止一个进程而启动另一个所花的时间叫分派延迟。

3.1 调度算法特征对比

优先级调度要注意：有的系统数字小优先级高，有的系统数字大优先级高，题目不说明时按上下文判断。饥饿（starvation）指低优先级进程永远不被执行，老化（aging）是逐渐增加等待很长时间的进程的优先级。RR 的时间片 q 是关键参数：q 大退化为 FCFS，q 太小导致上下文切换开销过大，理想情况是时间片比上下文切换时间长。

多级队列和多级反馈队列的区别是 10 分简答的常客。多级队列把就绪队列分成多个独立队列，按进程属性分配，进程固定在一个队列里，队列间一般采用固定优先级抢占调度，常见划分是前台交互进程和后台批处理进程，前台优先级更高。多级反馈队列允许进程在队列间移动，根据 CPU 区间特点区分进程：占 CPU 时间过多的进程被挪到更低优先级队列，等待时间过长的进程被挪到更高优先级队列，I/O 约束和交互进程留在高优先级队列。对比时要点明：多级队列设计简单但不够灵活，多级反馈队列灵活、适应性强但实现复杂，是最常用且最复杂的调度程序。

3.2 性能指标与计算套路

衡量调度算法的指标有 CPU 使用率、吞吐量、周转时间（从提交到完成）、等待时间（在就绪队列中等待的时间和）、响应时间（从提交请求到产生第一响应）。目标是使 CPU 使用率和吞吐量最大化，使周转时间、等待时间、响应时间最小化，且尽量优化平均值。对于交互系统，最小化响应时间的方差比最小化平均响应时间更重要。

计算题通常给出一组进程的到达时间和运行时间，要求画甘特图并算平均等待时间、平均周转时间。以 SJF 为例，按到达顺序和运行时间排序后依次执行，等待时间等于开始时间减到达时间，周转时间等于完成时间减到达时间。RR 则要按时间片切分，注意新到达进程和刚被抢占进程在就绪队列中的排队顺序。CPU-I/O 区间循环（CPU-I/O burst cycle）说明进程执行从 CPU 区间开始，之后是 I/O 区间，如此交替，最终通过系统请求终止，这个模型解释了为什么 I/O 密集型进程应优先获得 CPU 以提高利用率。

4. 进程同步与死锁：临界区、信号量与银行家算法

同步和死锁是整门课逻辑性最强的部分，也是代码题和计算题的高发区。复习顺序建议：先吃透临界区三条件，再掌握 Peterson 算法和硬件指令，然后重点练信号量的 P/V 操作，最后攻死锁的四个必要条件和银行家算法。

4.1 临界区问题与三个必要条件

每个进程有一段代码称为临界区，在该区中进程可能改变共同变量、更新表、写文件，没有两个进程可以同时在临界区内执行。临界区问题就是设计一个协议以便进程协作。解决方案必须满足三个条件：互斥（若 Pi 在临界区执行，其他进程都不能在临界区执行）、有空让进（如果没有进程在临界区且有进程需进入，只有那些不在剩余区执行的进程可参加选择，且选择不能无限推迟）、有限等待（从进程请求进入临界区到被允许，其他进程进入临界区的次数有上限）。这三个条件经常以简答题出现，答题时逐条解释，不要只写名词。

Peterson 算法用于两个进程在临界区和剩余区交替执行，是软件方法；硬件同步用锁来防护临界区，TestAndSet 是原子指令，用于检查和修改字的内容或交换两个字的内容，自动执行、不可中断。信号量是同步工具，S 是整数变量，除初始化外只能通过 P 和 V 操作访问。计数信号量值域不受限制，二进制信号量（互斥锁）只能为 0 或 1。自旋锁是在代码中连续循环忙等待的信号量，解决忙等待的办法是给每个信号量一个整型值和一个进程链表，P 中信号量不为正时让进程阻塞自己并加入链表，V 从等待链表取一个唤醒。

4.2 信号量代码题：生产者消费者与读者写者

生产者消费者问题是信号量代码题的原型。有一群生产者进程生产产品放入具有 n 个缓冲区的缓冲池，消费者从缓冲区取走产品。核心是三个信号量：mutex 互斥访问缓冲区，初始为 1；empty 表示空缓冲区数，初始为 n；full 表示满缓冲区数，初始为 0。

// 生产者消费者伪代码，注意 P 操作顺序不能颠倒 semaphore mutex = 1; // 互斥访问缓冲池 semaphore empty = n; // 空缓冲区数量 semaphore full = 0; // 满缓冲区数量 producer() { while (true) { produce_item(); P(empty); // 先申请空位，再拿锁，顺序反了会死锁 P(mutex); put_item(); V(mutex); V(full); // 满缓冲区加一，唤醒消费者 } } consumer() { while (true) { P(full); // 先确认有产品，再拿锁 P(mutex); take_item(); V(mutex); V(empty); // 空位加一，唤醒生产者 } }

这段代码的关键在 P 操作顺序：生产者必须先 P(empty) 再 P(mutex)，消费者必须先 P(full) 再 P(mutex)。如果反过来，生产者拿到锁后发现没有空位而阻塞，消费者又拿不到锁，就会死锁。这是血泪经验里最常翻车的地方。读者写者问题要求写者对数据库排他访问，读者可共享，通常用读者计数加互斥信号量实现，第一个读者进入时 P 写锁，最后一个读者离开时 V 写锁。

信号量和互斥锁的区别要能说清：信号量用于线程同步，互斥锁用于线程互斥；互斥锁只能为 0 或 1，信号量可为其他整数；互斥锁加锁和解锁由同一线程使用，信号量可以一个进程释放、另一个线程得到。自旋锁在单处理器系统中不能存在，因为忙等待浪费 CPU 时钟；多处理器系统中一个线程自旋时另一线程可在另一处理器临界区执行，所以常用。

4.3 死锁四条件与银行家算法

死锁是一组进程每个都持有资源并向其他进程申请其占有的资源，进入循环等待，每个进程都无法推进。四个必要条件：互斥、占有并等待、非抢占、循环等待。资源分配图中没有环则无死锁；有环时若每个资源只有一个实例则存在死锁，若资源有若干实例则可能有死锁。

死锁处理分三类：预防（静态策略，限制申请资源，确保至少一个必要条件不成立）、避免（动态策略，根据额外信息评估分配是否安全）、检测与恢复。预防的具体做法包括进程执行前申请并获得所有资源、申请其他资源前释放已分配资源、把非抢占变为抢占、对所有资源类型完全排序要求按递增顺序申请。避免的核心是安全状态：存在进程序列，对每个进程，其仍可申请的资源数小于当前可用资源加所有前面进程占用的资源，则这一序列是安全序列。安全状态不会死锁，不安全状态可能死锁，系统要确保永远不进入不安全状态。

银行家算法用于每个资源有多个实例的情况。新进程进入系统时必须说明每种资源可能的最大需求数量，申请资源时系统计算分配后是否仍处于安全状态，是则分配。安全性算法要找安全序列，资源请求算法要通过安全性算法验证。应用条件是固定数量进程共享固定数量资源、进程申请资源小于可用资源总数、进程等待资源时间有限、进程间无顺序关系、无需协作同步。死锁检测中单个实例用等待图，有环即死锁；多个实例用类似银行家的检测算法，找 request 小于 available 加前面 allocation 的进程序列，排不进序列的进程产生死锁。恢复手段是选择牺牲品、回滚、终止进程并重启或回滚到安全状态，注意某进程总被选为牺牲品会导致饥饿。

死锁和饥饿的异同是经典简答。相同点是都因竞争资源引起；不同点在于：死锁进程都处于等待状态，饥饿可能出现在忙等待进程；死锁等待永远不会释放的资源，饥饿等待会被释放但不会分配给自己的资源；死锁一定发生循环等待，饥饿不一定；死锁涉及多个进程，饥饿可能只有一个；饥饿情形下至少有一个进程能正常运行，死锁可能使整个系统崩溃。

5. 内存与虚拟内存：分页分段、页面置换与颠簸

内存管理是计算题密度最高的模块，从固定分区到分页分段，再到虚拟内存的页面置换，每一块都有固定套路。复习时先分清连续分配和非连续分配，再掌握地址转换过程，最后重点练页面置换算法的缺页次数计算。

5.1 连续分配与非连续分配的核心区别

连续分配分固定分区和可变分区。固定分区将用户空间划分为固定大小分区，每个分区只装一个进程，分区大小可不相等；可变分区不预先划分，根据进程大小动态建立分区，连续可用内存空间称为孔。分配策略有三种：首次适应分配第一个够大的孔，最佳适应分配足够大的孔里最小的，最差适应分配所有孔里最大的。外碎片是可用内存总和满足请求但不连续形成的碎片，用紧缩解决；内碎片是分配进程后在分区内被浪费的不能使用的内存。

非连续分配分页和分段。分页将用户进程空间分为相同大小的页，物理内存分成相对应的帧，帧与页大小相同。页表硬件有 PTBR（页表基寄存器，存放页表最小物理地址）和 PTLR（页表长度寄存器，存放页表大小和逻辑地址范围）。TLB 是快表，只存放页表一部分，查找时与 TLB 中每一项同时比较，是并行搜索，提高访问效率。二级页表要访问三次内存：两次页表加一次主存。有效位 valid 表示在逻辑地址内的页，invalid 表示不在逻辑地址内的页。共享页中共享代码是可重入的，可重入代码不能自我修改，不会在执行期间改变，每个进程有各自寄存器副本和数据存储。哈希页表每个条目包含链表元素，元素有三个域：虚拟页码、映射的帧号、指向下一个元素的指针。

分段按程序自身逻辑划分若干程序段，每段有段号，内存空间动态划分为长度不同的物理段，以段为单位分配，每段在内存中占连续空间但各段之间可不相邻。地址映射过程：CPU 取到逻辑地址后，用段号查段表得到该段在内存的起始地址，与段内偏移量计算出物理地址。分段分页比较是常考点：页是信息的物理单位，分页是为实现离散分配，提高内存利用率，页大小固定由系统决定；段是信息的逻辑单位，分段是为满足用户编程需要，段大小不固定由用户程序决定。分页地址是一维的，分段地址是二维的（段号加段内偏移）。

地址绑定分三种时机：编译时（知道驻留地址，生成绝对代码）、加载时（编译器生成重定位代码，地址变化只需重新加载）、执行时（运行时从一个内存段转移到另一个内存段，绑定延迟到执行，需要特定硬件）。逻辑地址是 CPU 生成的地址，物理地址是内存单元能看到的地址，编译和加载时两者相同，运行时绑定会导致不同。

5.2 虚拟内存与页面置换算法

虚拟内存将用户逻辑内存和物理内存分开，好处是弥补物理内存不足、提供巨大虚拟内存使编程更容易、一定程度提高反应速度、减少对物理内存读取从而保护内存、允许文件和内存通过共享页为多个进程共享。按需调页只有程序执行需要时才载入页，从未访问的页不会调入物理内存。页错误陷阱（缺页）是访问尚未调入内存的页，缺页率等于缺页次数除以访问页面总数。处理缺页的步骤：处理页错误中断、读入页、重新启动进程。写时复制让父子进程开始时共享同一页面，任一进程要写就创建副本；vfork 不使用写时复制，将父进程挂起，子进程使用父进程地址空间。

页面置换算法要能算缺页次数并比较优劣：

帧分配有平均分配和比例分配，全局置换从所有帧中选择置换（常用，系统吞吐量更好），局部置换只从自己分配的帧里选（有的帧会一直空闲）。系统颠簸是频繁调页行为，若一个进程换页时间大于运行时间，这个进程就是颠簸的。页错误率策略是页错误率低则减少分配帧数，页错误率高则增加分配帧数。内核内存分配从空闲内存池中分配，原因是内核需要大量大小不同的数据结构，且有些内核存储区需要物理上连续的地址。

6. 文件系统与查漏补缺：分配方式、打开文件表与复习清单

文件系统这部分概念多但计算少，重点在文件分配方式和打开文件表的查找流程。连续分配每个文件占一系列连续磁盘块，FCB 中存首块地址，优点是访问性能最好、简单，缺点是外部碎片、文件长度变大困难。链接分配 FCB 中存文件首块地址，数据块是单向链表，目录包含指向第一块和最后一块的指针，优点是无外部碎片、指针占少量空间，缺点是指针损坏导致可靠性问题、不能有效支持直接访问。FAT 把散落的指针收拢，下标是块号，值指向下一个块号，便于快速访问和高速缓存，提高随机访问性能，新块分配也更简单，FAT32 每项占 32 位即 4 字节。

文件系统依据文件名找到 FCB 的流程是简答高频点：系统先调用open()，将文件名传给文件系统，根据文件名搜索目录结构，找到文件后其 FCB 复制到系统范围内打开文件表，接着在单个进程打开文件表中增加一个条目，通过指针与系统文件表条目相连，open()返回指向单个进程打开文件表中合适条目的指针。系统范围打开文件表包含每个打开文件的 FCB 副本及其他信息，单个进程打开文件表包含指向系统表相关条目的指针。虚拟文件系统在文件系统接口和具体本地或远程文件系统实现之间增加一层，把不同实现的文件系统统一起来。基于目录管理的文件共享可用无环图目录结构，同一文件或子目录出现在两个不同目录中实现共享，符号链接可不处理悬挂链接，非符号链接可增加引用计数字段避免悬空指针。

复习到最后，最容易漏的不是大算法，而是那些一句话概念。梳理下来发现，下面五类点最容易被跳过：

• 易漏点一：进程与程序的“一对多”关系。很多人只记“程序静态、进程动态”，漏掉一个程序可对应多个进程。补法是把进程三要素和生命周期一起背，用“可执行文件加载”这个动作串起来。
• 易漏点二：P 操作顺序导致死锁。生产者消费者里先 P(mutex) 再 P(empty) 会死锁，这个错误在代码题里极常见。补法是每次写信号量代码先问“谁先等资源、谁后拿锁”，把 P 顺序当固定模板练三遍。
• 易漏点三：安全状态与不安全状态的边界。银行家算法里“不安全状态可能死锁”不等于“一定死锁”，答题时写“可能”而不是“必然”。补法是画一次资源分配图，标出安全序列和不安全但未死锁的情形。
• 易漏点四：TLB 命中与缺页的区别。TLB 未命中不等于缺页，只是要去查页表；缺页是页不在内存。补法是把地址转换流程画成一条线：逻辑地址→TLB→页表→物理地址，每一步标注失败后果。
• 易漏点五：全局置换与局部置换对颠簸的影响。全局置换可能让一个进程的缺页影响其他进程帧数，局部置换则帧固定。补法是对比两种策略下页错误率策略的调整对象。

查漏补缺的具体做法：拿一张白纸，先默写进程三态转换图和四个转换时机，再默写死锁四个必要条件，然后手算一道 RR 调度和一道 LRU 缺页，最后口述 open() 找 FCB 的流程。哪一步卡住就回到对应章节，不要从头翻。计算题错题要标注错因是“公式记错”还是“顺序搞反”，前者补概念，后者补模板。从那以后我每次复习操作系统，都强制先画知识地图再做题，地图上哪个节点画不出来，就说明那块没真正掌握。希望这份梳理帮到你。

本文还有配套的精品资源，点击获取