扫码获取 VIP 码
添加管理员微信获取 VIP 码
死锁是操作系统中两个或两个以上进程因争夺资源而互相等待的现象——每个进程持有部分资源不放，同时等待其他进程释放它们所需资源，结果所有相关进程都无法推进，系统陷入无限期停滞。这种状态一旦形成，无外力干预则进程将永远等下去。
软考教材对死锁的标准定义为：一组进程中的每一个进程都在等待仅由该组进程中的其他进程才能引发的事件，那么该组进程是死锁的。这个定义揭示了死锁的本质特征——循环等待依赖关系。需要特别注意两点：第一，死锁涉及的进程至少是两个，单进程不可能形成死锁；第二，死锁进程中每一方都在"等别人"，而这个"别人"恰恰也在等它，形成闭环。
死锁与饥饿容易混淆。饥饿是某进程长期得不到资源但系统整体仍在运行；而死锁是所有相关进程都无法推进。低优先级进程长期得不到CPU调度是饥饿，两个进程各自持有对方需要的资源不放才是死锁。
操作系统中的资源分为可抢占和不可抢占两类。死锁涉及的是不可抢占资源，如打印机、磁带机，进程占着不放、别的进程抢不走。CPU可通过上下文切换剥夺，不会因竞争形成死锁。
死锁的形成不是偶然的，它遵循严格的逻辑条件。软考命题的核心考点就是死锁的四个必要条件——这四个条件必须同时满足，死锁才会发生。缺一不可，反过来只要破坏其中任意一个，死锁就不会形成。
互斥条件是最基本的资源使用约束。它要求系统中的某些资源一次只能被一个进程使用，其他进程若要使用必须等待该资源被释放。这个条件是资源本身的物理特性决定的，比如同一台打印机不能同时打印两份文档，同一块内存区域不能被两个进程同时写入。互斥是资源固有属性，在绝大多数场景下无法改变。软考命题人喜欢在选择题中设置陷阱：他们说"通过取消互斥条件来预防死锁"，这在不可共享的物理资源场景下是不成立的，除非我们讨论的是可共享的只读资源。
互斥条件是最难被破坏的，因为大多数临界资源的互斥访问是系统正确性的基本保证。
请求和保持条件也叫占有且等待条件，描述的是进程的一种贪婪行为：进程已经持有了至少一个资源，但又提出新的资源请求，当新请求的资源被其他进程占用时，该进程进入阻塞等待状态，同时对自己已经持有的资源保持不放。这种行为模式是死锁形成的关键推力。
从系统全局看，这种"占着碗里的看锅里的"行为让资源分配图开始形成环路。软考真题中经常出现："如果进程在请求新资源前先释放已占有的全部资源，就能预防死锁"——这句话正确，它破坏的正是请求和保持条件。
不可剥夺条件规定：进程已经获得的资源，在使用完之前不能被系统强行夺走，只能由进程自己主动释放。这个条件与互斥条件相辅相成，共同锁定了资源的分配状态。如果操作系统可以在进程等待时强行收回其持有的资源分配给其他进程，那么"持有并等待"的策略就会被打破，死锁链条也随之断裂。
CPU和内存是典型可剥夺资源，操作系统可随时切换。但打印机、文件锁、数据库行锁等不可剥夺。软考常考易错点：CPU剥夺不叫死锁预防，因为死锁本身不涉及CPU这类可剥夺资源。
循环等待条件是最直观的死锁判断标准，也是四个条件中最容易被检测到的。它描述的是存在一个进程-资源的环形链：进程P0等待P1持有的资源，P1等待P2持有的资源，以此类推，直到Pn等待P0持有的资源，形成一个首尾相接的闭环。
循环等待可以通过资源分配图来直观分析。资源分配图是一个有向二分图：圆圈表示进程节点，方框表示资源节点，从资源节点指向进程节点的有向边表示"资源已分配给该进程"，从进程节点指向资源节点的有向边表示"该进程正在请求该资源"。如果在资源分配图中存在一个环路，且环路上每种资源只有一个实例，那么死锁一定发生；如果环路上某些资源有多个实例，则存在死锁的可能性但不必然。
系统资源分配图是软考命题人钟爱的出题载体，尤其在数据库系统工程师和系统架构设计师考试中，给出一张资源分配图要求判断是否存在死锁并找出死锁进程，解题关键是从图中找出闭合的有向环路。
四个必要条件构成完整逻辑链：互斥→请求保持→不可剥夺→循环等待，四道门全部打开，死锁降临。理解这个顺序直接对应死锁预防的四种策略：破坏互斥无解，破坏请求和保持靠一次性分配，破坏不可剥夺靠可剥夺协议，破坏循环等待靠资源有序分配。四者选其一即可，软考选择题经常让你判断"以下哪种做法破坏了哪个条件"。
面对死锁，操作系统有四种处理策略：死锁预防、死锁避免、死锁检测与解除、鸵鸟策略。银行交易系统宁可降低并发也要杜绝死锁，桌面操作系统则可以接受偶尔卡死由用户重启解决。
死锁预防是最直接也最粗暴的策略——从四个必要条件入手，确保至少一个条件永远不被满足，从根本上杜绝死锁发生的可能。这种策略的代价是牺牲了资源利用率和系统吞吐量。
破坏请求和保持条件可以采用"一次性分配"策略：要求每个进程在开始执行前一次性申请它需要的所有资源，系统要么全部分配要么一个不给。这种做法的优点是简单有效，缺点也显而易见——资源利用率极低。进程可能在运行初期就申请了要到很晚才用的资源，这些资源在分配后长时间处于闲置状态；而且进程可能因为不确切知道自己需要哪些资源而过度申请，导致"资源囤积"。
破坏不可剥夺条件的方法允许系统强行收回资源。当进程请求的资源被其他进程持有时，操作系统强制剥夺其已持有资源分配给等待进程。但现实问题在于：并非所有资源都能安全剥夺，被剥夺的进程需回滚或重新执行，代价高昂。
破坏循环等待条件的方法是"资源有序分配法"：给系统中的所有资源类型分配一个全局唯一的编号，规定每个进程只能按照编号递增的顺序申请资源，不允许逆向申请。这种策略的证明逻辑是反证法：如果存在环路，则环上必然存在编号递减的边，与申请规则矛盾。资源有序分配在数据库系统中被广泛采用，比如要求所有事务先锁表A再锁表B，统一顺序后死锁自然消失。
死锁避免不同于死锁预防——它不破坏任何必要条件，而是在进程每次提出资源请求时，系统通过算法判断如果分配这个资源会不会导致系统进入不安全状态。如果可能进入不安全状态，就拒绝分配，让进程等待。这是典型的保守策略：宁可误拒，不能误批。
银行家算法是最经典的死锁避免算法，由荷兰计算机科学家艾兹赫尔·戴克斯特拉于1965年提出。算法的核心思想是"安全状态"判断：在某种资源分配状态下，如果存在一个安全序列——按照这个序列让进程依次获取资源并执行完毕释放所有资源，系统始终有足够的空闲资源满足序列中下一个进程的最大需求——那么这个状态就是安全的，系统不会死锁。如果不存在这样的安全序列，状态就是"不安全的"，虽然不安全的系统不一定立即死锁，但死锁可能随时发生。
银行家算法的执行分两步：第一步检查当前空闲资源是否满足进程本次请求，不满足则拒；第二步模拟分配后的状态，通过安全性检查遍历所有进程找安全序列。找到则批，找不到则拒。安全性检查的核心是贪心：每轮从未完成进程中找一个"当前空闲资源能满足其最大需求"的进程，让它执行完毕释放全部资源，更新空闲资源数后继续。
软考真题中银行家算法计算题通常以表格给出：列出每个进程的最大需求、已分配资源、还需要资源及系统当前可用资源总量，要求判断状态安全性或某进程的请求能否批准。解题核心是手算遍历，扣减和回加，检查是否能找到全排列。
银行家算法的局限性也须明确：要求事先知道各进程最大需求，在实际系统中不现实；假设进程数固定而真实系统动态变化。尽管如此，它仍是理解死锁避免机制的最佳教学模型和软考高频考点。
当系统不采取预防和避免策略时，必须有能力在死锁发生后及时发现并解除。死锁检测通过资源分配图简化或银行家算法的变体来完成：定期检查系统状态中是否存在环路，如果存在则判定死锁发生。检测的时机和频率是一个工程权衡——太频繁则开销太大，太稀疏则死锁可能长时间存在。
死锁解除的手段包括：强行终止部分或全部死锁进程，或者从某些进程中剥夺资源分配给其他死锁进程。选择终止哪些进程时，通常以最小代价为目标，考虑的维度包括进程优先级、已运行时间、还需运行时间、已使用资源数量、完成所需资源数量等。这本质上是一个最优化问题，但在考试中往往简化为手动判断。
鸵鸟策略是一种务实的选择——对死锁视而不见，假装系统永远不会死锁。大多数通用操作系统（包括Windows和Linux的早期版本）默认采用的就是鸵鸟策略。原因在于，死锁预防和避免的开销太大，而死锁在实际使用中发生概率较低；如果真发生了，用户重启一下就行。这种策略在个人计算场景下可以接受，但在服务器、嵌入式系统、金融交易等可靠性要求高的场景中绝不可取。软考命题人偶尔会拿鸵鸟策略出判断题
本篇完！