408考研里操作系统可能是四门专业课里最容易被低估的一门。数据结构要练代码计组满眼是硬件时序计算机网络各种协议报文背了又忘而操作系统第一遍翻过去很多人的感觉都是“读懂了忘光了”。尤其是绪论和进程管理这两章信号量、PCB、死锁、中断、调度……每个词都认识串起来做题就发懵。不过换个角度看操作系统恰恰是408里性价比最高、最容易通过“理解归纳”拿分的科目考点稳定、题型固定、对逻辑的要求远高于对记忆的要求。你只要把绪论和进程管理这两块的底层逻辑捋顺后面复习存储器管理、文件管理、设备管理会省非常多力气。这篇文章我就围绕408考纲的绪论和进程管理部分把我自己整理知识点、刷题时反复踩过的坑和应对思路按复习顺序拆开讲。正在备考408的同学或者操作系统期末想冲高分的同学都可以拿这份笔记当参考骨架再往里面填自己的错题和总结。1. 绪论别只背概念——把“操作系统是什么”落实到考点上很多人复习绪论习惯把定义背得滚瓜烂熟结果一到做题还是错。原因很简单408不爱考“操作系统是管理计算机硬件与软件资源的系统软件”这种默写题它爱考的是你对这个定义在具体场景里的判断力。1.1 操作系统的目标与功能从一道反复出现的选择题说起我当年做真题时几乎每隔几年就会碰到一道类似的选择题“操作系统的主要功能是什么”答案无非是处理机管理、存储器管理、文件管理、设备管理这四块。这看起来没什么但题目一旦换一种问法比如“下列哪项属于操作系统作为资源管理者的功能”很多人就开始犹豫进程调度是不是内存分配是不是文件读写是不是设备分配是不是要答好这类题最好把操作系统想象成一个大管家。一个大宅子里管家要管人处理机管理安排谁住哪个房间、谁先吃饭、管钱存储器管理现金怎么分配、不够住怎么腾地方、管家当文件管理东西放哪、怎么登记、怎么防偷、管工具设备管理打印机、扫地机器人什么时候给谁用。这个比喻看起来幼稚但用来做题特别管用。判断题里凡是对应这四类资源的具体操作都属于操作系统的功能而像“编译C语言程序”“杀毒软件扫描硬盘”这种反而未必直接属于操作系统内核的功能。另一个常考点是“操作系统作为用户和计算机硬件之间的接口”。这里有三层接口形式要分清联机命令接口也就是用户直接在终端输入命令系统立即执行脱机命令接口一般是批处理脚本用户提交一批任务后等待结果程序接口就是系统调用这是程序员在代码里请求操作系统服务的唯一入口。选择题经常问“用户编程时使用的接口是什么”正确答案是系统调用不是GUI也不是命令行。GUI本质上只是命令接口的图形化外壳这一点在王道和王道风格的习题里被反复强调。1.2 四大特征并发、共享、虚拟、异步最容易混的细节操作系统的四个特征——并发、共享、虚拟、异步——几乎每年选择题都要碰一碰但真正拉开差距的往往是那几个容易想当然的细节。先说并发和并行。并发是多个事件在同一时间间隔内发生宏观上你感觉它们在同时进行微观上其实是交替执行并行才是多个事件在同一时刻真正同时发生。单核CPU上只有并发不可能并行因为物理上只有一个执行部件。判断题喜欢在这里挖坑“一台单核计算机上可以运行多个进程所以操作系统具有并行性。”这句话是错的并发性是有的并行性要看硬件是否具备多核。考试时看到“并行”两个字第一反应就是检查CPU核心数量。共享有两种方式。互斥共享指一段时间内只允许一个进程访问的资源比如打印机同时共享指一个时间段内宏观上多个进程都在使用比如磁盘文件可以被多个进程同时读。注意这里说的“同时”仍然是宏观概念微观上访问磁盘的请求还是要排队。虚拟这个特征最抽象。核心思想是把一个物理实体变成若干个逻辑上的对应物。空分复用是虚拟内存的基础把物理上有限的地址空间扩展成逻辑上很大的地址空间时分复用是虚拟处理器的基础一个物理CPU轮流服务多个进程每个进程都觉得自己独占了一个CPU。做题遇到“虚拟”两个字就往“物理实体变成逻辑多份”上靠。异步性相对好理解进程执行是走走停停的以不可预知的速度推进因为谁也无法提前预测中断什么时候来、CPU什么时候被抢走。选择题还会考一句结论并发和共享互为存在条件而只要并发存在异步就必然存在。这句话不需要推导把三个结论串成链条记住即可。1.3 中断、异常与系统调用绪论里真正决定选择题分数的部分绪论拿分最关键的地方其实是中断、异常和系统调用这一小块。因为它不仅绪论考后面文件系统、设备管理、进程调度都会反复用到。这里概念一混后面整个复习都会难受。中断和异常的区分核心看来源。中断也叫外中断来自CPU外部比如时钟中断、I/O设备完成中断特点是随机发生、与当前正在执行的指令没有直接关系。异常也叫内中断来自CPU内部比如除零、非法操作码、缺页、越权访问、自陷指令特点是跟当前指令有直接关系。选择题常见的问法是给你一个事件让你判断是内中断还是外中断最容易错的是“越权访问内存”和“缺页”这两个都属于内中断因为是由正在执行的指令触发的。系统调用这一块要从“用户态”和“核心态”的概念讲起。用户程序大部分时间运行在用户态不能直接访问硬件和敏感数据一旦需要操作系统帮忙就要通过陷入指令主动发起请求。这个陷入指令在不同教材里叫法不一样有的叫访管指令有的叫陷阱指令本质是一种特殊的“内中断”。CPU收到后切换到核心态操作系统根据系统调用号和参数执行对应的内核代码处理完再回到用户态继续跑用户程序。常考的辨析题是“printf函数内部调用了write系统调用所以printf属于系统调用”错。printf是库函数运行在用户态它只是把用户请求包装了一下真正触发系统调用的是进入内核后的write。同理malloc在多数情况下也不是直接的系统调用而是通过brk或mmap等系统调用从内核申请内存。判断一个操作是不是系统调用看的是“是否涉及从用户态切换到核心态并请求内核服务”。1.4 操作系统的体系结构大内核与微内核的取舍逻辑体系结构这块408主要考两类选择题一类是给定一个功能问它应该运行在内核态还是用户态另一类是对比大内核和微内核的优缺点。大内核也叫单内核把进程管理、内存管理、文件系统、设备驱动等主要服务全部放进内核态Linux、Windows的传统设计都偏这个方向。优点是系统调用和进程间通信不需要频繁切换用户态和核心态性能高缺点是内核很庞大一个驱动模块出bug就可能把整个系统搞崩维护困难。微内核则把内核精简到极致只保留中断处理、进程通信、CPU调度等最底层的机制文件系统、设备驱动、虚拟内存管理这些服务全部移到用户态以独立进程的方式运行通过消息传递协作。优点是内核小可靠性和可移植性高缺点也很明显用户态和核心态之间来回切换消息传递开销大性能会打折扣。408真题特别喜欢问的一个细节就是微内核架构下文件系统和设备管理通常运行在用户态而不是核心态。比较两种内核时别光背结论“微内核性能差”要能说出为什么差——每次文件读写都可能涉及多轮消息传递和模式切换这个成本在大内核里是不存在的。反过来大内核的安全性为什么差因为所有模块共享内核地址空间权限太集中一旦被攻破就是全网沦陷。理解了这两个方向选择题无论怎么变都能兜住。2. 进程与线程最基础也最容易被绕进去的一章进程管理是操作系统中篇幅最大、考点最密集的一章。第一轮复习时很多人一上来就被进程状态转换图劝退其实这部分只要抓住“PCB是进程存在的唯一标志”这条主线后面的细节都是围绕它展开的。2.1 PCB是进程存在的唯一标志这句话背后有考点进程不是凭空存在的。操作系统要管理一个进程首先得有一个数据结构来描述它这就是进程控制块PCB。PCB里记录了进程标识符、程序计数器、通用寄存器的值、进程状态、优先级、打开的文件列表、资源清单等信息。可以把它理解成进程的“身份证加档案袋”操作系统所有和该进程相关的操作都是通过读写这份档案完成的。所以“PCB是进程存在的唯一标志”这句话不是一个抽象口号而是很具体的事实创建进程的本质是创建PCB撤销进程的本质是回收PCB及其占用的资源进程切换时需要保存和恢复的也是PCB里记录的现场信息。没有PCB操作系统根本感知不到这个进程的存在。选择题还有一个隐藏考点PCB的组织方式。系统里有多个进程就需要就绪队列、阻塞队列、运行队列表格来管理这些PCB通常采用链表方式组织。注意“就绪队列”和“阻塞队列”里存放的不是进程实体而是对应进程的PCB这样描述才严谨。2.2 进程状态转换图自己默画一遍比背十遍有用进程状态是本章选择题的重灾区。五态模型要烂熟于心创建态、就绪态、运行态、阻塞态、终止态。我给一个生活化的记忆方式去图书馆上机要排队办卡是创建态坐在座位上但还没轮到电脑是就绪态正在用电脑是运行态电脑死机了等管理员处理是阻塞态用完注销是终止态。状态转换图中最容易被问的几条边就绪→运行被调度程序选中获得了CPU。运行→就绪时间片用完或者被更高优先级进程抢占。运行→阻塞进程主动发起I/O或请求某个暂时不可用的资源。阻塞→就绪等待的事件发生了比如I/O完成、资源被释放进程被系统唤醒。就绪和阻塞之间绝对不能直接转换。为什么就绪态缺的是CPU不缺少某个外部事件所以不可能去“等待事件”阻塞态一直在等外部事件事件来了也只能先进入就绪队列排队不能直接上CPU因为CPU分配要由调度程序统一决定。这个细节在选择题里反复出现“一个进程从阻塞态唤醒后应该进入什么状态”答案是就绪态不是运行态。很多初学者会误以为唤醒就是直接运行但实际上唤醒只是“事件发生了你可以重新参与竞争CPU”能不能拿到CPU还是要排队。另外如果题目引入挂起状态那就从五态变成七态模型。挂起状态的核心是进程被换到了外存不参与CPU调度所以有“活动就绪、静止就绪、活动阻塞、静止阻塞”这些组合。这里主要记忆一点挂起和阻塞是两回事挂起是主动或被动地把进程放入外存阻塞是等待某个事件两者可以叠加。2.3 线程与进程的关系重点不是背定义而是比较引入线程之后考点的重心立刻从“定义”转移到“对比”。传统定义是进程是系统进行资源分配和调度的基本单位线程是处理机调度的基本单位。注意“资源分配”和“处理机调度”这两个词被掰开了进程负责持有资源线程负责使用CPU。线程不拥有独立资源但不是说线程什么都没有。线程有自己的栈、自己的寄存器上下文和程序计数器以及少量用于控制自身运行的数据。关键区别在于同一个进程内的多个线程共享进程的地址空间、全局变量、打开的文件等资源。所以线程切换比进程切换开销小因为不需要切换地址空间和页表只需要保存和恢复少量线程上下文。这里有个非常经典的综合题考点一个进程里的某个线程发起阻塞式系统调用比如读文件这个进程里的其他线程还能不能继续运行答案取决于线程模型。如果是用户级线程内核只看到该进程这一个整体用户态线程库在应用层进行线程切换一个线程阻塞了系统调用整个进程都会阻塞如果是内核级线程内核能感知每个线程并单独调度一个线程阻塞不影响其他线程。用户级线程和内核级线程的映射方式选择题常考三种多对一普遍效率低一对一能利用多核但成本高多对多是两者的折中。考生不需要记太复杂的实现细节但必须能把“切换开销”“多核利用”“是否被内核感知”三个维度和三种模型对应起来。3. 处理机调度会算平均周转时间更要会判断用哪个算法处理机调度这一节408的考查方式非常固定要么给你一组进程的到达时间和服务时间让你计算某种调度算法下的平均周转时间、带权周转时间要么让你判断某个算法能否导致饥饿、是否属于抢占式。两种题型都需要一个清晰的框架来支撑。3.1 先定评价指标再谈调度算法我复习时最受益的一件事就是先把调度算法的评价指标背得透透的再去学算法本身。否则你连“周转时间”和“带权周转时间”都分不清怎么可能算对结果。周转时间 作业完成时间 - 作业提交时间或进程到达时间。带权周转时间 周转时间 / 服务时间。等待时间 周转时间 - 服务时间。响应时间 从请求到首次被响应的时间适用于交互式系统。“带权周转时间”是一个特别讲究的指标它衡量的是“在这个系统里排队我实际等待的倍数”。带权周转时间越接近1说明等待越少系统的公平性和高效性越好。选择题很喜欢问“某调度算法的平均带权周转时间是多少”这时候别只算平均周转一定要认真除以每个进程自己的服务时间再求平均很多人卡在这一步。3.2 六大经典算法区分抢占与非抢占是关键先看非抢占式算法。FCFS先来先服务按到达顺序排队实现简单不会导致饥饿但短作业可能被长作业活活拖死SJF短作业优先在所有进程同时到达时平均周转时间确实是最短的但长作业可能一直轮不到CPU从而产生饥饿HRRN高响应比优先则是对前两者的折中每次调度时计算响应比 (等待时间 服务时间) / 服务时间响应比高的先执行既照顾了短作业又避免长作业饿死。抢占式算法中最常见的是SRTN最短剩余时间优先本质是SJF的抢占版本。每来一个新进程就检查如果新进程的剩余时间比当前进程的剩余时间短就把CPU抢占过来。这个算法平均等待时间很短但长作业的饥饿风险依然存在。时间片轮转RR是非抢占/抢占边缘最微妙的一个算法。每个进程运行一个时间片时间片用完就强制下CPU插入就绪队列尾部续排。这里有个很经典的错误很多人算完成时间时以为某个进程在时间片内没跑完还会继续接着跑完剩下的时间。实际上时间片到点就必须让位剩余的CPU时间要等下一轮轮到自己才能继续。我举个同时到达的例子P1服务时间7P2服务时间3P3服务时间1P4服务时间5时间片设为4。RR的执行过程是P1先跑4剩3P2跑3完成P3跑1完成P4跑4剩1然后轮回到P1接着跑3完成最后P4跑剩下的1。注意第一步里P1跑完4之后必须去队尾不能因为自己剩下3小于一个时间片就赖在CPU上。最终完成时间P1是15P2是7P3是8P4是16平均周转时间(157816)/411.5。而同样的进程SJF顺序是P3、P2、P4、P1平均周转时间只有(14916)/47.5。这就是为什么调度算法能大幅影响系统性能。3.3 多级反馈队列是如何把前面几种算法组合起来的多级反馈队列是调度的综合题常客几乎每年都会有一道选择题专门考它。它设置了多个就绪队列每个队列的时间片从小到大依次递增。新进程先进入第一队列如果在第一队列的时间片内没运行完就降到第二队列第二队列的时间片更大如果第二队列还没运行完再降到第三队列以此类推。调度时优先级高的队列为空才调度低一级的队列。这个算法的高明之处在于短进程一般第一轮就完成了响应性能很好长进程虽然降级但等待越久优先级会以队列序号越高的方式补偿不至于被彻底饿死。它同时融合了FCFS队列内按顺序排队、RR每个队列内部轮转、优先级调度队列之间按优先级和SJF的思想。答这种题时不要只看一个队列内部的行为要一步步推当前较高级队列里有没有进程有就先调度它没有才轮到下级。3.4 调度题目错题复盘千万别栽在“到达时间”上做调度算法计算题最容易丢分的地方不是算法本身而是对“到达时间”的处理。题目只要不是“所有进程同时到达”你就必须在时间轴上仔细推演。以SRTN为例假设P0在0时刻到达服务时间7P1在2时刻到达服务时间4P2在4时刻到达服务时间1。0时刻P0开始跑2时刻P1到达P0剩余5P1需要445所以P1抢占4时刻P2到达P1剩余2P2需要112所以P2抢占P2在5时刻完成之后P1继续跑2完成于7P0再跑剩余5完成于12。如果有人忽略P1先于P2被抢占就会算出完全不同的完成时间。我自己的经验是凡是调度计算题一定要在草稿纸上画一条时间轴把每个切换点标出来再填表格而不是凭空心算。4. 同步与互斥信号量的本质和四大经典问题进程同步这一节是操作系统的大题主战场很多同学第一遍学到生产者消费者问题就卡住了。我觉得卡住的原因不是题难而是没有先搞懂信号量的物理含义直接去套代码。4.1 临界区四原则选择题喜欢在这挖坑先交代基本概念。临界资源是同一时刻只允许一个进程访问的资源比如打印机、共享变量。每个进程中访问临界资源的代码段叫临界区。对临界区的管理必须满足四条原则空闲让进、忙则等待、有限等待、让权等待。前两条很容易理解后两条值得细品。有限等待是说等待的进程必须在有限时间内进入临界区不能无限等下去让权等待是说进不去临界区的进程应该立刻释放CPU不能在那里空转循环。这里有一个非常重要的考法硬件实现互斥的工具比如TestAndSet指令、Swap指令能否满足让权等待答案是不能。它们能保证互斥但等待进程在循环测试锁变量时会一直占着CPU属于忙等待不满足让权等待。选择题如果问“TSL指令的缺点是等待进程消耗CPU”本质就是在考“违背让权等待原则”。4.2 记录型信号量把P/V操作用的资源数含义搞明白信号量机制中整型信号量仍然是忙等的记录型信号量才是真正让进程“排队睡觉”的版本。记录型信号量的核心结构是value和等待队列LP操作和V操作可以用下面这段伪代码记忆typedef struct { int value; struct process *L; } semaphore; void wait(semaphore *S) { S-value--; if (S-value 0) { block(S-L); // 把自己加入等待队列并阻塞 } } void signal(semaphore *S) { S-value; if (S-value 0) { wakeup(S-L); // 唤醒等待队列中的一个进程 } }关键要理解value的物理含义S.value 0时它表示当前可用的资源数S.value 0时表示刚好没有可用资源S.value 0时它的绝对值表示等待该资源的进程数。所以P操作先减1如果减完小于0说明资源已经被抢光自己必须排队V操作先加1如果加完还小于等于0说明队列里还有进程在等需要唤醒一个。很多同学做PV应用题时会忘记写信号量的初始值导致后面的代码全错。记住一点互斥信号量初始为1表示临界区这把“锁”只能被一个进程持有同步信号量的初始值取决于初始资源数比如空缓冲区数量是n初始就设为n没有初始产品时记录产品数量的信号量初始为0。4.3 经典同步问题从“背代码”到“找同步关系”生产者消费者问题是最重要的一道母题。一组生产者往缓冲区放产品一组消费者从缓冲区取产品缓冲区容量为n。定义三个信号量mutex1保护缓冲区emptyn表示空位数量full0表示产品数量。生产者的动作是先P(empty)申请空位再P(mutex)进入临界区放产品然后V(mutex)最后V(full)通知消费者有新产品。消费者的动作镜像对称先P(full)申请产品再P(mutex)进临界区取走产品然后V(mutex)最后V(empty)通知生产者有了新空位。这个顺序里最容易犯错的是“先P(mutex)再P(empty)”。如果缓冲区满了生产者先拿到了mutex再P(empty)时发现empty0阻塞在empty的等待队列里同时占着mutex不放消费者想去取产品时必须先P(mutex)也会被阻塞于是两个进程互相等待形成死锁。这就是我反复强调的教训同步信号量的P操作必须先于互斥信号量的P操作。读者写者问题的代码版本有很多408最爱考的是读者优先。核心是读写信号量rw和计数器readCount再用mutex保护readCount的修改。第一个读者进入时P(rw)锁住文件最后一个读者离开时V(rw)释放文件写者每次进入前P(rw)保证和读者互斥。这里体现的思想是多个读者可以同时读但写者必须独占资源。哲学家进餐问题则专门考死锁防范。五个哲学家围坐每人身边一根筷子必须拿到两根才能吃饭。如果每个人先拿左手再拿右手就会所有人各拿一根、互相等造成死锁。解决办法有三个思路一是限制最多四个哲学家同时拿筷子留一个位置打破循环二是让奇数哲学家先拿左边、偶数哲学家先拿右边破坏循环等待三是用互斥信号量把“拿筷子”这个动作串行化保证不会出现所有人各拿一半筷子的局面。4.4 PV操作应用题的通用套路经过历年真题的折磨我总结出一套做PV应用题的固定流程分享出来可以参考。第一步把所有并发执行的活动列出来画出它们的前驱关系图。比如“A做完B才能做”这就是同步关系两个活动都要用同一个共享资源这就是互斥关系。第二步为每个同步关系定义一个信号量初值根据初始状态写并为每个被共享的临界资源定义一个互斥信号量初值通常是1。写代码前先用一行中文注释说明每个信号量的物理含义避免考场上写着写着忘记自己设的信号量是干什么的。第三步组织代码时坚持“同步先于互斥”的原则需要等待某个条件时先做同步信号量的P操作再做互斥信号量的P操作释放时先V互斥再V同步。V操作可以是加速度的P操作绝对不能漏。第四步写完后做两个检查检查每个P操作是否都有对应的V操作信号量值会不会在逻辑上出现负到离谱的情况检查是否存在“持有mutex等待同步资源”的路径如果存在就是死锁风险。5. 死锁与安全序列银行家算法要会完整手算死锁这一节每年408怎么也要考个两三分遇到大年还会直接出综合题。它的考点非常集中只要把概念辨析和银行家算法练熟基本能稳住这部分分数。5.1 死锁、饥饿、死循环三者的区别必须先分清死锁、饥饿、死循环这三个概念选择题里偶尔会并列出现区分标准很重要。死锁是多个进程因为竞争资源而互相等待彼此都不释放自己已经占有的资源造成“谁都推进不下去”的僵局。饥饿是一个或几个进程长期得不到所需资源但整个系统其他进程可能仍然在正常运行。死循环是某一个进程自身逻辑出错无限占用CPU别的进程也受牵连但本质上是程序问题而不是资源分配问题。举个例子来感受四个人围成一圈每个人都拿着自己手里的钥匙同时都在等右边那个人松开钥匙这就是死锁动作完全僵住。如果排队买奶茶有人一直插队你一直轮不到这就是饥饿队伍还是在流动只是你被欺负了。死循环更像是一台跑步机卡死了运动一直在发生但没有任何实际进展。5.2 四个必要条件与死锁预防的对应关系死锁产生的四个必要条件是互斥条件、不剥夺条件、请求并保持条件、循环等待条件。这里的关键不是背名词而是理解每个条件被破坏后会发生什么。互斥条件对应“资源只能被一个进程占用”。有些资源天生就是互斥的比如打印机所以这个条件很难从源头破坏。不剥夺条件对应“已经分配的资源不能被强行抢走”。如果允许剥夺就可以强制收回资源但代价是可能让持有资源的进程半途而废。请求并保持条件对应“进程占着资源又去申请新资源”。预防办法是要求进程一次性申请所有资源用完再整体释放但这会大幅降低资源利用率。循环等待条件对应“进程之间形成环形等待链”。预防办法是给所有资源统一编号进程只能按编号递增顺序申请避免出现循环。死锁避免则不走“破坏条件”这条路而是每次分配资源前都判断系统是否还能达到安全状态。这是银行家算法的核心思想下面重点说。5.3 银行家算法手推实例银行家算法的原理我一句话概括系统就像银行家手里有资金每次有人来借钱不能只看这单能不能还还要看自己手里剩下的钱能不能让所有借贷者都顺利完成交易并还清。如果存在一个能让所有进程都运行结束的分配顺序当前状态就是安全的。做这类题建议按下面四步走先算每个进程的Need矩阵Need Max - Allocation。初始化Work Available初始化Finish数组全为false。每次找一个Finishfalse且Need[i] ≤ Work的进程把它作为安全序列的下一个然后Work Allocation[i]Finish[i]true。重复直到所有进程Finish都为true则找到安全序列状态安全如果中途找不到可推进的进程则状态不安全。我拿一个经典的例子完整走一遍。4个进程P0到P43类资源A、B、C初始Available(3,3,2)Max、Allocation如下表进程MaxAllocationNeedP0(7,5,3)(0,1,0)(7,4,3)P1(3,2,2)(2,0,0)(1,2,2)P2(9,0,2)(3,0,2)(6,0,0)P3(2,2,2)(2,1,1)(0,1,1)P4(4,3,3)(0,0,2)(4,3,1)检查开始Work(3,3,2)。先看P1Need(1,2,2)≤(3,3,2)可以运行运行完释放已占资源Work(3,3,2)(2,0,0)(5,3,2)。再看P3Need(0,1,1)≤(5,3,2)可以运行Work(5,3,2)(2,1,1)(7,4,3)。接着看P4Need(4,3,1)≤(7,4,3)Work(7,4,3)(0,0,2)(7,4,5)。再看P0Need(7,4,3)≤(7,4,5)Work(7,4,5)(0,1,0)(7,5,5)。最后P2Need(6,0,0)≤(7,5,5)Work(7,5,5)(3,0,2)(10,5,7)。安全序列P1→P3→P4→P0→P2。这轮只是初始状态的安全性检查。如果题目进一步问“P1请求(1,0,2)能否分配”考点就变成两步先做合法性检查Request≤Need且Request≤Available这里成立然后假定分配更新Available(2,3,0)、P1的Allocation(3,0,2)、P1的Need(0,2,0)再做一次安全性检查最后仍然能找到安全序列所以可以分配。这个“先假定分配再做安全检测最后回滚或确认”的流程是银行家算法大题的必考动作考场上写步骤时必须完整呈现不能跳过安全性检查直接下结论。5.4 资源分配图与死锁定理死锁检测题喜欢给资源分配图。图里矩形代表资源类矩形里的圆点代表资源实例圆圈代表进程。从进程指向资源的是请求边从资源指向进程的是分配边。最直接的结论是如果资源分配图中没有环系统一定没有死锁如果存在环并且每类资源只有一个实例那么系统一定死锁如果每类资源有多个实例环的存在只是死锁的必要条件不一定真的死锁需要尝试化简来判断。化简的思路很简单找一个目前能继续运行的进程即它请求的资源可以被满足把它的分配边消掉归还资源重复操作如果最后所有边都能被消掉说明系统不死锁剩下消不掉的进程就是死锁进程。这个化简过程选择题偶尔会涉及综合题通常配合银行家算法一起出。解除死锁的手段有三种剥夺资源从其他进程抢资源分给死锁进程撤销进程最简单粗暴按优先级或代价选进程终止进程回退让死锁进程退回到某个安全时刻重新执行。这三种方法的代价排序和适用场景需要作为选择题背诵。6. 绪论加进程管理怎么刷真题时间分配与易错点清单前面把知识点过了一遍最后说点复习节奏上的私人体会。绪论和进程管理加起来在408试卷里的分量大概是选择题每年稳定出七八道综合题几乎必出一大道位置通常在操作系统第一道大题题目方向不是信号量应用题就是调度/银行家算法。因此这两章的优先级非常高我甚至建议第一轮复习时把进度放慢宁可多花一周把这部分吃透也不要赶进度。6.1 哪些考点是选择题常客哪些适合出综合题先说选择题高频点。绪论部分操作系统功能分类、四大特征辨析、内中断与外中断的判断、系统调用与库函数的区别、大内核微内核对比。进程管理部分PCB相关判断、进程状态转换细节、用户级线程与内核级线程的映射、调度算法特征判断、临界区四原则、死锁必要条件。再说综合题重点。信号量应用题是最大概率出现的通常以生产者消费者或其变体为背景也可能是读者写者或哲学家进餐的改造。调度算法综合题会给一张进程表让你计算各算法的周转时间和带权周转时间或判断队列调度顺序。银行家算法综合题则要求完整计算安全序列并判断一个Request能否被满足。这几类题型每道都要形成条件反射般的解题流程考场上才来得及。这里我个人踩过一个大坑第一轮复习时我把信号量应用题的参考答案背下来了背得滚瓜烂熟结果做2018年真题时题目背景是“公交车司机和售票员的合作”这种场景我当场就不会写了。后来我才意识到PV操作题永远不能靠背必须依靠“找出同步关系→定义信号量→组织代码”的思维链。从那以后我每做到一道PV题都在草稿纸上重新推理一遍而不是默写。6.2 易混知识点对照表以下是我自己整理的一张高频易混对照表考前冲刺时可以反复看易混概念核心区分点并发 vs 并行并发是宏观同时、微观交替并行是同一时刻真正同时就绪 vs 阻塞就绪缺CPU阻塞等外部事件进程 vs 线程进程是资源分配单位线程是调度单位内中断 vs 外中断内中断与当前指令有关外中断来自CPU外部大内核 vs 微内核大内核性能好但庞大易崩溃微内核可靠但性能差FCFS vs RRFCFS按到达顺序RR按时间片轮转插入队尾SJF vs SRTNSRTN是SJF的抢占式版本死锁 vs 饥饿死锁整体停滞饥饿是部分进程长期等不到资源忙则等待 vs 让权等待忙则等待允许忙等让权等待要求释放CPU死锁预防 vs 避免预防破坏必要条件避免在分配前做安全性检查这张表不用死记只要你把本章的底层层逻辑理清楚这些区分的本质都是同一个东西换了个角度问。复习最后阶段能做到扫一眼概念名就能说出核心区分选择题基本就稳了。6.3 第一轮复习的正确姿势第一轮复习建议按“教材或视频 → 手绘概念图 → 章节选择题→ 综合题专项”的顺序推进。很多人上来就做整套真题结果错到怀疑人生是方法不对。408的考点非常密集没有经过专项训练直接上整卷很容易被题量淹没。我的具体做法是每复习完一章先用A4纸画一张空白的知识框架图然后凭记忆往里填知识点填不出来的地方打问号再回教材补。比如进程这一节框架中心就写“进程”分出PCB、状态转换、进程控制、进程通信、线程五个分支每个分支再往下细化。这样做的好处是能把零散知识点串成网络而不是一个个孤立的点。章节选择题做完后我会把错题按知识点分类用不同颜色标注。标注一多你就会发现错题高度集中在某几个知识点上比如“就绪态与阻塞态的转换”“信号量P操作顺序”“调度算法中到达时间的处理”。找到自己的高频错点后再回过来翻教材对应的段落比盲目多刷十道新题更有效率。综合题专项可以放到第二轮开始做。信号量题每周至少手写两遍生产者消费者问题不是为了背而是为了训练“同步关系识别”的肌肉记忆银行家算法和调度计算题每次都用完整步骤写一遍不跳步这样才能确保考场上的步骤分都拿满。最后分享一个我每次复习操作系统都会提醒自己的话操作系统是408里最“讲道理”的一门课它的每个概念都能落到一个实际的资源管理场景里凡是想不明白的地方停下来问问自己“这里到底在管理哪个资源、怎么分配的”思路一下子就能打开。绪论和进程管理这两块啃扎实了后面存储器管理、文件管理和设备管理的很多难点都会自动变得顺理成章。第一轮别贪快慢就是快。