简介这份PDF文档面向计算机专业学生与操作系统课程备考者系统梳理了操作系统核心概念与典型考点适合用于期末复习、考研巩固或面试前快速回顾。内容围绕进程与线程、进程上下文、动态分页管理、文件系统、连续文件、并发执行特性、作业与程序关系、存储管理方式、不同文件物理结构优缺点、覆盖与交换的区别等展开并配有P、V操作信号量设计题及OPT、LRU缺页次数与缺页率计算示例便于读者对照理解算法细节与解题思路。资源包共1个PDF文件约110KB篇幅紧凑、知识点集中适合打印或移动端随时查阅。目前已有775人学习下载可作为操作系统知识框架的速查笔记与习题演练参考。1. 从一份操作系统 PDF 说起进程、页面置换与文件结构到底怎么串起来很多人复习操作系统时把进程、线程、分页、文件物理结构当成四个互不相干的背诵模块考完就忘。但真正在排查一台 Linux 服务器内存抖动、或者给嵌入式设备裁剪内核时你会发现这些概念是同一套资源管理逻辑的不同切面进程是资源分配的单位分页是内存的分配粒度文件系统是外存的分配粒度而 P、V 操作是它们之间同步的粘合剂。这份《操作系统.pdf》把定义、对比、计算题都收在了一起适合两类人一是准备操作系统期末复习、考研复试或课程设计的学生需要一份能对着做题的知识底稿二是工作几年后想回头把「进程上下文」「缺页率」「连续文件 vs 索引文件」这些词重新落到实处的工程师。下面不按教材顺序念而是按「概念立住 → 算法能算 → 代码能跑 → 排错有据」的路径拆一遍。2. 进程上下文与 P、V 操作从定义到可运行的同步设计2.1 进程、线程与上下文的边界进程是并发程序的一次执行过程是具有一定独立功能的程序关于某个数据集合的一次运行活动。线程表示程序中可以并发执行的程序段是可以执行代码的不可拆散的单位。这两句话背下来容易用起来容易混。关键区别在于资源归属进程持有地址空间、打开的文件表、信号处理等资源线程只持有栈、寄存器和程序计数器同一进程内的线程共享地址空间。进程上下文是理解切换开销的核心。它由三部分组成用户级上下文用户地址空间、用户栈、系统级上下文PCB、内核栈、页表等、寄存器上下文PC、SP、通用寄存器。一次进程切换本质是保存旧进程的寄存器上下文、切换系统级上下文里的页表基址、再恢复新进程的寄存器上下文。线程切换之所以快是因为用户级上下文和大部分系统级上下文不用动只换寄存器和栈指针。作业、任务、进程、程序、线程之间没有唯一对应关系。程序是进程的基本组成部分但一个程序可以对应多个进程一个进程也可以由多个程序构成。进程是作业的执行状态一个作业可以对应多个进程。线程包含在进程之中一个进程可以由一个或多个线程构成。把这层关系理清后面做同步设计时就不会把「进程间」和「线程间」的共享范围搞错。2.2 用信号量表达前驱关系A→D、C→B、B→D题目给了四个进程 A、B、C、D约束是 A 在 D 之前、C 在 B 之前、B 在 D 之前。这类前驱图问题标准解法是给每条有向边配一个信号量初值为 0前驱进程执行完做 V后继进程开始前做 P。// 每条前驱边一个信号量初值 0 semaphore S_AD 0; // A 完成 - D 可开始 semaphore S_CB 0; // C 完成 - B 可开始 semaphore S_BD 0; // B 完成 - D 可开始 // 进程 A void A() { // 执行 A 的临界工作 V(S_AD); // 通知 DA 已完成 } // 进程 C void C() { // 执行 C 的临界工作 V(S_CB); // 通知 BC 已完成 } // 进程 B void B() { P(S_CB); // 等待 C 完成 // 执行 B 的临界工作 V(S_BD); // 通知 DB 已完成 } // 进程 D void D() { P(S_AD); // 等待 A 完成 P(S_BD); // 等待 B 完成 // 执行 D 的临界工作 }逻辑说明P 操作是申请资源信号量减一小于零则阻塞V 操作是释放资源信号量加一唤醒等待者。每条边对应一个信号量初值 0 保证后继进程一开始必然阻塞直到前驱 V 操作把它唤醒。D 需要同时满足 A 和 B 两个前驱所以连续两个 P顺序无所谓但要注意如果 A、B 的完成顺序不确定两个 P 都写在前面对 D 无影响。参数说明信号量初值必须为 0写成 1 就变成「允许一个进程先跑」前驱约束失效。如果约束改成「A 和 B 都完成后 D 才能开始」那还是两个信号量两个 P但 A、B 之间没有顺序。如果约束是「A 或 B 任一完成 D 就能开始」那要合并成一个信号量A、B 各 V 一次D P 一次初值 0但语义变成计数信号量。提示考试里常把「前驱」和「互斥」混在一起考。互斥信号量初值是 1前驱信号量初值是 0这是最快的区分点。2.3 并发执行的间断性与失去封闭性并发执行不是「同时跑完」而是「执行—暂停—再执行」。程序前一个动作结束不意味着后一个动作开始执行失去连续性呈现间断性。同时多个程序共享资源资源数量有限导致竞争每个程序的执行都受其他程序影响结果失去封闭性。这两条性质直接解释了为什么共享变量不加保护会出错也是后面页面置换、文件并发访问要加锁的根因。3. 动态分页与缺页率计算OPT 和 LRU 手算 代码验证3.1 存储管理方式的选型逻辑存储管理方式大致分三类分区管理单一连续分区、多重固定分区、多重动态分区、分页管理静态分页、动态分页、分段与段页式管理分段、段页式。分区管理实现简单但碎片严重分页管理把逻辑地址切成固定大小的页物理内存切成同样大小的块消除了外部碎片但最后一页可能有内部碎片分段按逻辑意义划分便于共享和保护但会产生外部碎片段页式是两者结合先分段再分页。动态分页管理的核心是「按需调页」根据作业使用情况把需要运行的页面放内存暂时不用的放辅助存储器需要时再调入。这引出了缺页中断和页面置换算法。静态分页一次性把作业全部装入不会缺页但内存利用率低。动态分页的代价就是缺页处理开销所以置换算法的好坏直接决定系统性能。3.2 OPT 与 LRU 手算过程题目某进程分得 4 个内存块页面访问顺序为 4、3、8、2、1、0、8、2、7、4、1、5、7分别用 OPT 和 LRU 求缺页次数和缺页率。先看 OPT最佳置换淘汰未来最长时间不被访问的页。4 个块前四次 4、3、8、2 全部缺页装入缺页 4 次。第五次访问 1需要淘汰一个看未来序列 0、8、2、7、4、1、5、7当前块内 4、3、8、2 中3 未来不再出现淘汰 3缺页 5 次。第六次访问 0块内 4、8、2、1未来 8、2、7、4、1、5、7 中 4 和 1 还会出现8 和 2 也会出现但 4 最晚第 10 位淘汰 4缺页 6 次。第七次访问 8命中。第八次访问 2命中。第九次访问 7块内 8、2、1、0未来 4、1、5、7 中 0 不再出现淘汰 0缺页 7 次。第十次访问 4块内 8、2、1、7未来 1、5、7 中 8 和 2 不再出现淘汰 8缺页 8 次。第十一次访问 1命中。第十二次访问 5块内 2、1、7、4未来 7 还会出现2、4 不再出现淘汰 2缺页 9 次。第十三次访问 7命中。OPT 缺页 9 次缺页率 9/13 ≈ 69.2%。LRU最近最久未使用淘汰最长时间没被访问的页。前四次同样缺页 4 次块内 4、3、8、2。第五次访问 1最久未用的是 4淘汰 4缺页 5 次块内 3、8、2、1。第六次访问 0最久未用是 3淘汰 3缺页 6 次块内 8、2、1、0。第七次访问 8命中8 变最近使用。第八次访问 2命中。第九次访问 7最久未用是 0淘汰 0缺页 7 次块内 8、2、1、7。第十次访问 4最久未用是 8淘汰 8缺页 8 次块内 2、1、7、4。第十一次访问 1命中。第十二次访问 5最久未用是 2淘汰 2缺页 9 次块内 1、7、4、5。第十三次访问 7命中。LRU 缺页 9 次缺页率 9/13 ≈ 69.2%。这道题里 OPT 和 LRU 结果相同但过程不同考试时过程分往往比结果分重。3.3 用 Python 复现两种算法手算容易错写个脚本对拍最稳。def opt(pages, frames): mem, faults [], 0 for i, p in enumerate(pages): if p in mem: continue faults 1 if len(mem) frames: mem.append(p) else: # 找未来最晚出现的页淘汰 future pages[i1:] victim, farthest None, -1 for m in mem: idx future.index(m) if m in future else float(inf) if idx farthest: farthest, victim idx, m mem.remove(victim) mem.append(p) return faults def lru(pages, frames): mem, faults [], 0 for p in pages: if p in mem: mem.remove(p) # 命中则移到最近使用端 mem.append(p) continue faults 1 if len(mem) frames: mem.append(p) else: mem.pop(0) # 淘汰最久未使用 mem.append(p) return faults pages [4,3,8,2,1,0,8,2,7,4,1,5,7] print(OPT:, opt(pages, 4), LRU:, lru(pages, 4))逻辑说明OPT 在缺页时扫描未来序列用float(inf)表示「未来不再出现」选下标最大的淘汰。LRU 用列表模拟栈命中时把页移到末尾缺页且满时弹出头部。参数说明frames是分配的物理块数改成 3 或 5 可以观察缺页率变化pages换成实际 trace 就能评估真实负载。注意 OPT 是理论最优实际系统无法预知未来LRU 是常用近似但链表开销大工程上常用 Clock 算法替代。注意缺页率 缺页次数 / 总访问次数分母是访问次数不是页数。题目里 13 次访问别写成 13 个不同页。4. 文件物理结构对比与覆盖交换的工程取舍4.1 连续、串联、索引、文件映照的横向对比文件系统指文件命名、存储和组织的总体结构是与管理文件有关的软件和数据集合。物理结构决定文件在磁盘上怎么放直接影响查找速度和空间开销。结构查找时间空间开销适用设备存取方式连续文件最快无额外开销磁盘、磁带顺序 随机串联文件最慢每块存链接字仅磁盘仅顺序索引文件次之每文件一张索引表仅磁盘顺序 随机文件映照次之需文件映照表仅磁盘顺序 随机连续文件把逻辑上联系的文件信息依次存放到连续的物理块中随机访问只需基址加偏移所以最快但文件增长困难容易产生外部碎片。串联文件每块带指针天然支持动态增长但只能顺着链走随机访问要遍历。索引文件为每个文件建索引表兼顾随机访问和动态增长代价是索引表本身占空间大文件索引表可能多级。文件映照用一张全局映照表记录块归属适合大磁盘管理。选型时我一般这样判断日志类顺序写、很少随机读的场景串联或连续都行数据库这类随机读写频繁的索引结构更合适嵌入式小文件系统为了省空间可能直接用连续分配加位图。4.2 覆盖与交换的区别及使用场景覆盖是指同一主存区可以被不同的程序段重复使用。一个作业由若干功能独立的程序段组成一次运行只用到其中几段让不会同时执行的程序段共用同一主存区。交换是系统根据需要把主存中暂时不运行的作业部分或全部移到外存把外存中的作业移到主存并投入运行。区别有三点覆盖要求程序员把程序划分成程序段并规定执行和覆盖顺序操作系统按程序员提供的结构完成覆盖主要在同一个作业或进程内进行交换主要是在进程或作业之间进行由操作系统自动完成程序员不感知。覆盖只能覆盖那些与覆盖程序段无关的程序段交换没有这个限制。工程上覆盖是早期内存紧张时的手工优化手段现在基本被虚拟内存取代交换仍然存在比如 Linux 的 swap 分区但现代系统更倾向于用页面置换而不是整进程交换因为整进程换出换入开销太大。5. 把 PDF 里的知识点变成可验证的实验从缺页率到同步正确性5.1 用 trace 文件验证置换算法光算一道题不够把算法放到真实访问序列上跑才有感觉。Linux 下可以用perf或valgrind抓内存访问 trace也可以自己造。下面这段脚本生成随机 trace 并对比 OPT、LRU、FIFO 的缺页率观察不同块数下的差异。import random def fifo(pages, frames): mem, faults [], 0 for p in pages: if p in mem: continue faults 1 if len(mem) frames: mem.pop(0) mem.append(p) return faults random.seed(42) trace [random.randint(0, 9) for _ in range(1000)] for f in [3, 4, 5, 8]: print(fframes{f} OPT{opt(trace, f)} LRU{lru(trace, f)} FIFO{fifo(trace, f)})逻辑说明random.seed(42)保证可复现trace模拟 0 到 9 号页的访问序列。参数说明frames从 3 到 8 递增能直观看到块数增加时缺页率下降但边际收益递减。OPT 始终最低LRU 通常接近 OPTFIFO 可能出现 Belady 异常块数增加缺页反而增多这也是为什么实际系统不用 FIFO。5.2 同步设计的验证思路P、V 操作写完后怎么验证最直接的办法是加日志记录每个进程的进入和退出顺序检查是否满足前驱约束。比如在 A、B、C、D 的临界区前后打印时间戳跑多次看 D 是否总在 A 和 B 之后。更严格的做法是用模型检测工具但对课程设计来说日志加断言就够了。// 在 D 的临界区入口加断言 assert(A_done 1 B_done 1);如果断言偶尔失败说明信号量初值或 P、V 位置写错了。常见错误是把 V 写在临界区外面导致提前释放或者把 P 写在临界区里面导致死锁。5.3 复习与工程之间的桥这份 PDF 的价值在于把定义、对比、计算题收在一处适合当底稿。但真正让知识点立住的是动手把缺页率算一遍、把 P、V 写一遍、把文件结构画一遍。期末复习时按「概念 → 计算 → 代码」三层过复试被问到「LRU 和 Clock 的区别」时能答出链表开销和二次机会位工作里遇到内存抖动时能想到缺页率和置换算法这份资料才算用透了。本文还有配套的精品资源点击获取 操作系统核心知识点：进程同步、页面置换与文件结构实战解析
简介这份PDF文档面向计算机专业学生与操作系统课程备考者系统梳理了操作系统核心概念与典型考点适合用于期末复习、考研巩固或面试前快速回顾。内容围绕进程与线程、进程上下文、动态分页管理、文件系统、连续文件、并发执行特性、作业与程序关系、存储管理方式、不同文件物理结构优缺点、覆盖与交换的区别等展开并配有P、V操作信号量设计题及OPT、LRU缺页次数与缺页率计算示例便于读者对照理解算法细节与解题思路。资源包共1个PDF文件约110KB篇幅紧凑、知识点集中适合打印或移动端随时查阅。目前已有775人学习下载可作为操作系统知识框架的速查笔记与习题演练参考。1. 从一份操作系统 PDF 说起进程、页面置换与文件结构到底怎么串起来很多人复习操作系统时把进程、线程、分页、文件物理结构当成四个互不相干的背诵模块考完就忘。但真正在排查一台 Linux 服务器内存抖动、或者给嵌入式设备裁剪内核时你会发现这些概念是同一套资源管理逻辑的不同切面进程是资源分配的单位分页是内存的分配粒度文件系统是外存的分配粒度而 P、V 操作是它们之间同步的粘合剂。这份《操作系统.pdf》把定义、对比、计算题都收在了一起适合两类人一是准备操作系统期末复习、考研复试或课程设计的学生需要一份能对着做题的知识底稿二是工作几年后想回头把「进程上下文」「缺页率」「连续文件 vs 索引文件」这些词重新落到实处的工程师。下面不按教材顺序念而是按「概念立住 → 算法能算 → 代码能跑 → 排错有据」的路径拆一遍。2. 进程上下文与 P、V 操作从定义到可运行的同步设计2.1 进程、线程与上下文的边界进程是并发程序的一次执行过程是具有一定独立功能的程序关于某个数据集合的一次运行活动。线程表示程序中可以并发执行的程序段是可以执行代码的不可拆散的单位。这两句话背下来容易用起来容易混。关键区别在于资源归属进程持有地址空间、打开的文件表、信号处理等资源线程只持有栈、寄存器和程序计数器同一进程内的线程共享地址空间。进程上下文是理解切换开销的核心。它由三部分组成用户级上下文用户地址空间、用户栈、系统级上下文PCB、内核栈、页表等、寄存器上下文PC、SP、通用寄存器。一次进程切换本质是保存旧进程的寄存器上下文、切换系统级上下文里的页表基址、再恢复新进程的寄存器上下文。线程切换之所以快是因为用户级上下文和大部分系统级上下文不用动只换寄存器和栈指针。作业、任务、进程、程序、线程之间没有唯一对应关系。程序是进程的基本组成部分但一个程序可以对应多个进程一个进程也可以由多个程序构成。进程是作业的执行状态一个作业可以对应多个进程。线程包含在进程之中一个进程可以由一个或多个线程构成。把这层关系理清后面做同步设计时就不会把「进程间」和「线程间」的共享范围搞错。2.2 用信号量表达前驱关系A→D、C→B、B→D题目给了四个进程 A、B、C、D约束是 A 在 D 之前、C 在 B 之前、B 在 D 之前。这类前驱图问题标准解法是给每条有向边配一个信号量初值为 0前驱进程执行完做 V后继进程开始前做 P。// 每条前驱边一个信号量初值 0 semaphore S_AD 0; // A 完成 - D 可开始 semaphore S_CB 0; // C 完成 - B 可开始 semaphore S_BD 0; // B 完成 - D 可开始 // 进程 A void A() { // 执行 A 的临界工作 V(S_AD); // 通知 DA 已完成 } // 进程 C void C() { // 执行 C 的临界工作 V(S_CB); // 通知 BC 已完成 } // 进程 B void B() { P(S_CB); // 等待 C 完成 // 执行 B 的临界工作 V(S_BD); // 通知 DB 已完成 } // 进程 D void D() { P(S_AD); // 等待 A 完成 P(S_BD); // 等待 B 完成 // 执行 D 的临界工作 }逻辑说明P 操作是申请资源信号量减一小于零则阻塞V 操作是释放资源信号量加一唤醒等待者。每条边对应一个信号量初值 0 保证后继进程一开始必然阻塞直到前驱 V 操作把它唤醒。D 需要同时满足 A 和 B 两个前驱所以连续两个 P顺序无所谓但要注意如果 A、B 的完成顺序不确定两个 P 都写在前面对 D 无影响。参数说明信号量初值必须为 0写成 1 就变成「允许一个进程先跑」前驱约束失效。如果约束改成「A 和 B 都完成后 D 才能开始」那还是两个信号量两个 P但 A、B 之间没有顺序。如果约束是「A 或 B 任一完成 D 就能开始」那要合并成一个信号量A、B 各 V 一次D P 一次初值 0但语义变成计数信号量。提示考试里常把「前驱」和「互斥」混在一起考。互斥信号量初值是 1前驱信号量初值是 0这是最快的区分点。2.3 并发执行的间断性与失去封闭性并发执行不是「同时跑完」而是「执行—暂停—再执行」。程序前一个动作结束不意味着后一个动作开始执行失去连续性呈现间断性。同时多个程序共享资源资源数量有限导致竞争每个程序的执行都受其他程序影响结果失去封闭性。这两条性质直接解释了为什么共享变量不加保护会出错也是后面页面置换、文件并发访问要加锁的根因。3. 动态分页与缺页率计算OPT 和 LRU 手算 代码验证3.1 存储管理方式的选型逻辑存储管理方式大致分三类分区管理单一连续分区、多重固定分区、多重动态分区、分页管理静态分页、动态分页、分段与段页式管理分段、段页式。分区管理实现简单但碎片严重分页管理把逻辑地址切成固定大小的页物理内存切成同样大小的块消除了外部碎片但最后一页可能有内部碎片分段按逻辑意义划分便于共享和保护但会产生外部碎片段页式是两者结合先分段再分页。动态分页管理的核心是「按需调页」根据作业使用情况把需要运行的页面放内存暂时不用的放辅助存储器需要时再调入。这引出了缺页中断和页面置换算法。静态分页一次性把作业全部装入不会缺页但内存利用率低。动态分页的代价就是缺页处理开销所以置换算法的好坏直接决定系统性能。3.2 OPT 与 LRU 手算过程题目某进程分得 4 个内存块页面访问顺序为 4、3、8、2、1、0、8、2、7、4、1、5、7分别用 OPT 和 LRU 求缺页次数和缺页率。先看 OPT最佳置换淘汰未来最长时间不被访问的页。4 个块前四次 4、3、8、2 全部缺页装入缺页 4 次。第五次访问 1需要淘汰一个看未来序列 0、8、2、7、4、1、5、7当前块内 4、3、8、2 中3 未来不再出现淘汰 3缺页 5 次。第六次访问 0块内 4、8、2、1未来 8、2、7、4、1、5、7 中 4 和 1 还会出现8 和 2 也会出现但 4 最晚第 10 位淘汰 4缺页 6 次。第七次访问 8命中。第八次访问 2命中。第九次访问 7块内 8、2、1、0未来 4、1、5、7 中 0 不再出现淘汰 0缺页 7 次。第十次访问 4块内 8、2、1、7未来 1、5、7 中 8 和 2 不再出现淘汰 8缺页 8 次。第十一次访问 1命中。第十二次访问 5块内 2、1、7、4未来 7 还会出现2、4 不再出现淘汰 2缺页 9 次。第十三次访问 7命中。OPT 缺页 9 次缺页率 9/13 ≈ 69.2%。LRU最近最久未使用淘汰最长时间没被访问的页。前四次同样缺页 4 次块内 4、3、8、2。第五次访问 1最久未用的是 4淘汰 4缺页 5 次块内 3、8、2、1。第六次访问 0最久未用是 3淘汰 3缺页 6 次块内 8、2、1、0。第七次访问 8命中8 变最近使用。第八次访问 2命中。第九次访问 7最久未用是 0淘汰 0缺页 7 次块内 8、2、1、7。第十次访问 4最久未用是 8淘汰 8缺页 8 次块内 2、1、7、4。第十一次访问 1命中。第十二次访问 5最久未用是 2淘汰 2缺页 9 次块内 1、7、4、5。第十三次访问 7命中。LRU 缺页 9 次缺页率 9/13 ≈ 69.2%。这道题里 OPT 和 LRU 结果相同但过程不同考试时过程分往往比结果分重。3.3 用 Python 复现两种算法手算容易错写个脚本对拍最稳。def opt(pages, frames): mem, faults [], 0 for i, p in enumerate(pages): if p in mem: continue faults 1 if len(mem) frames: mem.append(p) else: # 找未来最晚出现的页淘汰 future pages[i1:] victim, farthest None, -1 for m in mem: idx future.index(m) if m in future else float(inf) if idx farthest: farthest, victim idx, m mem.remove(victim) mem.append(p) return faults def lru(pages, frames): mem, faults [], 0 for p in pages: if p in mem: mem.remove(p) # 命中则移到最近使用端 mem.append(p) continue faults 1 if len(mem) frames: mem.append(p) else: mem.pop(0) # 淘汰最久未使用 mem.append(p) return faults pages [4,3,8,2,1,0,8,2,7,4,1,5,7] print(OPT:, opt(pages, 4), LRU:, lru(pages, 4))逻辑说明OPT 在缺页时扫描未来序列用float(inf)表示「未来不再出现」选下标最大的淘汰。LRU 用列表模拟栈命中时把页移到末尾缺页且满时弹出头部。参数说明frames是分配的物理块数改成 3 或 5 可以观察缺页率变化pages换成实际 trace 就能评估真实负载。注意 OPT 是理论最优实际系统无法预知未来LRU 是常用近似但链表开销大工程上常用 Clock 算法替代。注意缺页率 缺页次数 / 总访问次数分母是访问次数不是页数。题目里 13 次访问别写成 13 个不同页。4. 文件物理结构对比与覆盖交换的工程取舍4.1 连续、串联、索引、文件映照的横向对比文件系统指文件命名、存储和组织的总体结构是与管理文件有关的软件和数据集合。物理结构决定文件在磁盘上怎么放直接影响查找速度和空间开销。结构查找时间空间开销适用设备存取方式连续文件最快无额外开销磁盘、磁带顺序 随机串联文件最慢每块存链接字仅磁盘仅顺序索引文件次之每文件一张索引表仅磁盘顺序 随机文件映照次之需文件映照表仅磁盘顺序 随机连续文件把逻辑上联系的文件信息依次存放到连续的物理块中随机访问只需基址加偏移所以最快但文件增长困难容易产生外部碎片。串联文件每块带指针天然支持动态增长但只能顺着链走随机访问要遍历。索引文件为每个文件建索引表兼顾随机访问和动态增长代价是索引表本身占空间大文件索引表可能多级。文件映照用一张全局映照表记录块归属适合大磁盘管理。选型时我一般这样判断日志类顺序写、很少随机读的场景串联或连续都行数据库这类随机读写频繁的索引结构更合适嵌入式小文件系统为了省空间可能直接用连续分配加位图。4.2 覆盖与交换的区别及使用场景覆盖是指同一主存区可以被不同的程序段重复使用。一个作业由若干功能独立的程序段组成一次运行只用到其中几段让不会同时执行的程序段共用同一主存区。交换是系统根据需要把主存中暂时不运行的作业部分或全部移到外存把外存中的作业移到主存并投入运行。区别有三点覆盖要求程序员把程序划分成程序段并规定执行和覆盖顺序操作系统按程序员提供的结构完成覆盖主要在同一个作业或进程内进行交换主要是在进程或作业之间进行由操作系统自动完成程序员不感知。覆盖只能覆盖那些与覆盖程序段无关的程序段交换没有这个限制。工程上覆盖是早期内存紧张时的手工优化手段现在基本被虚拟内存取代交换仍然存在比如 Linux 的 swap 分区但现代系统更倾向于用页面置换而不是整进程交换因为整进程换出换入开销太大。5. 把 PDF 里的知识点变成可验证的实验从缺页率到同步正确性5.1 用 trace 文件验证置换算法光算一道题不够把算法放到真实访问序列上跑才有感觉。Linux 下可以用perf或valgrind抓内存访问 trace也可以自己造。下面这段脚本生成随机 trace 并对比 OPT、LRU、FIFO 的缺页率观察不同块数下的差异。import random def fifo(pages, frames): mem, faults [], 0 for p in pages: if p in mem: continue faults 1 if len(mem) frames: mem.pop(0) mem.append(p) return faults random.seed(42) trace [random.randint(0, 9) for _ in range(1000)] for f in [3, 4, 5, 8]: print(fframes{f} OPT{opt(trace, f)} LRU{lru(trace, f)} FIFO{fifo(trace, f)})逻辑说明random.seed(42)保证可复现trace模拟 0 到 9 号页的访问序列。参数说明frames从 3 到 8 递增能直观看到块数增加时缺页率下降但边际收益递减。OPT 始终最低LRU 通常接近 OPTFIFO 可能出现 Belady 异常块数增加缺页反而增多这也是为什么实际系统不用 FIFO。5.2 同步设计的验证思路P、V 操作写完后怎么验证最直接的办法是加日志记录每个进程的进入和退出顺序检查是否满足前驱约束。比如在 A、B、C、D 的临界区前后打印时间戳跑多次看 D 是否总在 A 和 B 之后。更严格的做法是用模型检测工具但对课程设计来说日志加断言就够了。// 在 D 的临界区入口加断言 assert(A_done 1 B_done 1);如果断言偶尔失败说明信号量初值或 P、V 位置写错了。常见错误是把 V 写在临界区外面导致提前释放或者把 P 写在临界区里面导致死锁。5.3 复习与工程之间的桥这份 PDF 的价值在于把定义、对比、计算题收在一处适合当底稿。但真正让知识点立住的是动手把缺页率算一遍、把 P、V 写一遍、把文件结构画一遍。期末复习时按「概念 → 计算 → 代码」三层过复试被问到「LRU 和 Clock 的区别」时能答出链表开销和二次机会位工作里遇到内存抖动时能想到缺页率和置换算法这份资料才算用透了。本文还有配套的精品资源点击获取