考点11：死锁

本课对应源课程 26考研王道计算机【操作系统冲刺班】 的主题归并单元 考点11：死锁，源清单共 396 份JSON。本课只参考文件名与课程编排重写，不复制转写正文。

冲刺定义

死锁必要条件为互斥、请求保持、不可剥夺、循环等待；安全状态存在完成序列。

状态推演

银行家试分配后用Work寻找Need≤Work的进程，完成后归还Allocation。

冲刺题必须写出初始状态、一次状态更新与终止结论。选择题逐项检查量词，计算题保留公式和单位，机制题画出时间线或层次图。

失分反查

不安全状态不是已经死锁；资源分配图有环在多实例时也未必充分。

本课不是再背一遍概念，而是把概念压缩成可在限定时间内调用的规则。完成单选、多选和应用题后，记录耗时及错因，次日重做。