操作系统课后习题答案：进程、内存与页面置换考点精析

简介《计算机操作系统第四版》汤小丹版配套课后习题答案解析文档主要面向计算机专业本科学生、考研备考生以及需要系统梳理操作系统理论的开发者解决课后习题无标准答案、关键概念易混淆等问题。内容覆盖操作系统定义与功能、进程管理进程控制、同步与通信、存储管理连续分配、分页与分段、页面置换算法OPT、FIFO、LRU、文件逻辑结构与物理结构、设备分类与分配算法、安全性与保护机制等核心模块既适合逐章自测也适合考前集中回顾。资源打包为一个doc格式文档总大小约7.06MB文字解析形式便于检索、批注和打印。这份配套资源已有792人学习使用属于经典教材的高频辅助资料。文档在给出课后习题参考答案的同时对各知识点的概念要点和算法原理做了简明阐释能帮助读者把零散知识点串联成完整体系加深对操作系统运行机制的理解提升复习和备考效率。1. 操作系统课后习题答案一份能帮你把黑匣子拆开的知识清单操作系统这门课难啃不是因为知识点多而是因为很多概念看不见摸不着。进程切换、内存置换、设备驱动全是黑匣子。这份《计算机操作系统第四版》课后习题答案文档恰好把这些黑匣子的开关顺序给你标了出来。它不只是一份对答案的资源更像一套每章核心题型的解题模板能让你清楚知道自己卡在哪一步。期末突击、考研复习、自学补基础三类人都能从中找到自己想要的东西。期末突击需要快速看到“标准表述”考研复习需要把计算题过程反复演练自学的人需要一份可对照的详解而不是答案后面写个“略”。这份文档把课后题按章节拆开每个题都给出推导步骤和关键结论正好补上官方习题集只有题目没有解法的缺口。使用前先有个心理准备答案文档是辅助不是替你把知识装进脑子。照着抄一遍最多应付一次作业想真正应对考试还得按后文讲的流程自己推演。下面从进程管理开始逐章讲这套答案的用法和边界。2. 进程与并发从状态转换到PV操作的解题主线2.1 进程状态转换图会画边界条件才算真懂进程这章课后习题答案里出现频率最高的题一定是状态转换图。经典三态模型只有三个方块就绪态、运行态、阻塞态。看着简单做题容易在边界条件上翻车。比如阻塞态能不能直接到运行态运行态能不能直接变阻塞态这些问题一旦画错整道题分全丢。状态转换的触发条件可以归纳成下面这张表。注意运行态不能直接跳到阻塞态以外的状态阻塞态也不能直接跑到运行态必须先回到就绪态这是课后题反复设置的考点。转换路径触发事件常见错误就绪→运行进程被调度程序选中忘写“CPU空闲”的前提运行→就绪时间片到期或更高优先级抢占把抢占写成主动放弃运行→阻塞等待I/O、等待事件漏掉“等待信号量”的情况阻塞→就绪I/O完成、事件发生直接画阻塞→运行的箭头看答案文档时不要只对着最终图看。把图盖住自己凭记忆画一遍再对照检查。重点查三点有没有阻塞到运行的直达箭头有没有就绪态直接变成阻塞态的箭头以及每个箭头旁边是否标注了触发条件。这三点全对状态转换部分基本过关。还有一个容易忽略的细节五态模型比三态模型多出“新建态”和“终止态”。有些题目会问“新建态和就绪态的区别”答案里标准说法是“新建态是进程创建过程中尚未被调度前的状态资源已经分配但还没进入就绪队列”。如果你只背三态遇到这种题就会措手不及。所以复习时把三态和五态两套图都画一遍再对照答案看题目考察的是哪一版。另外进程控制块PCB的概念也常出现在简答题中。PCB是进程存在的唯一标志里面保存进程状态、程序计数器、寄存器、调度信息和内存指针。课后答案里如果出现“为什么说PCB是进程存在的唯一标志”不要只写“因为PCB包含进程信息”要展开说“进程创建时分配PCB进程终止时回收PCB没有PCB就没有进程实体”。2.2 信号量与PV操作初值、顺序和阻塞队列的解题套路信号量是进程管理中真正拉开差距的考点。很多同学PV操作能看懂一让独立解题就卡住原因是没建立套路。课后习题答案里这类题的标准写法分四步先设信号量再写P操作再写临界区最后写V操作。缺一步后面的死锁分析就没法落笔。信号量的初值决定了资源的初始状态。互斥信号量初值通常为1表示同一时刻只允许一个进程进入临界区同步信号量的初值取决于资源数量比如空闲缓冲区数为n就设为n。答案文档里如果出现初值设成0那通常是“必须等事件发生后才能继续”的同步关系比如“缓冲区为空才能写数据”这类题初值就是0。理解初值比背题更重要。典型问题信号量设置解题关键生产者-消费者mutex1, emptyn, full0P顺序必须是空/满先与mutex读者-写者readcount0, mutex1, wmutex1reader要先给readcount加锁哲学家进餐chopstick[0..4]1, mutex1用互斥锁包住拿两把叉子的区间做这类题时答案文档的价值在于“它把阻塞队列的变化也列出来了”。你不仅要看P和V在哪一行执行还要想清楚当信号量值变负时哪个进程被挂到阻塞队列V操作后是唤醒一个进程还是两个。如果答案里没列这一步自己补上。补的时候用一个小示例两个进程对同一个mutex做P操作第一个进入临界区第二个阻塞在队列中第一个V之后第二个立刻进入就绪态。这样推一遍信号量就不再是玄学。信号量题还有一个高频失分点P顺序。生产者消费者问题中如果先P(mutex)再P(empty)当缓冲区满时生产者占住mutex后阻塞在P(empty)消费者想P(mutex)却拿不到直接死锁。课后答案里这类题一定会强调顺序但你要自己理解为什么顺序错了会死锁而不是只会背“先资源后互斥”。2.3 进程通信管道、消息队列、共享内存的选择逻辑进程间通信IPC也常出现在课后题里。有些题目直接问“以下通信方式中哪个能传递大数据”有些则给一段描述让你选机制。答案文档一般会给出管道、消息队列、共享内存和信号量的横向对比。管道是半双工的数据按字节流从一个进程流向另一个进程容量有限写满会阻塞。消息队列以消息为单位传递可以按类型接收绕过了管道需要双方同时存在的限制。共享内存是所有方式中效率最高的因为它不经过内核拷贝但要自己加信号量做同步。信号量本身不是用来传数据的它是做互斥和同步的工具。这个区别很多简答题会考。答题时别只写“管道是半双工”这种一句话要结合场景如果要传输结构化数据消息队列更合适如果两个进程在同一台机器上且对性能敏感共享内存更合适。答案文档里如果只有术语解释那就自己补一句“何时选用”的说明考试时这是加分项。进程通信的课后题还喜欢考“共享内存为什么效率高”。标准答案是“共享内存不需要数据在用户态和内核态之间拷贝双方直接访问同一块物理内存”。如果再深入一点可以说“但这也带来了同步问题必须配合信号量使用”。这种两句话式的答案结构比只写一句“效率高”要完整得多。3. 内存与文件把置换算法和目录结构变成得分点3.1 连续分配与分页分段内存碎片问题怎么答存储管理这一章课后习题答案里第一类常考题是“各种内存分配方式的特点”。很多人背了分页分段的概念却分不清内部碎片和外部碎片哪个对应谁。连续分配产生外部碎片因为内存被切割成许多小块分页分配产生内部碎片因为最后一页通常填不满。分段分配的地址空间是二维的有助于共享和保护但会产生外部碎片。段页式结合两者既有分页的物理等分又有分段的逻辑清晰。答题时如果题目给了一组作业序列让你计算哪种分配算法能成功装入步骤要完整。第一步把内存分区按地址排序第二步按算法规则挑分区第三步分配后如果剩余空间大于某个阈值拆成新分区第四步合并相邻空闲区。首次适应从低地址开始找最佳适应找最小能满足的空闲区最差适应从最大空闲区开始。这三句话看着简单做题时最容易把“最佳适应”和“最差适应”搞反。分配算法扫描方式空闲区选择规则碎片倾向首次适应从低地址到高地址第一个足够大的分区低地址碎片多最佳适应按空闲区大小不小于要求的最小分区大量微小碎片最差适应按空闲区大小最大分区整体利用率下降课后答案中涉及“碎片计算”的题要关注合并动作。比如某作业释放后它前后的空闲区是否能合并成一个更大的区。答案文档如果直接给出合并结果你也要自己把合并过程写出来。公式很简单新空闲区大小 释放区大小 前邻空闲区大小 后邻空闲区大小但必须确认前后邻确实存在且空闲。这个判断漏掉合并结果就会算错。页式和段式还有一个常考对比点分页地址空间是一维的程序员只需给出一个逻辑地址分段地址空间是二维的程序员要给出段号和段内偏移。课后答案里如果问到“分页和分段的主要区别”可以从地址空间维数、碎片类型、共享保护机制三个角度展开。每列一个点都比笼统说“分页按固定大小分分段按逻辑模块分”更拿分。3.2 页面置换算法OPT、FIFO、LRU的计算与失页判断页面置换算法是存储管理中计算量最大的考点也是课后习题答案文档里篇幅最多的部分。做这类题要掌握统一流程先画一张表列是访问序列行是内存页框每列填当前页框中的页面再标“缺页”或“命中”。做完后统计缺页次数缺页次数除以总访问次数就是缺页率。刚开始装入页面时页框为空前几次访问必然缺页这个“冷启动缺页”必须算进缺页次数。很多人最后结果少了一次就是因为没有把前几次算进去。 提示冷启动缺页也要计入缺页次数这是计算缺页率时最常见的漏项。 答案文档里这部分一般标注得很清楚但建议你自己独立算一遍再用答案核对。三种算法的核心差异要背准。OPT是往后看置换以后不再使用的页FIFO是看进入内存的时间最早进入的先被换出LRU是看过去时间最近最久没用的先被换出。计算时FIFO用队列LRU用最近访问记录。有一个常见现象LRU的缺页次数不一定比FIFO少尤其是局部性不强的访问序列。如果发现你算出的LRU缺页数比FIFO高可能不是算错了也可能是访问序列设计造成的。不要看到数值就以为自己错了要检查每一步是否按定义执行。算法判定依据能否实现常见异常OPT向后看最远不再使用不能理论参照无FIFO最早进入内存能Belady异常LRU最近最久未使用能需硬件支持无课后答案里还有一种混合题比如“给定页框数3访问序列为7,0,1,2,0,3,0,4,2,3,0,3,2,1,2,0,1,7,0,1分别用OPT、FIFO、LRU计算缺页次数”。这种题最好按算法各做一遍最后放一起比较。你会发现OPT的缺页数通常最少LRU接近OPTFIFO可能很差。答案文档的好处是在每一步都标明了替换页和移入页你可以对照自己画错的列快速定位。做这类题还要注意“页框数变化”的影响。FIFO可能出现页框数增加但缺页数反而增加的现象也就是Belady异常OPT和LRU不会。课后答案如果让你解释Belady异常标准说法是“FIFO置换时被换出的页可能是接下来短时间内还要频繁访问的页增加页框反而改变了淘汰选择”。能用自己的话复述这个逻辑说明真的理解了。3.3 文件逻辑结构、物理结构与目录检索从答案看规范表述文件管理部分的课后题答案的价值不在于计算而在于规范术语。逻辑结构是指用户视角的文件组织方式例如顺序文件、索引文件、索引顺序文件。物理结构是指文件在磁盘上的存储形式例如连续文件、链接文件、索引文件。很多简答题让写“逻辑结构与物理结构的区别”标准答案其实就是一句逻辑结构解决“怎么组织”物理结构解决“怎么存放”。目录检索的题目通常给一棵目录树让你写出某文件的绝对路径和相对路径。做这种题要看清起点。绝对路径从根目录出发用“/”连接各级目录名相对路径从当前目录出发不需要写当前目录。答案文档里如果某个路径少写了一层你要能发现是少了“当前目录”这一层而不是真漏了。如果计算题涉及索引节点单位换算是最大的坑。磁盘块大小、地址项长度、索引表项数经常混在一起。比如一个磁盘块大小为1KB地址项占4字节那么一个一级索引表可以存放256个地址项对应文件最大256KB。二级索引则是256×256×1KB。课后答案里这类题会给出完整的乘式你要把乘式里的每一项都写明含义尤其是“块号占4字节”这个前提。换成8字节后结果不同如果只会背算式换参数就废了。文件物理结构里连续文件支持顺序存取和随机存取但增删操作代价大链接文件解决了外部碎片问题但只能顺序存取索引文件既支持随机存取又便于动态分配。课后题如果让“比较三种物理结构的优缺点”不要只抄答案里的结论要把“链接文件为什么不能随机访问”的原因写出来每个物理块都要通过前一个块的指针找到要访问第n块必须从头遍历n次。这个推导过程才是得分点。4. 设备与安全I/O调度和保护机制的常考角度4.1 字符设备与块设备的区别设备类型判断先行设备管理在考试里占比不如进程和内存但课后习题答案里同样有标准术语。第一类常考题是“设备分类”。字符设备以字节为单位传输如键盘、鼠标不可寻址没有物理块的概念块设备以块为单位传输如磁盘、SSD可寻址常带缓冲区。答题时先判断设备类型再展开数据交换方式顺序反了容易丢分。设备类型数据单位是否可寻址典型设备字符设备字节否键盘、鼠标块设备块是磁盘、SSDI/O软件的层次结构也是常考简答。从下到上一般是设备硬件、设备驱动程序、设备无关软件、用户层I/O。习题答案里常让“说明设备驱动程序的作用”标准答案是“将上层抽象命令转化为对具体设备寄存器的操作”。别只写“驱动硬件”四个字要提到寄存器、状态检查和错误处理。还有一种问法是“为什么用户程序不能直接访问设备”。答案核心是安全性和统一性直接访问会让用户进程绕过权限检查可能导致非法操作同时不同设备细节差别很大必须由操作系统统一封装。课后答案里如果只给了安全性那你自己补上“统一接口”这一点简答题的完整性立刻不一样。4.2 设备分配与SPOOLing从答案看解题规范设备分配的题目通常给定作业对设备的需求让你按先来先服务或优先级算法分配。解题步骤分三步列出设备占用表按算法选择作业分配后更新设备控制表。如果设备忙作业进入等待队列。答案文档里这类题的规范写法和进程调度类似只是数据结构换成了设备分配表和设备控制表所以复习时可以把进程调度和设备分配的表格画在一起对比记忆。设备分配还要注意“单分配算法”和“多分配算法”的区别。单分配算法不考虑设备被占用后的替代方案多分配算法则允许作业通过通道连接多个控制器再由控制器连接多台设备。课后题如果问“死锁如何避免”设备分配通常会强调“分配后再申请会等待”这时候要联系进程管理里的死锁条件来答。答案文档里这两章经常互相呼应别当成孤立知识。SPOOLing是设备管理里最喜欢考的名词解释。它通过磁盘上的输入井和输出井把独占设备改造为共享设备。标准答题流程作业提交后先进入输入井数据由SPOOLing进程缓冲输出时先到输出井真正打印时机由假脱机管理进程调度。这句话里“假脱机”三个字很多人会漏答案文档如果没写你要自己补上。关于SPOOLing的收益答案文档里通常写“提高I/O速度”和“将独占设备变为共享设备”。这两个点要分开答。提高I/O速度是指数据先在缓冲区或磁盘上累积不是直接和慢速设备打交道变共享是指多个作业可以在输出井里排队打印机不再被一个作业独占。很多简答题只写了第二点第一点丢了很可惜。4.3 保护机制与安全威胁名词解释题要怎么答安全性和保护机制在课后题里通常以名词解释或简答出现。保护机制侧重“防止程序间互相干扰”比如内存地址隔离、CPU特权级、文件访问权限安全性侧重“防止外部恶意攻击”比如身份认证、访问控制、审计日志。答题时要把两者区分开不能混着写。一个常考的角度是“为什么说共享的资源需要特别的保护”。答案文档里会提到共享内存、共享文件是系统性能要求的产物但共享意味着多个主体可访问同一对象因此必须设置权限检查。这里建议补充一个例子两个用户同时打开同一个文件写操作如何互斥。答案里如果只给了抽象说明你自己加上这个例子的分析简答题的分数会明显不一样。I/O保护也常和安全机制放在一起考。比如“用户进程能否直接执行I/O指令”这道题答案是不能I/O指令属于特权指令用户进程需要通过系统调用请求操作系统代为执行。这是“操作系统作为硬件和用户之间的桥梁”的直接体现。答案文档里如果只是简单说“I/O指令由操作系统执行”你要追问一句“为什么”因为直接执行会绕过权限控制可能破坏设备状态或侵犯其他进程的数据。保护机制的题目还喜欢让“说明内存地址空间隔离的意义”。答案要点有三个防止一个进程越权读取或修改另一个进程的数据防止程序bug波及整个系统为多道程序并发提供基础保障。这三个点分别对应可靠性、安全性和并发性能写全的人不多。5. 避坑与排查用课后习题答案复习时最容易翻车的四个地方5.1 现象对着答案背一考试还是不会很多人拿到课后习题答案文档后的第一反应是“背答案”。背完某道题换个数字就懵。原因是答案只给了一道题的结论没把推导逻辑根植到脑子里。解决把答案当作“解题说明书”而不是“背诵稿”。每道题合上答案重新做一遍做完再对照。如果过程中需要偷看答案就标记为“未掌握”。一周后第二轮只做这些未掌握的题直到不看答案也能写出完整推导。这个方法看着笨实际是最有效的对抗遗忘的办法。5.2 现象跳过题干条件直接套答案模板课后题里有些条件是隐性的。比如“某文件系统磁盘块大小为1KB地址项长度为4字节”和“地址项长度为8字节”计算出来的最大文件大小完全不同。如果直接抄答案忽略了“4字节”这个参数下次遇到8字节必然算错。解决做题前把题干中的数字、单位、限定词单独列一行。列完之后检查页框数、访问序列、调度算法、块大小、信号量初值一个都不能少。对答案时也要把这行条件与答案中的计算式逐项核对。这个方法能覆盖绝大多数“抄作业式翻车”。5.3 现象只对最终结果不检查中间过程有些计算题最后结果对了但中间某一步用了错误的方法只是碰巧得到同样的数字。比如页面置换如果漏写一次替换但缺页数相同说明对算法理解仍有漏洞。解决看答案时不要只对答案页要对自己每一步画的表。用笔在草稿纸上标出每一列的页框变化再和答案对照。出现不一致的地方哪怕最终结果一致也要停下来追溯原因。常见原因有两种一是把FIFO的“进入时间”和LRU的“最近使用时间”弄混二是内存初始化阶段没有把前几个访问都算作缺页。5.4 现象版本不一致时慌了神不知道该信谁课后习题答案从网络渠道拿到时经常会有印刷错误或整理遗漏。你可能会发现某个题的答案和另一个版本不一样。这时候不要急于相信某一方。解决回到教材原文看该题考查的定义是什么。例如FIFO算法要求“把最早进入内存的页换出”如果某版本答案把“最早使用”写进去那就是把FIFO和LRU混了。再如PV操作顺序教材会强调“对mutex的P操作必须在资源信号量的P操作之后”如果答案写成先P(mutex)再P(empty)很可能导致死锁。判断依据是教材的规则和逻辑推演而不是谁的文档看起来更“完整”。5.5 现象只刷计算题不背名词解释和简答答案文档里计算题篇幅大大家容易轻视简答和名词解释。但考试中简答往往不少于计算题尤其“信号量是什么”“SPOOLing的工作过程”“保护机制的作用”这类题纯背就能拿分丢掉很可惜。解决把所有名词解释类答案单独摘出来做成一张术语表。每次复习时先快速过一遍比如信号量、PCB、虚拟存储器、SPOOLing、设备驱动程序。过完术语表再做计算题相当于把“工具”和“使用工具的方法”分开练。两个都熟卷面上才有底气。6. 进阶用法把课后答案升级成一份可重复验证的自测题库6.1 按考点频次建立三列复查表答案文档里章节顺序清楚适合整理。先通读一遍把每章出现的题目按“名词解释、简答题、计算题”分类统计。你会发现计算题集中在进程同步、页面置换和文件索引三块简答题集中在设备管理和安全保护。然后把统计结果做成一张三列表考点、题型、易错点。例如“页面置换算法”对应“计算题”易错点是“冷启动缺页未计数”“SPOOLing”对应“名词解释”易错点是“漏掉假脱机的过程”。这张表不用做得很精美自己看得懂就行。这份答案文档建议直接下载到本地后把每章单独拆开命名配合上面的复查表使用。拆开后可以按“先做一题、再对答案、再标记易错点”的节奏推进比一次性整章通读更容易发现薄弱环节。6.2 用闭卷迁移法做最终验证做完表格后验证方法是从每张考点表里随机抽一题不看答案限时15分钟做一遍。做完后对照答案不仅看结果还要看关键步骤是否齐全。更硬核一点把题目中的条件做等量替换访问序列换一组、页框数换成4、信号量初值由1改为2再算一遍。如果一个算法在参数变化后仍然能按定义推出来说明真正掌握了。答案文档在这里的作用是作为“计算基准”不是唯一的解题方向。可以把易错点直接填在自测表上比如“内存分配合并空闲区判断前置条件”每次做题前扫一眼能少掉不少分。从那以后我每次复习操作系统都强制走一遍“先做题、再对答案、最后回填知识点”的流程。对完答案不是结束要把错题对应到章节的考点上并在表格里更新易错点。这套办法用熟了课后习题答案就不只是一份文档而是一套能反复刷的自测题库。希望帮到你。本文还有配套的精品资源点击获取