操作系统笔记（王道考研） 第三章：内存管理实战——从原理到真题解析

1. 内存管理基础概念与考研核心考点内存管理是操作系统最核心的功能之一也是考研408的必考章节。我当年复习时发现理解内存管理的本质需要抓住三个关键点地址转换、空间分配和虚拟扩展。先来看一个实际案例当你在电脑上同时打开微信和Chrome浏览器时操作系统如何确保它们的内存互不干扰这就是内存管理要解决的首要问题。地址空间的概念尤为重要。每个进程看到的都是从0开始的连续地址空间逻辑地址而实际物理内存是分散的。考研真题中常考察逻辑地址到物理地址的转换过程比如2022年的一道大题就要求计算段页式存储的地址转换步骤。这里有个易错点很多同学会混淆页内偏移量和页表项长度其实页内偏移量由页面大小决定比如4KB页面对应12位偏移量而页表项长度取决于物理块号的位数。装入的三种方式在选择题中频繁出现绝对装入早期单道程序可重定位装入静态重定位需连续空间动态运行时装入动态重定位支持进程移动特别要注意动态重定位寄存器的作用它存放进程的起始物理地址CPU执行指令时会自动将逻辑地址与之相加。这个机制在解决紧凑技术相关题目时非常关键——当内存碎片过多时操作系统可以通过移动进程并更新重定位寄存器来合并空闲区域。2. 连续分配管理方式与动态分区算法连续分配意味着进程必须占用一片连续的内存空间这也是产生外部碎片的根源。我在第一次做真题时就栽在了一道关于动态分区分配算法的比较题上。这类题目往往给出一组内存请求序列要求模拟四种算法的分配过程首次适应FF从低地址开始找第一个可用分区真题技巧空闲分区按地址递增排列特点保留高地址大空间但低地址容易产生碎片最佳适应BF选择能满足要求的最小分区真题技巧空闲分区按容量递增排列陷阱会留下大量难以利用的小碎片最坏适应WF选择最大的可用分区真题技巧空闲分区按容量递减排列典型错误大进程到来时可能无分区可用邻近适应NF从上一次查找位置继续搜索解题关键循环链表结构注意点性能可能劣化为首次适应通过对比2021和2023年的真题可以发现首次适应算法因综合性能较好成为高频考点。一个记忆技巧是FF保大块BF省空间WF耗大区NF减开销。在解答这类题目时建议画出内存状态变化图标注每次分配后的分区变化。3. 分页存储管理与地址变换实战分页存储解决了连续分配的外部碎片问题但带来了页表存储的新挑战。这部分几乎每年都会考地址变换的计算题我总结了一个万能解题模板提取已知条件逻辑地址位数如32位页面大小如4KB页表项大小如4B计算关键参数# 以逻辑地址0x12345678为例 page_size 4 * 1024 # 4KB page_num_bits 20 # 32位地址-12位页内偏移 offset_mask 0xFFF # 页内偏移掩码 page_num 0x12345678 12 # 页号 offset 0x12345678 offset_mask # 页内偏移处理多级页表二级页表时将页号拆分为页目录索引和页表索引2020年真题就考察过二级页表的空间计算关键是要明白只有一级页表必须常驻内存**快表TLB**相关题目要注意快表是相联存储器并行查询所有表项命中时只需1次访存取数据未命中需要N1次N级页表典型真题会给出快表命中率和访问时间要求计算有效访存时间4. 分段与段页式存储的对比分析分段管理按照程序逻辑划分代码段、数据段等在考研真题中常与分页管理对比考察。我整理了一个对比表格特性分页管理分段管理段页式管理划分单位固定大小的页逻辑模块的段先分段再分页地址维度一维虚拟地址二维段号段内偏移二维段号段内地址共享实现困难需相同页号容易共享整个段中等共享段内页典型应用通用操作系统早期系统现代操作系统段页式管理是考研大题的重点地址转换过程分三步通过段表找到页表起始地址通过页表找到物理块号组合物理块号和页内偏移2019年真题就要求画出段页式地址变换的完整流程图解题时要特别注意检查段号和页号是否越界分别对比段表长度和页表长度。5. 虚拟内存与页面置换算法精解虚拟内存技术允许进程部分装入就能运行核心是页面置换算法。我在实验室做项目时实测过不同算法的缺页率可能相差数倍。考研常要求模拟算法执行过程这里以访问序列2,3,2,1,5,2,4,5,3,2,5,2为例OPT算法理想算法淘汰未来最晚使用的页面实际操作中无法实现但可作为基准2023年选择题考察了OPT的缺页次数计算FIFO算法维护一个队列淘汰最早进入的页面会出现Belady异常分配物理块增多但缺页率上升解题技巧画分配示意图标注页面进入时间LRU算法淘汰最久未使用的页面实现成本高需要硬件支持真题常考栈实现方式将访问的页面移到栈顶淘汰栈底页面CLOCK算法NRU环形链表结构使用访问位标记第二轮扫描时才会淘汰未被访问的页面解题步骤初始所有页面访问位0访问页面时置访问位1淘汰时扫描环形链表将遇到的1改为0跳过直到找到0特别要注意改进型CLOCK算法增加了修改位优先淘汰未修改页面减少I/O操作。这类题目在2021和2022年连续出现需要同时考虑访问位和修改位的组合状态。6. 考研真题高频题型与解题技巧根据近五年真题统计内存管理相关题目占比约25%。我总结了三大必考题型题型一地址计算类分页系统给定逻辑地址、页面大小、页表内容求物理地址解题步骤计算页号和页内偏移查页表得物理块号组合物理地址易错点注意单位转换如KB与B题型二置换算法模拟给出访问序列和物理块数要求画出页面分配状态图计算缺页次数和置换次数注意区分缺页和置换初始加载不算置换题型三综合应用题典型场景分析某算法的优缺点答题模板陈述算法原理分析时间/空间复杂度对比其他算法给出适用场景最后分享一个我总结的缺页中断处理流程适用于80%的大题检查页表项的有效位若无效则触发缺页中断操作系统选择牺牲页若被修改则写回磁盘调入新页面并更新页表重新执行引发中断的指令在备考冲刺阶段建议重点练习2018-2023年的真题特别注意每年题型的变化趋势。比如近年来增加了对工作集模型和抖动现象的考察这反映出命题组对性能优化方面的重视。